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 870
Suscriptores
+124 horas
+77 días
+3830 días
Archivo de publicaciones
1 872
Solving SAT via Positive Supercompilation
https://hirrolot.github.io/posts/sat-supercompilation.html
1 872
A Beginner's Guide to Programming Language Academia
https://ryanbrewer.dev/posts/beginners-guide-pl-academia.html
1 872
Heap Layers: a flexible infrastructure for composing high-performance memory allocators out of C++ layers
https://github.com/emeryberger/Heap-Layers1 872
XFaaS: Hyperscale and Low Cost Serverless Functions at Meta
https://www.micahlerner.com/2024/01/23/xfaas-hyperscale-and-low-cost-serverless-functions-at-meta.html1 872
Unboxed data constructors
or, how cpp decides a halting problem
https://arxiv.org/pdf/2311.07369.pdf
1 872
On The Type Structure of Standard ML
https://web.archive.org/web/20170808093949id_/http://theory.stanford.edu/~jcm/papers/harper-mitch-TOPLAS-93.pdf
1 872
Higher-Order Modules and the Phase Distinction
https://www-cs.stanford.edu/people/jcm/papers/harper-mm-90.pdf
1 872
Using Dependent Types to Express Modular Structure
https://dl.acm.org/doi/pdf/10.1145/512644.512670
1 872
Designing a Fast, Efficient, Cache-friendly Hash Table, Step by Step (C++)
https://www.youtube.com/watch?v=ncHmEUmJZf4
