Sudden changes in plans, and morning photos
refarmer.ca·2h
✅Formal Verification
NVIDIA Accelerated IO (XLIO)
docs.nvidia.com·2d·
Discuss: Hacker News
💧Ripple
Developer of the year
daniel.haxx.se·4h
🔧MLIR
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·3d
✅Formal Verification
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·10h·
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·10h·
Discuss: Hacker News
🔒Hardware Security
Weeknotes: Sept. 6-12, 2025
tracydurnell.com·20h
✅Formal Verification
Testando debounce e throttle no React com Jest [setTimeout]
dev.to·1d·
Discuss: DEV
📜Smart Contracts
I made my first plugin
reddit.com·1d·
Discuss: r/godot
🔧MLIR
Should I learn C, Rust, or Zig?
reddit.com·5d·
Discuss: r/AskProgramming
🔧MLIR
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
Just launched FlexKit, A free all-in-one toolbox for students, professionals & everyday use!
reddit.com·5h·
Discuss: r/webdev
🔗Crypto
🏆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·7h·
Discuss: DEV
📜Smart Contracts
python: printing, variables and data types
dev.to·3d·
Discuss: DEV
✅Formal Verification
I want something like Python's uv for c++
reddit.com·1d·
Discuss: r/cpp
🔧MLIR