Show HN: Navim browses files on the terminal with minimal amount of keystrokesgithub.com·1 pts·LightMachine·0
Formality-Core: an optimal, parallel compile target for functional languagesgithub.com·1 pts·LightMachine·0
Introduction to Formality, a minimal, parallel “proof”gramming languagemedium.com·2 pts·LightMachine·0
Some functions may have negative complexity and I’m worried for my cryptomedium.com·3 pts·LightMachine·1
The oracle-free fragment of Lamping's algorithm can evaluate all λ-termsgithub.com·6 pts·LightMachine·0
Using Ethereum and Swarm to build a decentralized programming languagemedium.com·5 pts·LightMachine·0
Forall.js: Idris-like static types and invariant checks for JavaScriptgithub.com·63 pts·LightMachine·17
Show HN: Drop-in, expressive static type and invariant checks for JavaScriptgithub.com·3 pts·LightMachine·0
WebMonkeys: a simple, straightforward lib for GPU programming on JavaScriptgithub.com·1 pts·LightMachine·0