Know Your Assets, Know Your Normal: A Practical Guide to OT Baselining
emberot.com·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Ask HN: Do professional photographers need hardware-level image authentication?
news.ycombinator.com·1d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Is 'human' a risky AGI target
nullsy.com·14h·
Discuss: Hacker News
📚Automata Learning
Flag this post
AI Agents in 2025: A Practical Guide for Developers
dev.to·1d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.org·3d·
Discuss: Hacker News
🔬Static Analysis
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·2d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·1d·
Discuss: DEV
🏃Escape Analysis
Flag this post
Writing an Asciidoc Parser in Rust: Asciidocr
bikesbooksandbullshit.com·11h·
Discuss: Hacker News
🔨Compilers
Flag this post
Vibe-Spec: Generate Specifications from Coding Agent Logs
marmelab.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·1d
❄️Nixified Development
Flag this post
Touring_test: A Cucumber Extension for Agentic Usability Testing
worksonmymachine.ai·1d·
Discuss: Hacker News
🧪Concolic Testing
Flag this post
Cognotik: A New FOSS AI Coding Assistant. For JetBrains IDEs
github.com·13h·
Discuss: Hacker News
🔧DevOps
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🧪Property-Based Testing
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
reddit.com·18h·
Discuss: r/programming
🌐ActivityPub
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·2h·
Discuss: Substack
🔀OCaml Multicore
Flag this post
A portable picokernel for async I/O
ryansepassi.com·1d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
How to design effective agent workflows?
boliv.substack.com·1d·
Discuss: Substack
💎Refinement Types
Flag this post
The Pharmacist's Guide to Becoming a Developer: Skills That Transfer
dev.to·2d·
Discuss: DEV
📊Runtime Verification
Flag this post
MCP Security: Navigating the Exploit Playbook for Agent
dev.to·1d·
Discuss: DEV
🛡️macOS Security
Flag this post