adam.gluck10's Top FindsLoading...
Integrating Design Verification To Approach Zero Defects
semiengineering.com·14h
🧪Testing Philosophy
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·6h·
Discuss: Hacker News
⛳Code Golf
Flag this post
Show HN: I'm making an Open-source Japanese learning App inspired by Monkeytype
github.com·1d·
Discuss: Hacker News, Hacker News
⛳Code Golf
Flag this post
Unlocking Logic's Secrets: BoolSkeleton – Streamlining Boolean Networks for Peak Performance by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧠Logic Puzzles
Flag this post
How do I actually learn programming?
reddit.com·6h·
Discuss: r/godot
⛳Code Golf
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
⛳Code Golf
Flag this post
Complexity fills the space it's given
wilsoniumite.com·14h·
Discuss: Hacker News
⛳Code Golf
Flag this post
‘Wordle’ Just Got A Massive Update, And It’s Really Fun
forbes.com·5h
🧩Riddles
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·1d·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
⛳Code Golf
Flag this post
Advice for System Design Interviews
jacobbrazeal.wordpress.com·16h·
Discuss: Hacker News
🏗System design
Flag this post
Programming Languages Lie: Variables Aren’t What You Think They Are
dev.to·22h·
Discuss: DEV
⛳Code Golf
Flag this post
Researchers propose a new model for legible, modular software
techxplore.com·5h
⛳Code Golf
Flag this post
American Wind Farms
tech.marksblogg.com·16h·
Discuss: Hacker News
💻Tech
Flag this post
Embedding TypeScript
andrews.substack.com·12h·
Discuss: Substack, r/programming
⛳Code Golf
Flag this post
Moves Are Broken
youtube.com·4h
🧩Riddles
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.org·5h·
Discuss: Lobsters, Hacker News, r/rust
⛳Code Golf
Flag this post
A Security Model for Systemd
lwn.net·14h·
Discuss: Lobsters, Hacker News
🏗System design
Flag this post
We Started with Jax but Moved to PyTorch
mlechner.substack.com·6h·
Discuss: Substack
⛳Code Golf
Flag this post
My query languages library pivot
dev.to·8h·
Discuss: DEV
⛳Code Golf
Flag this post
Kiroween Hackathon: Resurrecting Punch Cards and Discovering Exciting New Experiences with My Old Friend, Kiro IDE
dev.to·15h·
Discuss: DEV
⛳Code Golf
Flag this post