Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
https://casperbp.net/store/hefty-algebras.pdf
https://casperbp.net/store/hefty-algebras.pdf
β€1π1
Simple defer, ready to use (C)
https://gustedt.wordpress.com/2025/01/06/simple-defer-ready-to-use/
https://gustedt.wordpress.com/2025/01/06/simple-defer-ready-to-use/
Jens Gustedt's Blog
Simple defer, ready to use
With this post I will concentrate on the here and now: how to use Cβs future lifesaving defer feature with existing tools and compilers.
π₯΄2π1π1π1
Myth and reality about inline in C99
https://gustedt.wordpress.com/2010/11/29/myth-and-reality-about-inline-in-c99/
https://gustedt.wordpress.com/2010/11/29/myth-and-reality-about-inline-in-c99/
Jens Gustedt's Blog
Myth and reality about inline in C99
There is a very common misunderstanding about the inline keyword in C99. Rumors go that this would just be a useless hint to the compiler, that generation of external symbols or not is left to the β¦
π1π€1π1π1
Zig's Comptime is Bonkers Good
https://www.scottredig.com/blog/bonkers_comptime/
https://www.scottredig.com/blog/bonkers_comptime/
π2π2
11-ghuloum.pdf
581.7 KB
An Incremental Approach to Compiler Construction
On Ada's Dependent Types, and its Types as a Whole
https://nytpu.com/gemlog/2024-12-27
https://nytpu.com/gemlog/2024-12-27
nytpu.com
On Ada's Dependent Types, and its Types as a Whole
Writing an Operating System in 1,000 Lines (C)
https://github.com/nuta/operating-system-in-1000-lines?tab=readme-ov-file
https://github.com/nuta/operating-system-in-1000-lines?tab=readme-ov-file
GitHub
GitHub - nuta/operating-system-in-1000-lines: Writing an OS in 1,000 lines.
Writing an OS in 1,000 lines. Contribute to nuta/operating-system-in-1000-lines development by creating an account on GitHub.
π₯3π3
Comptime as Configuration (Zig)
https://www.openmymind.net/Comptime-as-Configuration/
https://www.openmymind.net/Comptime-as-Configuration/
www.openmymind.net
Comptime as Configuration
Karl Seguin's Blog - A mix of coding and creative writing
π3β€1
Be aware of the Makefile effect
https://blog.yossarian.net/2025/01/10/Be-aware-of-the-Makefile-effect
https://blog.yossarian.net/2025/01/10/Be-aware-of-the-Makefile-effect
blog.yossarian.net
Be aware of the Makefile effect
Nearly All Binary Searches and Mergesorts are Broken
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
https://research.google/blog/extra-extra-read-all-about-it-nearly-all-binary-searches-and-mergesorts-are-broken/
research.google
Extra, Extra - Read All About It: Nearly All Binary Searches and Mergesorts are
Posted by Joshua Bloch, Software EngineerI remember vividly Jon Bentley's first Algorithms lecture at CMU, where he asked all of us incoming Ph.D. ...
π€―3π₯1π1π1π¦1
Getting silly with C
: C is beautiful yet full of horrors. Here's to uncovering its hidden depths.https://lcamtuf.substack.com/p/weekend-projects-getting-silly-with
Substack
Weekend projects: getting silly with C
C is beautiful yet full of horrors. Here's to uncovering its hidden depths.
π€―1
Memory error checking in C and C++
: Comparing Sanitizers and Valgrindhttps://developers.redhat.com/blog/2021/05/05/memory-error-checking-in-c-and-c-comparing-sanitizers-and-valgrind
Red Hat Developer
Memory error checking in C and C++: Comparing Sanitizers and Valgrind | Red Hat Developer
This article compares two tools, Sanitizers and Valgrind, that find memory bugs in programs written in memory-unsafe languages. These two tools work in very different ways. Therefore, while Sanitizers
π1
π¦3β€1π€―1
Four limitations of Rust's borrow checker
https://blog.polybdenum.com/2024/12/21/four-limitations-of-rust-s-borrow-checker.html
https://blog.polybdenum.com/2024/12/21/four-limitations-of-rust-s-borrow-checker.html
Considerations on Codecrafting
Four limitations of Rustβs borrow checker
Iβve been using Rust for hobby projects since 2016 and have been working professionally in Rust since 2021, so I tend to consider myself pretty knowledgeable about Rust. Iβm already familiar with all the common limitations of Rustβs type system and how toβ¦
π―3
doom.pdf
6.2 MB
Doom source port that runs inside a PDF file
https://github.com/ading2210/doompdf?tab=readme-ov-file
https://github.com/ading2210/doompdf?tab=readme-ov-file
π6π€―2π1
Advanced_Topics_in_Types_and_Programming_Languages.pdf
595.8 KB
Advanced Topics in Types and Programming Languages
: Typed Operational Reasoning (Chapter 7)π3
David A. Wheeler's Review of Debugging by David J. Agans
https://dwheeler.com/essays/debugging-agans.html
https://dwheeler.com/essays/debugging-agans.html
π1