Programming Deadlock

Ir al canal en Telegram

Channel about programming: C, C++, Rust, Zig, Go, Type Theory, Compilers, Threading, Distributed Systems and more...

EEUU11 795 Tecnologías y Aplicaciones34 159

1 684

Suscriptores

+324 horas

+87 días

+3630 días

1 117

Visitas de la publicación

~ 33724 horas

~ 39048 horas

66.29%

Tasa de compromiso

Sin datos

Mensajes por día

Ads index

beta

Archivo de publicaciones

1 685

A Unified Theory of Garbage Collection https://web.eecs.umich.edu/~weimerw/2012-4610/reading/bacon-garbage.pdf

1 685

Compiling History: A brief tour of C compilers https://www.deusinmachina.net/p/compiling-history-a-brief-tour-of

1 685

How Much Memory Do You Need to Run 1 Million Concurrent Tasks? https://pkolaczk.github.io/memory-consumption-of-async/

1 685

The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr. https://github.com/mortdeus/legacy-cc

1 685

The Erlang Runtime System https://blog.stenmans.org/theBeamBook/

1 685

The GHC Runtime System http://ezyang.com/jfp-ghc-rts-draft.pdf

1 685

Definitional Interpreters for Higher-Order Programming Languages John C. Reynolds https://surface.syr.edu/cgi/viewcontent.cgi?article=1012&context=lcsmith_other

1 685

Principles of Dependent Type Theory https://carloangiuli.com/courses/b619-sp24/notes.pdf

1 685

BuildKit in depth: Docker's build engine explained https://depot.dev/blog/buildkit-in-depth

1 685

Solving SAT via Positive Supercompilation https://hirrolot.github.io/posts/sat-supercompilation.html

1 685

WASM Playground https://observablehq.com/@chaosalchemist/wasm-playground

1 685

(How to Write a (Lisp) Interpreter (in Python)) https://norvig.com/lispy.html

1 685

A Beginner's Guide to Programming Language Academia https://ryanbrewer.dev/posts/beginners-guide-pl-academia.html

1 685

Heap Layers: a flexible infrastructure for composing high-performance memory allocators out of C++ layers https://github.com/emeryberger/Heap-Layers

1 685

Mesh: Compacting Memory Management for C++ https://github.com/plasma-umass/Mesh

1 685

Compacting the Uncompactable (C++) https://youtu.be/c1UBJbfR-H0?si=hEH75oJO85a27nUE

1 685

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.html

1 685

The C Bounded Model Checker: Criminally Underused https://www.philipzucker.com/cbmc_tut/

1 685

Profunctor optics, a categorical update https://arxiv.org/pdf/2001.07488.pdf

1 685

Unboxed data constructors or, how cpp decides a halting problem https://arxiv.org/pdf/2311.07369.pdf