Engineering a Rust optimization quiz
fasterthanli.me·1d
🐛Fuzzing
Flag this post
Recent Rust Changes
ncameron.org·6d·
🔍Symbolic Execution
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·3d·
🔍Symbolic Execution
Flag this post
CharlotteOS – An Experimental Modern Operating System
github.com·1d·
🕸️eBPF
Flag this post
How I Use Every Claude Code Feature
blog.sshh.io·1d·
🔍Symbolic Execution
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·3d·
🐛Fuzzing
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·2d·
Discuss: Hacker News
🔍Symbolic Execution
Flag this post
Nim 2.2.6
nim-lang.org·2d·
Discuss: Hacker News
🔍Symbolic Execution
Flag this post
I built an faster Notion in Rust
imedadel.com·5d·
🐛Fuzzing
Flag this post
Using FreeBSD to make self-hosting fun again
jsteuernagel.de·23h·
🕸️eBPF
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·5d·
Discuss: Hacker News
🧮Memory Models
Flag this post
Ghosts in the Compilation
predr.ag·3d·
🌐WebAssembly
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.net·11h·
Discuss: Hacker News
🐛Fuzzing
Flag this post
Using Assisted-by commit footers instead of banning AI tools
xeiaso.net·1d·
🔒Hardware Security
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·3d·
🔍Symbolic Execution
Flag this post
I ****Ing Hate Science
buttondown.com·10h·
🐛Fuzzing
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·1d·
Discuss: Substack
JIT Compilation
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·15h·
Discuss: Hacker News
🔍Symbolic Execution
Flag this post
GHC Now Runs in the Browser
discourse.haskell.org·3d·
🌐WebAssembly
Flag this post
Writing FreeDOS Programs in C
freedos.org·20h·
Discuss: Hacker News
🕸️eBPF
Flag this post