LightMachine

7 ms·

211.
Solving the mystery behind Abstract Algorithm’s magical optimizations(medium.com)
1 points by LightMachine 8y ago|0 comments
212.
Some functions may have negative complexity and I’m worried for my crypto(medium.com)
3 points by LightMachine 8y ago|1 comments
213.
“Turns out the Y-combinator has a normal form, surprisingly.”(github.com)
2 points by LightMachine 8y ago|0 comments
214.
Supercompilation for free with the abstract algorithm(github.com)
3 points by LightMachine 8y ago|0 comments
215.
Theorem proving VS testing (with a simple example)(github.com)
1 points by LightMachine 9y ago|0 comments
216.
by LightMachine 9y ago
Precisely. Food for thought: IOTA nowadays is not only fully centralized currency (in any meaningful technical sense), but it also has a much higher market cap than Bitcoin had a few months ago. So, is the market really valuing decentraliza
217.
by LightMachine 9y ago
Sure, if you wait for a sufficiently large weight on top of your transaction, then you solve the double spend problem. But you need at the bare minimum that every transaction that happened at roughly the same time as yours to be included a
218.
by LightMachine 9y ago
You do not even need to use dependent types. You could just restrict yourself to polymorphic types if you wanted to. And you could use dependent types just for the things that don't require any "proving" work. Returning multi
219.
by LightMachine 9y ago
... why a question I asked 4 years ago is on the first page of Hacker News?
220.
by LightMachine 9y ago
That's a scary thought.
221.
The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms(github.com)
6 points by LightMachine 9y ago|0 comments
222.
Lamping's Abstract Algorithm(github.com)
2 points by LightMachine 9y ago|0 comments
223.
What is wrong with the Web, and why we need Moon(medium.com)
1 points by LightMachine 9y ago|0 comments
224.
What is wrong with the Web, and why we need Moon (draft)(gist.github.com)
1 points by LightMachine 9y ago|0 comments
225.
by LightMachine 9y ago
There is no competition to Ethereum in terms of back-end decentralized computer, AFAIK. I picked Swarm because of familiarity and being closer to the devs. I don't know the IPFS devs. I do find both projects awesome.
226.
by LightMachine 9y ago
It was designed to allow a client to run code submitted by other clients safely on the browser without isolated environments. It is an important building block for a decentralized-application browser I'm developing. In the soon future,
227.
Show HN: Moon, an universal code-interchange format(github.com)
11 points by LightMachine 9y ago|8 comments
228.
Using Ethereum and Swarm to build a decentralized programming language(medium.com)
5 points by LightMachine 9y ago|0 comments
229.
by LightMachine 9y ago
Those wars are actually quite healthy and productive for the whole, because they make people defend their sides and thus develop their best arguments. They're a great source of information. You just have to be careful not to get emotio
230.
by LightMachine 9y ago
Thanks for sharing your experience! EMACs is another masterpiece on its own merits and I'm all for diversity. Also, hijacking the top comment on my own post to say the obvious: people, this is just my opinion! I'm not saying you s
231.
Why I like Vim so much [video](youtube.com)
70 points by LightMachine 9y ago|56 comments
232.
Show HN: Nano-JSON-stream-parser, a 750 bytes streamed JSON parser(github.com)
6 points by LightMachine 9y ago|0 comments
233.
by LightMachine 9y ago
eli5?
234.
by LightMachine 9y ago
I agree with everything you said. On doing that in Idris (which is my dream language - the only reason I don't use it is its JS compiler is too slow), would it be possible to randomly generate elements of any data type, or would we hav
235.
by LightMachine 9y ago
Oh. Thank you very much for linking that. I wish I saw it 3 days ago, though. It is basically the same thing.
236.
by LightMachine 9y ago
If it quacks like a type and it types like a type... Just kidding! A type system, in essence, is not much different from that, though - Pi, for example, is basically a type-level lambda that is applied to the typed function (and it is suffi
237.
Forall.js: Idris-like static types and invariant checks for JavaScript(github.com)
63 points by LightMachine 9y ago|17 comments
238.
Show HN: Drop-in, expressive static type and invariant checks for JavaScript(github.com)
3 points by LightMachine 9y ago|0 comments
239.
by LightMachine 10y ago
Which is a great thing for the whole
240.
Make Ethereum massively scalable today with delayed computations(gist.github.com)
3 points by LightMachine 10y ago|0 comments

More ›