Programming Deadlock
Ir al canal en Telegram
Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...
Mostrar más1 790
Suscriptores
Sin datos24 horas
+57 días
+4230 días
Archivo de publicaciones
1 790
cppfront: A TypeScript for C++
https://herbsutter.com/2023/08/13/my-c-now-2023-talk-is-online-a-typescript-for-c/1 790
Lambdascope
Another optimal implementation of the lambda-calculus
https://web.archive.org/web/20170706084403/http://www.phil.uu.nl/~oostrom/publication/pdf/lambdascope.pdf
1 790
An Algorithm for Optimal Lambda Calculus Reduction
https://dl.acm.org/doi/pdf/10.1145/96709.96711
1 790
Solving the mystery behind Abstract Algorithm’s magical optimizations
https://medium.com/@maiavictor/solving-the-mystery-behind-abstract-algorithms-magical-optimizations-144225164b07
1 790
CLOS: Integrating Object-Oriented and Functional Programming
https://dreamsongs.com/Files/clos-cacm.pdf
1 790
Introduction to Information Geometry
https://www.robots.ox.ac.uk/~lsgs/posts/2019-09-27-info-geom.html
1 790
Abelian sandpiles in three or more dimensions can be used to simulate a Turing machine and are therefore Turing complete
https://en.m.wikipedia.org/wiki/Abelian_sandpile_model
1 790
All about Sanitizer Interceptors
https://maskray.me/blog/2023-01-08-all-about-sanitizer-interceptors
1 790
RISC-V: Origins and Architecture
https://thechipletter.substack.com/p/risc-v-part-1-origins-and-architecture1 790
CrossHair: Analysis tool for Python that blurs the line between testing and type systems
https://github.com/pschanely/CrossHair1 790
High-numerical-aperture EUV lithography: The next trick to tinier transistors
https://spectrum.ieee.org/high-na-euv