Computer science recap for week 15/2025

From 7/4/2025 to 13/4/2025

Articles #

• What it's like to interview a software engineer preparing with AI 699 comments in 2 discussions

• Facebook Pushes Its Llama 4 AI Model to the Right, Wants to Present "Both Sides" 625 comments in 2 discussions

• Why do AI company logos look like buttholes? 391 comments in 3 discussions

• 6 usability improvements in GCC 15 308 comments in 5 discussions

• Obituary for Cyc 297 comments in 2 discussions

• A2A Communication: Could MQTT Outperform HTTP for Agent-to-Agent Systems? 276 comments in 2 discussions

• Rust to C compiler - 95.9% test pass rate, odd platforms 268 comments in 4 discussions

• Anubis works 264 comments in 2 discussions

• The “S” in MCP Stands for Security 238 comments in 3 discussions

• Erlang’s not about lightweight processes and message passing… 200 comments in 2 discussions

• Writing C for curl 195 comments in 4 discussions

• [N] Google Open to let entreprises self host SOTA models 191 comments in 3 discussions

• A surprising enum size optimization in the Rust compiler 169 comments in 4 discussions

• The 5 Levels of Configuration Languages 108 comments in 2 discussions

• [D] Synthetic introduction to ML for PhD student in Mathematics 92 comments in 9 discussions

Releases #

• wgpu v25.0.0 released 67 comments in 3 discussions

• OpenSSH 10.0 released 8 comments in 1 discussion

• ELD: Introducing a new open-source embedded linker tool for embedded systems 2 comments in 1 discussion

Projects #

• Netbird: connect your devices into a WireGuard overlay network with SSO, MFA and granular access controls 106 comments in 4 discussions

• facet: Rust reflection, serialization, deserialization — know the shape of your types 103 comments in 2 discussions

• I have come up with an algorithm doing set based topological sort. 57 comments in 2 discussions

• New here, my compiler (and ISA project) 12 comments in 2 discussions

• quadrable: Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs 7 comments in 1 discussion

• A Computational Graph builder for circuit evaluation and constraint checking 7 comments in 1 discussion

• barrelfish 6 comments in 1 discussion

• I built a tool to visualize and threat model AI agent workflows because security in this space is a mess 5 comments in 1 discussion

• [P] TikTok BrainRot Generator Update 5 comments in 1 discussion

• I open-sourced my 3D printed humanoid AI robot project 3 comments in 1 discussion

Videos #

• [D] Yann LeCun Auto-Regressive LLMs are Doomed 139 comments in 1 discussion

• RBF Kernel - Explained 2 comments in 1 discussion

• Making a Brainf*** JIT Compiler in Rust

• "A Slice Of" Modern Program Analysis - Kyle Martin

• [Research] How I use knowledge graphs to steer LLM's thinking process: helps me to focus it on specific ideas or a topic