Deliberate Abstraction
entropicthoughts.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🤖Program Synthesis
Outcome-based Exploration for LLM Reasoning
arxiv.org·1d·
Discuss: Hacker News
📚Automata Learning
AI Testing Tools in 2025: What works and what doesn’t
bug0.com·1d·
Discuss: r/programming
👁️System Observability
Strange Attractors
blog.shashanktomar.com·12h·
Discuss: Hacker News
🩹Self-Healing Systems
Investigating IntelliJ Platform UI Freezes
blog.jetbrains.com·18h·
Discuss: Hacker News
👁️System Observability
The Subtle Art of Taming Flows and Coroutines in Kotlin, or 'How Not to DDoS Yourself with Server-Sent Events'
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
🌐NetworkProtocols
Stability Analysis for Stochastic Hybrid Inclusions
arxiv.org·2d
🩹Self-Healing Systems
How to (and Not to) Manipulate Transformers: A Logic-First Guide
lightcapai.medium.com·12h·
Discuss: Hacker News
✓Automated Theorem Proving
When should you use an actor?
massicotte.org·3d·
Discuss: Lobsters, Hacker News
🌐NetworkProtocols
Embedding Poisoning: Bypassing Safety Alignment via Embedding Semantic Shift
arxiv.org·1d·
Discuss: Lobsters
🧩Parser Combinators
Reciprocate, a Sweet Solution for Making HTML Web Components Reactive
thathtml.blog·1d·
Discuss: Hacker News
📊Runtime Verification
I replaced Animal Crossing's dialogue with a live LLM by hacking GameCube memory
joshfonseca.com·3h·
Discuss: Hacker News
💾Retro Computing
Parameters and binding forms should be mutually recursive
samestep.com·4d·
Discuss: Hacker News
🐫OCaml
What is your take on Event Sourcing? How hard was it for you to get started?
martinfowler.com·21h·
Discuss: r/programming
👁️System Observability
Prompt Snapshot Testing
ninkovic.dev·1d·
Discuss: Hacker News
🧪Property-Based Testing
Famulor AI Call Center: Multi-Calendar Support
docs.famulor.io·7h·
Discuss: Hacker News
✓Automated Theorem Proving
High Dimensional Optimization Remains Hard
win-vector.com·1d·
Discuss: Hacker News
🏹Effect Systems
Q-SafeML: Safety Assessment of Quantum Machine Learning via Quantum Distance Metrics
arxiv.org·2d
✅Model Checking
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🧩Separation Logic
IO is special
blog.ploeh.dk·2d·
Discuss: Lobsters
💎Refinement Types