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·2d·
🔍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·22h·
🔍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·1d·
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·11h·
🕸️eBPF
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·4d·
Discuss: Hacker News
🧮Memory Models
Flag this post
Ghosts in the Compilation
predr.ag·2d·
🌐WebAssembly
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·2d·
🔍Symbolic Execution
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·4h·
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·9h·
Discuss: Hacker News
🕸️eBPF
Flag this post
Linux Kernel Ported To WebAssembly - Demo Lets You Run It In Your Web Browser
phoronix.com·1d·
Discuss: Hacker News
🌐WebAssembly
Flag this post
Teddy Bear Trash Compactor
internet.place·4d·
Discuss: Lobsters
🧮Memory Models
Flag this post
word2vec-style vector arithmetic on docs embeddings
technicalwriting.dev·3d·
🔢vector embedding
Flag this post