Writing memory efficient structs in C
tomscheers.github.io·2d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
⚡Zig
Every American Is Bilingual
justevilenough.com·3d·
Discuss: Hacker News
🔨Compilers
Emacs: The macOS Bug
xlii.space·1d·
Discuss: Lobsters, Hacker News
⚡Zig
Formal specs as sets of behaviors
surfingcomplexity.blog·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
✅Formal Methods
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·8h·
Discuss: DEV, Hacker News
✅Formal Methods
A Hitchhiker's Guide to the AI Bubble
fluxus.io·10h·
Discuss: Hacker News
🤖ai
NSW Fair Trading – Dark Patterns
nsw.gov.au·18h·
Discuss: Hacker News
✅Formal Methods
How to draw lambda diagrams (2020)
risingentropy.com·6d·
Discuss: Hacker News
📐Type Theory
We Asked 100+ AI Models to Write Code. Here’s How Many Failed Security Tests
veracode.com·6h·
Discuss: Lobsters, Hacker News
🤖ai
Engineering Buy-In
venki.dev·14h·
Discuss: Hacker News
🌐Distributed Systems
Intel XeSS 2.1 Released With Frame Generation For Non-Intel GPUs But Still A Binary Mess
phoronix.com·6h
⚙LLVM
Why I’m not letting the juniors use GenAI for coding
lukeplant.me.uk·5d
⚡Zig
GEPA: Reflective Prompt Evolution Can Outperform Reinforcement Learning
arxiviq.substack.com·20h·
Discuss: Substack
🤖ai
SensorLM: Learning the language of wearable sensors
research.google·3d·
Discuss: Hacker News, Hacker News
⚙LLVM
Benchmarking MicroPython
blog.miguelgrinberg.com·16h·
Discuss: Hacker News, r/programming
⚙️Systems Programming
Two Birds with One Tone: I/Q Signals and Fourier Transform
wirelesspi.com·2d·
Discuss: Hacker News
🔍eBPF
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.com·1d·
Discuss: Hacker News, Hacker News
🔗P2P Networks
How Not to Study a Disease
neurofrontiers.blog·15h·
Discuss: Hacker News
🤖ai
Launch HN: Gecko Security (YC F24) – AI That Finds Vulnerabilities in Code
news.ycombinator.com·15h·
Discuss: Hacker News
⚡Zig
Actions Reflect Your Priorities
tombrady.com·1d·
Discuss: Hacker News
💻programming