Creating larger projects with LLM (as a coder)
medium.com·6h·
Discuss: Hacker News
🛡️seL4
Impulse, Airbnb’s New Framework for Context-Aware Load Testing
infoq.com·2h·
Discuss: r/programming
📊Runtime Verification
Performance Improvements in .NET 10
devblogs.microsoft.com·1d·
Discuss: Lobsters, Hacker News, r/programming
📊Runtime Verification
Moldable Development: shaping tools to fit the context of your code
moldabledevelopment.com·48m·
Discuss: Hacker News
🧱Immutable Infrastructure
An Inline Cache Isn't Just a Cache
mgaudet.ca·18h·
Discuss: Hacker News
💎Refinement Types
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·18h·
Discuss: Hacker News
🧪Property-Based Testing
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·23h·
Discuss: Hacker News, r/rust
🧮Lambda Calculus
Designing software architecture for parallel AI sessions
rashidazarang.com·19h·
Discuss: Hacker News
🛡️seL4
Collecting my thoughts about notation and user interfaces
interconnected.org·1h·
Discuss: Hacker News
🔄Finite State Machines
Rich Answered That
gist.github.com·1d·
Discuss: Lobsters, Hacker News
🧮Lambda Calculus
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧠Automated Reasoning
Show HN: Carimbo now have a better stack trace and Sentry integration
nullonerror.org·3h·
Discuss: Hacker News
🔄Reproducible Builds
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·2h·
Discuss: Hacker News
🩹Self-Healing Systems
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·37m·
Discuss: Hacker News
➡️Category Theory
When more threads make things worse
ordep.dev·14h·
Discuss: Hacker News, r/programming
⚙️Operating System Design
Scaffolding for production vibe coding
interjectedfuture.com·1d·
Discuss: Hacker News
⚙Operational Semantics
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·17h·
Discuss: Hacker News
📚Automata Learning
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·23h·
Discuss: Hacker News
📊Runtime Verification
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·22h·
Discuss: Hacker News, r/LocalLLaMA
🧮Lambda Calculus
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·5h·
Discuss: Hacker News
🛡️seL4