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
👍1
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
🗿4
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
🗿3😭2❤1😱1
2505.12540v2.pdf
2.7 MB
Harnessing the Universal Geometry of Embeddings
https://arxiv.org/abs/2505.12540
https://arxiv.org/abs/2505.12540
🗿1👾1
Lessons from Writing a Compiler
https://borretti.me/article/lessons-writing-compiler
https://borretti.me/article/lessons-writing-compiler
Fernando Borretti
Lessons from Writing a Compiler
Collected tips from building the Austral compiler.
🔥6👍2❤1
interlisp-ieee.pdf
831.9 KB
The InterIisp Programmg Envionment
https://larrymasinter.net/interlisp-ieee.pdf
https://larrymasinter.net/interlisp-ieee.pdf
😭3🫡3
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
👍3
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…
🔥5❤1👍1
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
👍2🔥2
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
👍1
slides_shulman.pdf
257.5 KB
Modal Type Theories
https://itp-school-2023.github.io/slides/slides_shulman.pdf
https://itp-school-2023.github.io/slides/slides_shulman.pdf
🔥4
pattern-matching.pdf
365.5 KB
Scalable Pattern Matching in Computation Graphs
https://arxiv.org/pdf/2402.13065
https://arxiv.org/pdf/2402.13065
👍3
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).
👍4
A masochist’s guide to web development
https://sebastiano.tronto.net/blog/2025-06-06-webdev/
https://sebastiano.tronto.net/blog/2025-06-06-webdev/
💅7❤5🗿2
P-equals-NP.pdf
287.1 KB
P = NP, up to sharing
https://www.researchgate.net/publication/2758968_P_NP_up_to_sharing
https://www.researchgate.net/publication/2758968_P_NP_up_to_sharing
🔥5😐3🤯1😭1
Interaction net resources
https://github.com/marvinborner/interaction-net-resources
https://github.com/marvinborner/interaction-net-resources
GitHub
GitHub - marvinborner/interaction-net-resources: :books: Interaction net resources
:books: Interaction net resources. Contribute to marvinborner/interaction-net-resources development by creating an account on GitHub.
🔥2❤1