Advances In Formal Verification Technology
semiengineering.com·2d
🔍Chip Verification
Flag this post
Taking a Step Back from Ruby
sleepingpotato.com·2d
☁️Serverless Rust
Flag this post
Bedrock, a modular, WAN-replicated database based on SQLite
bedrockdb.com·11h·
Discuss: Hacker News
🗃️SQLite
Flag this post
Take-Home Exercises
justoffbyone.com·1d·
Discuss: Hacker News, r/programming
🧩Low-code
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
news.ycombinator.com·1d·
Discuss: Hacker News
✨vibe-coding
Flag this post
HTTP desync attacks: request smuggling reborn
portswigger.net·1d·
Discuss: Hacker News
🌐Axum
Flag this post
Show HN: A desktop app for managing multiple CI/CD pipelines
github.com·1d·
Discuss: Hacker News, r/devops, r/opensource
☁️Serverless Rust
Flag this post
Runs-On: Mac
runs-on-mac.com·1d·
Discuss: Hacker News
🧩Low-code
Flag this post
Building Effective Prompts and Workflows for Code Review with goose
dev.to·3d·
Discuss: DEV
🧩Low-code
Flag this post
How to organize your Rust tests
blog.logrocket.com·5d·
Discuss: Hacker News
🔌Embedded Rust
Flag this post
Antonio Cuni: Inside SPy, part 1: Motivations and Goals
antocuni.eu·3d·
Discuss: Hacker News
⚡Tokio
Flag this post
When the world zigs, zag: Chris Lattner, Jeremy Howard on craftsmanship and AI
staskus.io·16h·
Discuss: Hacker News
🧩Low-code
Flag this post
When APIs Become Attack Paths: What the Q3 2025 ThreatStats Report Tells Us
lab.wallarm.com·1d·
Discuss: Hacker News
☁️Serverless Rust
Flag this post
Will Developers Survive AI Takeover? Part 3: What Happens If You Stay Old School?
dev.to·6h·
Discuss: DEV
🧩Low-code
Flag this post
My Wishlist for PHP in 2026
stitcher.io·2d·
Discuss: Hacker News
λFunctional Programming
Flag this post
How to Data Engineer the ETLFunnel Way
dev.to·13h·
Discuss: DEV
☁️Serverless Rust
Flag this post
Show HN: The Best Tools To Ever Exist
github.com·19h·
Discuss: Hacker News
🌟cool github projects
Flag this post
Building from First Principles
marvinh.dev·2d·
Discuss: Hacker News
☁️Serverless Rust
Flag this post
Predictive Analytics: Seeing the Future of Your Systems
dev.to·15h·
Discuss: DEV
⏰Time-Series Analytics
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·1d·
Discuss: r/golang
λFunctional Programming
Flag this post