arithma

8 ms·

61.
by arithma 8y ago
It's not an analogy. I thought so too at first, but the connection is material: In the blog it shows a proof of Godel's theorems using the Halting Problem.
62.
by arithma 8y ago
Godel Incompleteness Theorem and Turing Halting Problem are two faces to the same coin, I intuited. It is deeper than I thought, especially that I forgot about the two godel's incompleteness theorems (not just one.) Scott Aaranson &quo
63.
by arithma 8y ago
This sounds like a sure way to enforce a local optimum. If you can't make mistakes and break enough things at a time to change the architecture, in order to fix the architecture itself, it means your architecture is going to be extreme
64.
YouTube [dispute process] is broken(youtube.com)
3 points by arithma 8y ago|0 comments
65.
by arithma 8y ago
Either your frustration is great, or you have the mind of a jedi. This is without a doubt the most scathing review I've read of agile, and you don't seem to even be trying.
66.
by arithma 8y ago
One thing I will try doing soon is to look for job postings of companies, and then look what those companies are looking for, and what domain they're in. The theory is: maybe I can get product ideas 1) as spin-offs from their general m
67.
by arithma 8y ago
When this was discredited, was there alternative research on how people actually accrue skill, or was this just a dismissal of a claim and no alternate information provided? It's a shame if this kind of research is not being done, but
68.
by arithma 8y ago
A cool aspect is how this algebra/calculus sheds light that maps(/dictionary/associative-arrays) have an equivalent cardinality to functions and that they are in many ways the same.
69.
Ask HN: Signing HTTP Messages
2 points by arithma 8y ago|0 comments
70.
by arithma 8y ago
I think mip-mapping is the standard approach to handle that scenario.
71.
by arithma 8y ago
How many cores must a CPU have until it's competitive with GPUs? Those beasts could pretty well open the hell-gates to fully interactive raytracing soon, or not so much? Of course am not expecting THIS processor to be competitive, but
72.
by arithma 8y ago
I am sure this must be handled somewhere, but why can't malicious observers in this scheme flag honest behavior, creating a vector for denial of service. I suspect that observers must report something that is actually true, but my gut
73.
by arithma 8y ago
Sometimes I have a feeling that I should be avoiding division in all cases to begin with, but then, there are cases where it seems all too indispensable. Especially when a value is a measure with an ignored error, division close to zero is
74.
by arithma 8y ago
Supporting evidence: "Chaff Bugs: Deterring Attackers by Making Software Buggier" https://arxiv.org/abs/1808.00659
75.
by arithma 8y ago
The probability of an event could be related to density. High chemical density possibly required for capacity could mean higher gradients which also could have implications on not only intensity of an event, but also on its probability.
76.
by arithma 8y ago
Maybe we need the web to be a way to publish basic documents, and then use docker-like thing where people publish apps and you can immediately access them by downloading the upper layers. What's happening now is the reverse, expanding
77.
by arithma 8y ago
There's a book: 7 Languages in 7 Weeks that tries to pick a language from different "domains" (functional, imperative, prototype...) Might be what you're looking for, a quick way to asses the landscape. As for mastery: y
78.
by arithma 8y ago
A superset of C++ would be unwise: same issues as those C++ inherited from C! I imagine something similar to CPY could be created for different domains like: - Pure functional style (Haskell subset that is usable from C++) - GC'd highe
79.
by arithma 8y ago
Not saying that scuttlebutt is useless, but within the parent's perspective, almost everything applies as well on HTTP and HTTPS. But no one seems to care? I mean, google caches your website on their machines and so on, be it personal
80.
Ask HN: What tools do you use, subscribe to or so on
1 points by arithma 8y ago|0 comments
81.
by arithma 9y ago
Why isn't car driving AI put to the same rigour of testing and approval as that of airplanes? There are far more people on the road than in the sky, and yet, there's formal verification for airplane autopilot code but an accident
82.
by arithma 9y ago
Maybe there's merit in a Python version that compiles to JS where we allow engines like V8 to do the optimisation. The dynamic nature of JS maybe enough impedance-MATCH to allow this to happen? Writing this up, I'll probably get s
83.
by arithma 9y ago
Check mining for Monero on a CPU. The economics still work for that cryptocurrency (it's the one commonly found in Web Ads. maliciously)
84.
by arithma 9y ago
Why aren't game graphics developers not the most well paid engineers? This stuff is magically awesome!
85.
by arithma 9y ago
I've kind of wanted to formalize this concept ever since I learned about the Static_single_assignment_form used in compilers for optimisation. Programs may be able to benefit greatly from this in terms of refactoring: it's basical
86.
by arithma 9y ago
Thanks for this input. I always love reading things things that get me excited to try and look into stuff I have previously discarded for probably "popular" opinion.
87.
by arithma 9y ago
Ethereum (for example) can be used to pay if the contract is fulfilled (e.g an intense computation job.) 1. You need to be able to verify that the other party is honest 2. When the data is intensive, you need to make sure that the computati
88.
by arithma 9y ago
Will a hyper connected fiber optic globally available IPv6 enabled internet convert the globe into a distributed data center (or just a real network) instead of the clusters of centralization? Maybe, akin to all the new startup's that
89.
by arithma 9y ago
The open web should be most concerned with users. If big corporate products is what they want on the web, then so be it!
90.
by arithma 9y ago
Since this is talking about basic income, please allow me to digress a little and ask a few things that have been on my mind for a while. World GDP per capita is $1,400 Only need to make all people capable of 3.5X more productive, and we&#x

More ›