This Week in Security: Vibecoding, Router Banning, and Remote Dynamic Dependencies
hackaday.com·12h
🛡️macOS Security
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
λFunctional Programming
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Know Your Assets, Know Your Normal: A Practical Guide to OT Baselining
emberot.com·1h·
Discuss: Hacker News
📊Runtime Verification
Flag this post
AI Agents in 2025: A Practical Guide for Developers
dev.to·2h·
Discuss: DEV
🤖Program Synthesis
Flag this post
How to design effective agent workflows?
boliv.substack.com·12h·
Discuss: Substack
💎Refinement Types
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·12h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.to·1d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·18h·
Discuss: DEV
🏃Escape Analysis
Flag this post
A portable picokernel for async I/O
ryansepassi.com·5h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Do Not Step Into the Same River Twice: Learning to Reason from Trial and Error
arxiv.org·1d
📚Automata Learning
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
What are you doing this weekend?
lobste.rs·14h·
Discuss: Lobsters
📝Nix Language
Flag this post
Oops, My UUIDs Collided
alexsci.com·13h·
Discuss: Hacker News
🎯GADT
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
The Pharmacist's Guide to Becoming a Developer: Skills That Transfer
dev.to·18h·
Discuss: DEV
📊Runtime Verification
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·2d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·12h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·9h·
Discuss: r/golang
🎯GADT
Flag this post
Esp-hal 1.0.0 release announcement
developer.espressif.com·1d·
Discuss: Hacker News, Hacker News, r/embedded, r/rust
🏗️Dune
Flag this post