Hacker News
Lobsters
Linking pages
Linked pages
- Pyret https://www.pyret.org/index.html 978 comments
- Rust Programming Language https://www.rust-lang.org/ 595 comments
- jq https://stedolan.github.io/jq/ 364 comments
- GitHub - carp-lang/Carp: A statically typed lisp, without a GC, for real-time applications. https://github.com/carp-lang/Carp/blob/master/README.md 274 comments
- Idris: A Language for Type-Driven Development http://www.idris-lang.org 258 comments
- composition.al - Diese Website steht zum Verkauf! - Informationen zum Thema composition. http://composition.al/blog/2017/07/31/my-first-fifteen-compilers/ 108 comments
- [1903.00982] Oxide: The Essence of Rust https://arxiv.org/abs/1903.00982 87 comments
- Dependent type - Wikipedia https://en.wikipedia.org/wiki/Dependent_type 15 comments
- Mathematics and Computation | How to implement dependent type theory I https://math.andrej.com/2012/11/08/how-to-implement-dependent-type-theory-i/ 9 comments
- Algebraic data type - Wikipedia https://en.wikipedia.org/wiki/Algebraic_data_type 8 comments
- https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf 7 comments
- The Recurse Center https://www.recurse.com/ 7 comments
- Deconstruct https://www.deconstructconf.com/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:blog.wesleyac.com
Search title: Wesley Aptekar-Cassels | Languages I want to write
See how to search.