Go’s unsafe: Unlocking Performance Hacks with a Risk
dev.to·11h·
Discuss: DEV
🔒Type Safety
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·13h·
Discuss: Hacker News
✅Format Verification
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Capture Checking in Scala
nrinaudo.github.io·22h·
Discuss: Hacker News
🧪Binary Fuzzing
Claude Code's 19 cent Parser
blogger.com·14h
🔧Binary Parsers
Anonymous structavaganza in zig
lirk.top·10h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·12h·
Discuss: Hacker News
🌳Archive Merkle Trees
Google Messages Is Testing a New Way to Verify Who You’re Chatting With
lifehacker.com·11h
🔍Text Forensics
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·13h·
Discuss: Hacker News
⚡Proof Automation
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
When AI Gets Accessibility Wrong: Why Developers Still Need Manual Testing
tysdomain.com·3h·
Discuss: r/programming
✨Effect Handlers
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·13h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Generating C functions and prototypes using macros – part 2
subethasoftware.com·2h
🦀Rust Macros
The Lobster Programming Language
strlen.com·7h·
Discuss: Hacker News
🔗Concatenative Programming
Stable, Mutable References for Ante
antelang.org·14h·
Discuss: Hacker News, r/programming
🔒Type Safety
Song recommendations with F# free monads
blog.ploeh.dk·20h
🔗Functional Compilers
New Keeb
theworksofegan.net·6h
⌨️Mechanical Keyboards
Go module for brute force attacks on SSH steals the accesses found
heise.de·17h
🛣️BGP Hijacking
OpenBSD Hackathon Leipzig 2025: Qt6 Fixes, KDE PIM, and C++26 Updates
discoverbsd.com·20h
🔍eBPF
Best 10 AI Coding Sites in 2025: Which One Should You Trust?
medium.com·18h·
Discuss: Hacker News
🚀Indie Hacking