The Erlang Runtime System
https://blog.stenmans.org/theBeamBook/
https://blog.stenmans.org/theBeamBook/
blog.stenmans.org
The BEAM Book: Understanding the Erlang Runtime System
π2πΎ2β€1π₯1
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
https://github.com/mortdeus/legacy-cc
π5π3πΏ1
How Much Memory Do You Need to Run 1 Million Concurrent Tasks?
https://pkolaczk.github.io/memory-consumption-of-async/
https://pkolaczk.github.io/memory-consumption-of-async/
pkolaczk.github.io
How Much Memory Do You Need to Run 1 Million Concurrent Tasks? | Piotr KoΕaczkowski
In this blog post, I delve into the comparison of memory consumption between asynchronous and multi-threaded programming across popular languages like Rust, ...
π1π1
Compiling History: A brief tour of C compilershttps://www.deusinmachina.net/p/compiling-history-a-brief-tour-of
www.deusinmachina.net
Compiling History: A brief tour of C compilers
As the story of Cβs birth goes hand in hand with the creation of Unix, the first C compiler can be traced back to the early 1970βs.
π2
A Unified Theory of Garbage Collection
https://web.eecs.umich.edu/~weimerw/2012-4610/reading/bacon-garbage.pdf
https://web.eecs.umich.edu/~weimerw/2012-4610/reading/bacon-garbage.pdf
π4π₯2
Compile-Time Garbage Collection by Necessity Analysis
https://www.researchgate.net/publication/229062257_Compile-Time_Garbage_Collection_by_Necessity_Analysis
https://www.researchgate.net/publication/229062257_Compile-Time_Garbage_Collection_by_Necessity_Analysis
ResearchGate
(PDF) Compile-Time Garbage Collection by Necessity Analysis
PDF | This paper gives a brief overview of an analysis technique for determining at compile-time whether heap cells are still needed at a particular... | Find, read and cite all the research you need on ResearchGate
π₯4π€1
In defense of simple architectures
https://danluu.com/simple-architectures/
https://danluu.com/simple-architectures/
π2π€1
A dependently-typed programming language with static memory management
https://github.com/vekatze/neut
https://github.com/vekatze/neut
GitHub
GitHub - vekatze/neut: A programming language with static memory management based on Ξ»-calculus
A programming language with static memory management based on Ξ»-calculus - vekatze/neut
π2π1π€1
Idrisβ Internals
https://docs.idris-lang.org/en/latest/reference/internals.html
https://docs.idris-lang.org/en/latest/reference/internals.html
π1π₯΄1
An implementation of "A Categorical Programing Language"
https://github.com/msakai/cpl
https://github.com/msakai/cpl
GitHub
GitHub - msakai/cpl: An interpreter of Hagino's Categorical Programming Language (CPL).
An interpreter of Hagino's Categorical Programming Language (CPL). - msakai/cpl
π1π1π€1
copy-and-patch.pdf
1.2 MB
Copy-and-Patch Compilation: A Fast Compilation Algorithm for High-Level Languages and Bytecode
HA
π1
π1
No-Brainer CPS Conversion (Functional Pearl)
https://www.khoury.northeastern.edu/home/shivers/papers/nobrainer-cps.pdf
https://www.khoury.northeastern.edu/home/shivers/papers/nobrainer-cps.pdf
π€―1
The Pure Programming Language
https://agraef.github.io/pure-lang/
https://agraef.github.io/pure-lang/
π1π₯΄1π1π€¨1
How do we tell truths that might hurt?
Edsger W.Dijkstra, 18 June 1975
https://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html
Edsger W.Dijkstra, 18 June 1975
https://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html
π₯2β€1π1πΏ1π1π‘1