Sudden changes in plans, and morning photos
refarmer.ca·4h
✅Formal Verification
Developer of the year
daniel.haxx.se·6h
🔧MLIR
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·2d·
Discuss: Hacker News
💧Ripple
Gauss, an Agent for Autoformalization
math.inc·2d·
Discuss: Hacker News, Hacker News, Hacker News
✅Formal Verification
Show HN: Libcurl.js – libcurl in WASM for end-to-end encrypted CORS proxies
libcurl.js.org·12h·
Discuss: Hacker News
🔗Crypto
New comment by symbolic_nature in "Ask HN: Who wants to be hired? (September 2025)"
drive.google.com·4d·
Discuss: Hacker News
✅Formal Verification
486Tang – 486 on a credit-card-sized FPGA board
nand2mario.github.io·12h·
Discuss: Hacker News
🔒Hardware Security
Weeknotes: Sept. 6-12, 2025
tracydurnell.com·22h
✅Formal Verification
Level editor made in godot!
youtube.com·1d·
Discuss: r/godot
🔗Crypto
Testando debounce e throttle no React com Jest [setTimeout]
dev.to·1d·
Discuss: DEV
📜Smart Contracts
The Art of Debugging
dev.to·1d·
Discuss: DEV
✅Formal Verification
I’m 20, close to becoming a Rust compiler team member - what would you do in my place?
reddit.com·4d·
Discuss: r/rust
🔧MLIR
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·3d·
Discuss: Hacker News
📜Smart Contracts
python: printing, variables and data types
dev.to·3d·
Discuss: DEV
✅Formal Verification
🏆001. Wins of my week🏆
dev.to·1d·
Discuss: DEV
🔧MLIR
Help me to learn a roadmap for kubernets
reddit.com·2d·
Discuss: r/kubernetes
🔄Protocol Design
Building Dark Mode & Dynamic Theming with Kotlin & Jetpack Compose: Advanced Settings, DataStore & Color Management
dev.to·9h·
Discuss: DEV
📜Smart Contracts
I want something like Python's uv for c++
reddit.com·1d·
Discuss: r/cpp
🔧MLIR
Python and JSON: Your Guide to Speaking the Web's Language
dev.to·2d·
Discuss: DEV
🔗Crypto
Aspiring indie game devs, how do you keep yourself motivated in this day and age?
reddit.com·12h·
Discuss: r/gamedev
✅Formal Verification