| 31. | | Can we derive function extensionality from self types? (medium.com/maiavictor) |
|
2 points by LightMachine on May 6, 2020 | past
|
|
| 32. | | Quantum-proof small (768-bit) signatures for 1-bit messages (github.com/maiavictor) |
|
3 points by LightMachine on March 11, 2020 | past
|
|
| 33. | | Show HN: I made a Pikachu on my little voxel-art MOBA (twitter.com/maiavictr) |
|
1 point by LightMachine on Feb 28, 2020 | past
|
|
| 34. | | The refreshing simplicity of compiling Formality to anything (medium.com/maiavictor) |
|
3 points by LightMachine on Feb 14, 2020 | past
|
|
| 35. | | Compiling Formality to the EVM. Cost: ~200 gas per beta-reduction (medium.com/maiavictor) |
|
2 points by LightMachine on Dec 29, 2019 | past
|
|
| 36. | | Bitspeak converts hex strings to pronounceable words (github.com/maiavictor) |
|
2 points by LightMachine on Nov 16, 2019 | past | 1 comment
|
|
| 37. | | Formality, a (proof)gramming language featuring optimal reductions (github.com/moonad) |
|
27 points by LightMachine on Sept 10, 2019 | past | 8 comments
|
|
| 38. | | Can we call a function a googol times? (medium.com/maiavictor) |
|
1 point by LightMachine on Aug 28, 2019 | past
|
|
| 39. | | Why Formality-Core? (github.com/moonad) |
|
1 point by LightMachine on May 21, 2019 | past
|
|
| 40. | | Formality-Core: an optimal, parallel compile target for functional languages (github.com/moonad) |
|
1 point by LightMachine on May 16, 2019 | past
|
|
| 41. | | Introduction to Formality, a minimal, parallel “proof”gramming language (medium.com/maiavictor) |
|
2 points by LightMachine on April 22, 2019 | past
|
|
| 42. | | Solving the mystery behind Abstract Algorithm’s magical optimizations (medium.com/maiavictor) |
|
1 point by LightMachine on Aug 17, 2018 | past
|
|
| 43. | | Some functions may have negative complexity and I’m worried for my crypto (medium.com/maiavictor) |
|
3 points by LightMachine on Aug 15, 2018 | past | 1 comment
|
|
| 44. | | “Turns out the Y-combinator has a normal form, surprisingly.” (github.com/maiavictor) |
|
2 points by LightMachine on May 5, 2018 | past
|
|
| 45. | | Supercompilation for free with the abstract algorithm (github.com/maiavictor) |
|
3 points by LightMachine on April 13, 2018 | past
|
|
| 46. | | Theorem proving VS testing (with a simple example) (github.com/maiavictor) |
|
1 point by LightMachine on March 22, 2018 | past
|
|
| 47. | | The oracle-free fragment of Lamping's algorithm can evaluate all λ-terms (github.com/maiavictor) |
|
6 points by LightMachine on July 30, 2017 | past
|
|
| 48. | | Lamping's Abstract Algorithm (github.com/maiavictor) |
|
2 points by LightMachine on July 25, 2017 | past
|
|
| 49. | | What is wrong with the Web, and why we need Moon (medium.com/maiavictor) |
|
1 point by LightMachine on July 24, 2017 | past
|
|
| 50. | | What is wrong with the Web, and why we need Moon (draft) (gist.github.com) |
|
1 point by LightMachine on July 22, 2017 | past
|
|
| 51. | | Show HN: Moon, an universal code-interchange format (github.com/maiavictor) |
|
11 points by LightMachine on July 14, 2017 | past | 8 comments
|
|
| 52. | | Using Ethereum and Swarm to build a decentralized programming language (medium.com/maiavictor) |
|
5 points by LightMachine on July 12, 2017 | past
|
|
| 53. | | Why I like Vim so much [video] (youtube.com) |
|
70 points by LightMachine on May 6, 2017 | past | 56 comments
|
|
| 54. | | Show HN: Nano-JSON-stream-parser, a 750 bytes streamed JSON parser (github.com/maiavictor) |
|
6 points by LightMachine on April 30, 2017 | past
|
|
| 55. | | Forall.js: Idris-like static types and invariant checks for JavaScript (github.com/maiavictor) |
|
63 points by LightMachine on April 21, 2017 | past | 17 comments
|
|
| 56. | | Show HN: Drop-in, expressive static type and invariant checks for JavaScript (github.com/maiavictor) |
|
3 points by LightMachine on April 21, 2017 | past
|
|
| 57. | | Make Ethereum massively scalable today with delayed computations (gist.github.com) |
|
3 points by LightMachine on Feb 6, 2017 | past
|
|
| 58. | | WebMonkeys: a simple, straightforward lib for GPU programming on JavaScript (github.com/maiavictor) |
|
1 point by LightMachine on Aug 22, 2016 | past
|
|
| 59. | | PureState.js, the stupidiest state management library that works (github.com/maiavictor) |
|
2 points by LightMachine on March 9, 2016 | past | 1 comment
|
|
| 60. | | Why don't we listen to Occam's Razor when it comes to programming languages? |
|
6 points by LightMachine on Dec 9, 2015 | past | 18 comments
|
|
|
|
More |
