type-theory-workbench.pdf
364.2 KB
Type Theory as a Language Workbench
https://arxiv.org/pdf/2301.12852
https://arxiv.org/pdf/2301.12852
hardware-graph-reduction.pdf
1.2 MB
Heron: Modern Hardware Graph Reduction
https://dl.acm.org/doi/pdf/10.1145/3652561.3652564
https://dl.acm.org/doi/pdf/10.1145/3652561.3652564
cantrill.pdf
154.8 KB
Dynamic Instrumentation of Production Systems (DTrace)
https://www.usenix.org/legacy/publications/library/proceedings/usenix04/tech/general/full_papers/cantrill/cantrill.pdf
https://www.usenix.org/legacy/publications/library/proceedings/usenix04/tech/general/full_papers/cantrill/cantrill.pdf
n3519.pdf
195.5 KB
Understanding Effective Type Aliasing in C
https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf
https://www.open-std.org/JTC1/SC22/WG14/www/docs/n3519.pdf
book.pdf
692.7 KB
Programming in Martin-Löf ’s Type Theory
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
https://www.cse.chalmers.se/research/group/logic/book/book.pdf
Function pointers in C
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
https://frama-c.com/2013/08/24/Function-pointers-in-C.html
2505.12540v2.pdf
2.7 MB
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
https://arxiv.org/abs/2505.12540
interlisp-ieee.pdf
831.9 KB
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
https://larrymasinter.net/interlisp-ieee.pdf
Debugging a FUSE deadlock in the Linux kernel
https://netflixtechblog.com/debugging-a-fuse-deadlock-in-the-linux-kernel-c75cd7989b6d
https://netflixtechblog.com/debugging-a-fuse-deadlock-in-the-linux-kernel-c75cd7989b6d
Medium
Debugging a FUSE deadlock in the Linux kernel
Tycho Andersen
How 1 Software Engineer Outperforms 138 - Lichess Case Study
https://youtu.be/7VSVfQcaxFY?si=jtbfWD8Ory90o_El
https://youtu.be/7VSVfQcaxFY?si=jtbfWD8Ory90o_El
YouTube
How 1 Software Engineer Outperforms 138 - Lichess Case Study
This is a case study on the Lichess product. A free and open source chess platform with over 4 million monthly active users and 1 core developer. The stack he uses is Scala, MongoDB and Snabbdom hosted on bare metal. This is an incredibly interesting project…
optimizing-first-class-pm.pdf
272.7 KB
Optimising First-Class Pattern Matching
https://dl.acm.org/doi/pdf/10.1145/3567512.3567519
https://dl.acm.org/doi/pdf/10.1145/3567512.3567519
sequential-optimality.pdf
582.7 KB
Abstract Machines, Optimal Reduction, and Streams
https://iris.uniroma1.it/bitstream/11573/1408275/6/Lai_preprint_abstract_2019.pdf
https://iris.uniroma1.it/bitstream/11573/1408275/6/Lai_preprint_abstract_2019.pdf
pattern-matching.pdf
365.5 KB
Scalable Pattern Matching in Computation Graphs
https://arxiv.org/pdf/2402.13065
https://arxiv.org/pdf/2402.13065
Variadic Fixed-Point Combinators
https://text.marvinborner.de/2023-06-18-15.html
https://text.marvinborner.de/2023-06-18-15.html
text.marvinborner.de
Variadic Fixed-Point Combinators
This article describes a variadic extension to the default fixed-point combinator – namely the Y-combinator. We do this by translating the Scheme code from a paper to bruijn (pure lambda calculus).