SpecTec has been adopted
https://webassembly.org/news/2025-03-27-spectec/
Discussions: https://discu.eu/q/https://webassembly.org/news/2025-03-27-spectec/

SpecTec has been adopted
https://webassembly.org/news/2025-03-27-spectec/
Discussions: https://discu.eu/q/https://webassembly.org/news/2025-03-27-spectec/
A Very (!) Early Play With Astral's Red Knot Static Type Checker
https://jurasofish.github.io/a-very-early-play-with-astrals-red-knot-static-type-checker.html
Discussions: https://discu.eu/q/https://jurasofish.github.io/a-very-early-play-with-astrals-red-knot-static-type-checker.html
AI Agents in PHP with MCP (Model Context Protocol)
https://inspector.dev/ai-agents-in-php-with-mcp-model-context-protocol/
Discussions: https://discu.eu/q/https://inspector.dev/ai-agents-in-php-with-mcp-model-context-protocol/
Notes on building an app that looks like an IKEA manual
https://nmattia.com/posts/2025-03-24-skapa-intro/
Discussions: https://discu.eu/q/https://nmattia.com/posts/2025-03-24-skapa-intro/
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself Dennis Ritchie. https://github.com/mortdeus/legacy-cc/tree/master/last1120c No matter what you use today—iOS, Android, Windows, Linux, *BSD, or anything else- we all owe something to C and Unix, and to dmr, one way or another. This compiler is a piece of history that changed computing for us all. Thank you, dmr.
Rust in 2025: Language interop and the extensible compiler
https://smallcultfollowing.com/babysteps/blog/2025/03/18/lang-interop-extensibility/
Discussions: https://discu.eu/q/https://smallcultfollowing.com/babysteps/blog/2025/03/18/lang-interop-extensibility/
C++/Rust Interoperability Problem Statement
https://github.com/rustfoundation/interop-initiative
Discussions: https://discu.eu/q/https://github.com/rustfoundation/interop-initiative
How to emulate GameBoy PPU
https://github.com/SingleStepTests/sm83
Discussions: https://discu.eu/q/https://github.com/SingleStepTests/sm83
I like to use #OpenSource tools when I'm teaching, and I'm teaching more game programming to kids age 10-16 in the summer. Love2D worked really well, though I'd like to help them also learn how to make game art.
I mostly just know #GNUimageManipulationProgram but I'm not giving children flash drives with a program named "g i m p" on it. Can you imagine what their parents would think??
bio:
Head of Studies, Deputy Head of Department at Computer Science, Aalborg University
http://ulrik.blog.aau.dk
Associate Professor, PhD.
In Search of the Next Great Programming Language
https://git.sr.ht/~robheghan/glogg/tree/main/item/docs/motivation.md
Discussions: https://discu.eu/q/https://git.sr.ht/~robheghan/glogg/tree/main/item/docs/motivation.md
VisuAlgo: Visualising data structures and algorithms through animation. https://visualgo.net/en #Programming #CompSci
Asahi Lina Pausing Work On Apple GPU Linux Driver Development
https://www.phoronix.com/news/Asahi-Lina-Steps-Down-Linux-GPU
Discussions: https://discu.eu/q/https://www.phoronix.com/news/Asahi-Lina-Steps-Down-Linux-GPU