Hacker News
- DSLs for Ethereum Contracts https://www.michaelburge.us/2018/05/15/ethereum-chess-engine.html 15 comments
Lobsters
- DSLs for Ethereum Contracts http://www.michaelburge.us/2018/05/15/ethereum-chess-engine.html 4 comments c , compilers , formalmethods , lisp , merkle-trees
Linking pages
Linked pages
- Racket https://racket-lang.org/ 458 comments
- Butterickâs Practical Typography https://practicaltypography.com/ 305 comments
- Beautiful Racket by Matthew Butterick http://beautifulracket.com/ 161 comments
- GitHub - Z3Prover/z3: The Z3 Theorem Prover https://github.com/Z3Prover/z3 143 comments
- Nix: reproducible builds and deployments https://nixos.org/nix/ 124 comments
- Typography for Lawyers http://www.typographyforlawyers.com/ 123 comments
- Haskell Language http://haskell.org/ 120 comments
- Write your next Ethereum Contract in Pyramid Scheme https://www.michaelburge.us/2017/11/28/write-your-next-ethereum-contract-in-pyramid-scheme.html 99 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 61 comments
- Rosette: About http://emina.github.io/rosette/ 29 comments
- Welcome to PLT Redex https://redex.racket-lang.org/ 15 comments
- Injecting a Chess Engine into Amazon Redshift http://www.michaelburge.us/2017/09/10/injecting-shellcode-to-speed-up-amazon-redshift.html 14 comments
- Type Systems as Macros http://www.ccs.neu.edu/home/stchang/popl2017/ 4 comments
- Parity Multisig Hacked. Again. Yesterday, Parity Multisig Wallet was… | by Tony Kent | Chain.Cloud company blog | Medium https://medium.com/chain-cloud-company-blog/parity-multisig-hack-again-b46771eaa838 3 comments
- Lexer hack - Wikipedia https://en.wikipedia.org/wiki/The_lexer_hack 0 comments
- Backus–Naur form - Wikipedia https://en.wikipedia.org/wiki/Backus%E2%80%93Naur_form 0 comments
- The Typed Racket Guide http://docs.racket-lang.org/ts-guide/index.html 0 comments
Related searches:
Search whole site: site:www.michaelburge.us
Search title: DSLs for Ethereum Contracts
See how to search.