Software licenses masquerading as open source (OpenSource Licenses in the current AI Boom Context)
https://marble.onl/posts/software-licenses-masquerading-as-open-source.html
https://marble.onl/posts/software-licenses-masquerading-as-open-source.html
Programming Deadlock
Multi-Quine Relay https://github.com/mame/quine-relay
Radiation-hardened Quine: A robust self-printing program written in Ruby. It works even if you delete one character anywhere from the code.https://github.com/mame/radiation-hardened-quine
GitHub
GitHub - mame/radiation-hardened-quine: A robust quine program that works even after any one character is deleted.
A robust quine program that works even after any one character is deleted. - mame/radiation-hardened-quine
The seven programming ur-languages
https://madhadron.com/programming/seven_ur_languages.html
https://madhadron.com/programming/seven_ur_languages.html
Large-scale Systems Architecture - Jason Gregory of Naughty Dog discusses the architectural details behind the codebases of large, triple-A games like Uncharted and The Last of Us.
https://youtu.be/gpINOFQ32o0
https://youtu.be/gpINOFQ32o0
YouTube
HandmadeCon 2016 - Large-scale Systems Architecture
Jason Gregory (https://twitter.com/jqgregory) of Naughty Dog discusses the architectural details behind the codebases of large, triple-A games like Uncharted and The Last of Us.
From the fourth session of HandmadeCon 2016. See https://handmadecon.org for…
From the fourth session of HandmadeCon 2016. See https://handmadecon.org for…
👍1🔥1
Wyvern: A Simple, Typed, and Pure Object-Oriented Language
https://www.cs.cmu.edu/~lnistor/maspeghi13.pdf
https://www.cs.cmu.edu/~lnistor/maspeghi13.pdf
Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega
https://web.cs.ucla.edu/~palsberg/paper/popl16-full.pdf
https://web.cs.ucla.edu/~palsberg/paper/popl16-full.pdf
Concepts for higher-kinded types in C++20
https://mmore500.com/cse-491/blog/2020/02/24/concepts-monads.html
https://mmore500.com/cse-491/blog/2020/02/24/concepts-monads.html
CSE 491
Concepts for higher-kinded types in C++20
👍3
Counterexamples in Type Systems: programs that crash, segfault or explode
https://counterexamples.org/intro.html
https://counterexamples.org/intro.html
❤2
An Introduction to Algebraic Effects and Handlers
https://www.eff-lang.org/handlers-tutorial.pdf
https://www.eff-lang.org/handlers-tutorial.pdf
❤1👍1
First-class modules: hidden power and tantalizing promises
https://okmij.org/ftp/ML/first-class-modules/first-class-modules.pdf
https://okmij.org/ftp/ML/first-class-modules/first-class-modules.pdf
👍1
Parametric Higher-Order Abstract Syntax for Mechanized Semantics
http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf
http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf
👍1
Elaboration in Dependent Type Theory
https://arxiv.org/pdf/1505.04324.pdf
https://arxiv.org/pdf/1505.04324.pdf
👍1
Models of Generics and Metaprogramming: Go, Rust, Swift, D and More
https://thume.ca/2019/07/14/a-tour-of-metaprogramming-models-for-generics/
https://thume.ca/2019/07/14/a-tour-of-metaprogramming-models-for-generics/
thume.ca
Models of Generics and Metaprogramming: Go, Rust, Swift, D and More - Tristan Hume
🐳1
Understanding DeepMind's Sorting Algorithm
https://justine.lol/sorting/
https://justine.lol/sorting/
justine.lol
Understanding DeepMind's Sorting Algorithm
Working code examples meant to clarify AlphaDev's deep learning assembly optimizations.
👍1
Algebraic Effects for Functional Programming
(Type Directed Compilation of Row-typed Algebraic Effects)
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf
(Type Directed Compilation of Row-typed Algebraic Effects)
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/08/algeff-tr-2016-v2.pdf
👍2❤1
Control Delimiters and Their Hierarchies
https://www2.ccs.neu.edu/racket/pubs/lasc1990-sf.pdf
https://www2.ccs.neu.edu/racket/pubs/lasc1990-sf.pdf
Implementing Algebraic Effects in C
“Monads for Free in C”
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf
“Monads for Free in C”
https://www.microsoft.com/en-us/research/wp-content/uploads/2017/06/algeff-in-c-tr-v2.pdf
👍2