Hacking Coroutines into C
https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html
https://wiomoc.de/misc/posts/hacking_coroutines_into_c.html
👍2
Case study of over-engineered C++ code (Reimplementing C++ in Object Oriented C)
https://blog.kowalczyk.info/a-aiow/case-study-of-over-engineered-c-code.html
https://blog.kowalczyk.info/a-aiow/case-study-of-over-engineered-c-code.html
blog.kowalczyk.info
Case study of over-engineered C++ code
An example of how to simplify over-engineered C++ code
👍2🤔1
A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux
http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html
http://www.muppetlabs.com/~breadbox/software/tiny/teensy.html
Ryan Fleury – Cracking the Code: Realtime Debugger Visualization Architecture – BSC 2025
https://youtu.be/_9_bK_WjuYY?si=Me3aMV7c2jI4F0x4
https://youtu.be/_9_bK_WjuYY?si=Me3aMV7c2jI4F0x4
YouTube
Ryan Fleury – Cracking the Code: Realtime Debugger Visualization Architecture – BSC 2025
Ryan Fleury's talk at BSC 2025 on the work he's been doing for the Rad Debugger.
Ryan's links:
- https://rfleury.com
- https://x.com/ryanjfleury
- https://github.com/EpicGamesExt/raddebugger
BSC links:
- https://BetterSoftwareConference.com
- https://x…
Ryan's links:
- https://rfleury.com
- https://x.com/ryanjfleury
- https://github.com/EpicGamesExt/raddebugger
BSC links:
- https://BetterSoftwareConference.com
- https://x…
🔥3🗿2
simpler-lambda-calculus.pdf
662.6 KB
A Simpler Lambda Calculus
https://dl.acm.org/doi/pdf/10.1145/3294032.3294085
https://dl.acm.org/doi/pdf/10.1145/3294032.3294085
❤2👍2😐2
Engineering for Slow Internet
https://brr.fyi/posts/engineering-for-slow-internet
https://brr.fyi/posts/engineering-for-slow-internet
brr.fyi
Engineering for Slow Internet – brr
How to minimize user frustration in Antarctica.
👍6😍2❤1
polynomial-complexity-typing.pdf
1.6 MB
Checking Polynomial Time Complexity With Types
https://rd.springer.com/content/pdf/10.1007/978-0-387-35608-2_31.pdf
https://rd.springer.com/content/pdf/10.1007/978-0-387-35608-2_31.pdf
👍1😐1
Resizable structs in Zig
https://tristanpemble.com/resizable-structs-in-zig/
https://tristanpemble.com/resizable-structs-in-zig/
👍2🔥1
Synthesis of Heap-Manipulating Programs from Separation Logic
https://gopiandcode.uk/logs/log-certified-synthesis.html
https://gopiandcode.uk/logs/log-certified-synthesis.html
gopiandcode.uk
Gopiandcode > logs > Goodbye C developers: The future of programming with certified program synthesis
🔥6
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Typeshttps://plv.mpi-sws.org/refinedc/
🔥1