LightMachine

8 ms·

181.
by LightMachine 5y ago
Well [Kind]( https://github.com/uwu-tech/kind ) has only one "axiom" (the lambda), so, I don't know? This is a really inspiring thought and I'm glad people are debating it for the content and not atta
182.
by LightMachine 5y ago
Mining is voting weighted by wasted CPU power. Stake is voting weighted by wealth. That's all, really. Both are used to build decentralized networks, since they allow it to pick a random participant to order the previous X transactions
183.
Show HN: Kind, a minimal, efficient, practical proof language(github.com)
2 points by LightMachine 5y ago|0 comments
184.
by LightMachine 5y ago
Exactly. This is so infuriating. Whoever let little-endian win made a huge disfavor for humanity.
185.
by LightMachine 5y ago
How do you find Discord servers for a specific interest?
186.
by LightMachine 5y ago
Ethics aside, if we could simulate a whole brain, then we could simulate billions of brains and try all sorts of things, something we wouldn't be able to do with physical humans. At least not without being labelled as mass murderers an
187.
by LightMachine 6y ago
Just replied to let you know that you have an amazing take on the matter.
188.
by LightMachine 6y ago
If 75% of the users want something, of course they can do that. They uninstall Bitcoin, implement a new software with the new rules, and install it. This becomes the new "Bitcoin". That is called a hard fork. You can't preven
189.
List of top tokens, with host platform(coinmarketcap.com)
2 points by LightMachine 6y ago|0 comments
190.
by LightMachine 6y ago
That isn't what polymorphism means, polymorphism would be more like Point<Float> and Point<Double> using the same Point definition.
191.
FormCoreJS: A 700-LOC proof language that compiles to ultra-fast JavaScript(github.com)
2 points by LightMachine 6y ago|0 comments
192.
Goodbye, JavaScript: Formality is now implemented in itself(github.com)
2 points by LightMachine 6y ago|0 comments
193.
Multiplication with Optimal β-Reduction(github.com)
2 points by LightMachine 6y ago|0 comments
194.
Multiplication with Optimal β-Reduction(github.com)
1 points by LightMachine 6y ago|0 comments
195.
Thoughts about Formality(medium.com)
1 points by LightMachine 6y ago|0 comments
196.
Show HN: Navim browses files on the terminal with minimal amount of keystrokes(github.com)
1 points by LightMachine 6y ago|0 comments
197.
by LightMachine 6y ago
I have a good answer to you. It is not unlikely the universe is made out of Interaction Combinators. That's purely because those are arguably the most elegant model of computation. Of course, elegance is on the eye of the beholder and
198.
Can we derive function extensionality from self types?(medium.com)
2 points by LightMachine 6y ago|0 comments
199.
Quantum-proof small (768-bit) signatures for 1-bit messages(github.com)
3 points by LightMachine 7y ago|0 comments
200.
Show HN: I made a Pikachu on my little voxel-art MOBA(twitter.com)
1 points by LightMachine 7y ago|0 comments
201.
The refreshing simplicity of compiling Formality to anything(medium.com)
3 points by LightMachine 7y ago|0 comments
202.
by LightMachine 7y ago
I wonder if I should take those opportunities to talk about Formality ( https://github.com/moonad/formality ).
203.
Compiling Formality to the EVM. Cost: ~200 gas per beta-reduction(medium.com)
2 points by LightMachine 7y ago|0 comments
204.
Bitspeak converts hex strings to pronounceable words(github.com)
2 points by LightMachine 7y ago|1 comments
205.
by LightMachine 7y ago
You have a point
206.
Formality, a (proof)gramming language featuring optimal reductions(github.com)
27 points by LightMachine 7y ago|8 comments
207.
Can we call a function a googol times?(medium.com)
1 points by LightMachine 7y ago|0 comments
208.
Why Formality-Core?(github.com)
1 points by LightMachine 7y ago|0 comments
209.
Formality-Core: an optimal, parallel compile target for functional languages(github.com)
1 points by LightMachine 7y ago|0 comments
210.
Introduction to Formality, a minimal, parallel “proof”gramming language(medium.com)
2 points by LightMachine 7y ago|0 comments

More ›