Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·1d·
Discuss: Hacker News
🛡️seL4
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·1d·
Discuss: r/programming
👁️System Observability
Kerberoasting
blog.cryptographyengineering.com·12h·
Discuss: Lobsters, Hacker News
🛡️seL4
You are not going to turn into Google eventually
idiallo.com·13h·
Discuss: Hacker News
🧱Immutable Infrastructure
Using Claude Code SDK to Reduce E2E Test Time by 84%
jampauchoa.substack.com·4d·
Discuss: Substack
🔄Reproducible Builds
The canonical agent architecture: A while loop with tools
braintrust.dev·3d·
Discuss: Hacker News
⚙Operational Semantics
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·2d
🎮Verification Games
An Interactive Guide to TanStack DB
frontendatscale.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
How I tell human and AI flash fiction apart
lesswrong.com·18h
⚡Process Calculi
The new compression algorithm is not like the standard ones
ferki-git-creator.github.io·3d·
Discuss: Hacker News
🧮Lambda Calculus
Scaffolding for production vibe coding
interjectedfuture.com·1d·
Discuss: Hacker News
🔬Static Analysis
Building a DOOM-like multiplayer shooter in pure SQL
cedardb.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🎮Verification Games
How OpenAI Operator Works with AI Agents
anchorbrowser.io·6h·
Discuss: Hacker News
🧠Automated Reasoning
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·1d
🎮Verification Games
Exceptions vs. Results
tifi.blog·4d·
Discuss: Hacker News
💎Refinement Types
I built an AI tool that converts invoices into clean Excel sheets
smartinvoice.tech·6h·
Discuss: Hacker News
🧠Automated Reasoning
Rust compiler performance survey 2025 results
blog.rust-lang.org·1d·
Discuss: Hacker News, r/rust
❄️Nixified Development
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·2d·
Discuss: Hacker News
💎Refinement Types
Best AI Coding Tools for Rust Projects: IDEs vs Terminals
shuttle.dev·2d·
Discuss: Hacker News
🤖Program Synthesis
Sui fobbed off my disclosure that nearly 40% of their validators are exposed
news.ycombinator.com·13h·
Discuss: Hacker News
📦Unikernel Systems