Programming Deadlock
Kanalga Telegram’da o‘tish
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Ko'proq ko'rsatish1 876
Obunachilar
+624 soatlar
+127 kun
+4030 kun
Postlar arxiv
1 876
Models of Generics and Metaprogramming: Go, Rust, Swift, D and More
https://thume.ca/2019/07/14/a-tour-of-metaprogramming-models-for-generics/
1 876
Parametric Higher-Order Abstract Syntax for Mechanized Semantics
http://adam.chlipala.net/papers/PhoasICFP08/PhoasICFP08.pdf
1 876
First-class modules: hidden power and tantalizing promises
https://okmij.org/ftp/ML/first-class-modules/first-class-modules.pdf
1 876
An Introduction to Algebraic Effects and Handlers
https://www.eff-lang.org/handlers-tutorial.pdf
1 876
Counterexamples in Type Systems: programs that crash, segfault or explode
https://counterexamples.org/intro.html
1 876
Concepts for higher-kinded types in C++20
https://mmore500.com/cse-491/blog/2020/02/24/concepts-monads.html
1 876
Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega
https://web.cs.ucla.edu/~palsberg/paper/popl16-full.pdf
1 876
Wyvern: A Simple, Typed, and Pure Object-Oriented Language
https://www.cs.cmu.edu/~lnistor/maspeghi13.pdf
1 876
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
1 876
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-quine1 876
Software licenses masquerading as open source (OpenSource Licenses in the current AI Boom Context)
http://marble.onl/posts/software-licenses-masquerading-as-open-source.html
1 876
C++17's Useful Features for Embedded Systems
https://interrupt.memfault.com/blog/cpp-17-for-embedded
1 876
ROPfuscator: a fine-grained code obfuscation framework for LLVM-supported languages using ROP (return-oriented programming)
https://github.com/ropfuscator/ropfuscator