Open Source Introductory Systems Programming Textbook for the University of Illinois
https://github.com/cs341-illinois/coursebook
https://github.com/cs341-illinois/coursebook
GitHub
GitHub - cs341-illinois/coursebook: Open Source Introductory Systems Programming Textbook for the University of Illinois
Open Source Introductory Systems Programming Textbook for the University of Illinois - cs341-illinois/coursebook
❤11
Lambda Screen: Fractals in Pure Lambda Calculus
https://text.marvinborner.de/2024-03-25-02.html
https://text.marvinborner.de/2024-03-25-02.html
text.marvinborner.de
Lambda Screen: Fractals in Pure Lambda Calculus
Lambda Screen allows you to draw images using terms of pure lambda calculus. By using fixed-point combinators, you can even create infinitely detailed fractals.
🦄2❤1🔥1🤯1
tate-compiler-proofs.pdf
447.3 KB
Generating Compiler Optimizations from Proofs
https://rosstate.org/publications/proofgen/proofgen_tate_popl10_tr.pdf
https://rosstate.org/publications/proofgen/proofgen_tate_popl10_tr.pdf
🔥8❤1
pulsecore-indirection-2025.pdf
622.1 KB
PulseCore: An Impredicative Concurrent Separation Logic for Dependently Typed Programshttps://fstar-lang.org/papers/pulsecore-indirection-2025.pdf
👍2
Categories for the Working Hacker
https://youtu.be/gui_SE8rJUM
https://youtu.be/gui_SE8rJUM
YouTube
"Categories for the Working Hacker" by Philip Wadler
The talk will explain why category theory is of interest for developers, taking examples from Java and Haskell, and referencing the new blockchain scripting languages Simplicity, Michelson, and Plutus. The principle of Propositions as Types describes a correspondence…
🤣7🔥3
2605.10943v1.pdf
1.5 MB
A passive self-correcting quantum memory in three dimensions
https://arxiv.org/abs/2605.10943
https://arxiv.org/abs/2605.10943
🗿5
abstract-reduction.pdf
1.1 MB
Strictness Analysis using Abstract Reduction
https://dl.acm.org/doi/pdf/10.1145/165180.165219
https://dl.acm.org/doi/pdf/10.1145/165180.165219
🔥6
Introduction to Compilers and Language Design
https://dthain.github.io/books/compiler/
https://dthain.github.io/books/compiler/
👍7❤2
ssrn-6869668.pdf
868.6 KB
A Final Return for OpenBSD Anti-Return-Oriented Programming Mitigations
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6869668
https://papers.ssrn.com/sol3/papers.cfm?abstract_id=6869668
🔥2
Coroutines Trilogy (C/C++)
https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html
https://www.chiark.greenend.org.uk/~sgtatham/coroutines.html
👍4🤣1💔1
pattern-matching-good.pdf
810 KB
Compiling Pattern Matching to Good Decision Trees
https://dl.acm.org/doi/pdf/10.1145/1411304.1411311
https://dl.acm.org/doi/pdf/10.1145/1411304.1411311
👍3
The Clockwise/Spiral Rule
https://c-faq.com/decl/spiral.anderson.html
https://c-faq.com/decl/spiral.anderson.html
❤3👍2👾1
2019 (1).pdf
7 MB
93% of Paint Splatters are Valid Perl Programs
https://www.mcmillen.dev/sigbovik/2019.pdf
https://www.mcmillen.dev/sigbovik/2019.pdf
🤣9👾3
The little book about OS development
https://littleosbook.github.io
https://littleosbook.github.io
littleosbook.github.io
The little book about OS development
👍5🗿4😱2
Tail-call optimization in C is relatively recent
https://lwn.net/Articles/1034703/
https://lwn.net/Articles/1034703/
👍6
Domain-specific hyperspecialization (for SAT)
https://c.mov/lymphosat/
https://c.mov/lymphosat/
c.mov
Domain-specific hyperspecialization (for SAT) | c.mov
An immune system for SAT solvers
🔥3
Low-Level Software Security for Compiler Developers
https://llsoftsec.github.io/llsoftsecbook/
https://llsoftsec.github.io/llsoftsecbook/
🤯4❤3🗿1