Scaling asyncio on Free-Threaded Python
labs.quansight.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
👁️System Observability
Cliodynamics – History as Science
peterturchin.com·12h·
Discuss: Hacker News
⚡Process Calculi
SWE-Mirror: Scaling Issue-Resolving Datasets by Mirroring Issues Across Repositories
arxiv.org·1d
📦Unikernel Systems
Announcing compile_flagz: Better editor integration for your C/C++ projects using build.zig
simonhartcher.com·2d·
Discuss: Hacker News
❄️Nixified Development
Rust compiler performance survey 2025 results
blog.rust-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
❄️Nixified Development
Tool-space interference in the MCP era: Designing for agent compatibility at scale
microsoft.com·20h·
Discuss: Hacker News
👁️System Observability
Prompt Snapshot Testing
ninkovic.dev·3d·
Discuss: Hacker News
🧪Property-Based Testing
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·3d
🐫OCaml
AI Assistant for Statements, Invoices and Receipts
bankgpt.io·9h·
Discuss: Hacker News
✓Automated Theorem Proving
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·3d·
Discuss: Lobsters, Hacker News, r/golang
📐Denotational Semantics
Causal Artificial Intelligence [Free Textbook]
causalai-book.net·3d·
Discuss: Hacker News
📚Automata Learning
IO is special
blog.ploeh.dk·4d·
Discuss: Lobsters
💎Refinement Types
Findings from six months of running `govulncheck` in CI
brandur.org·23h·
Discuss: Hacker News
📊Runtime Verification
Rewriting Dataframes for MicroHaskell
mchav.github.io·4d·
Discuss: Hacker News, r/programming
🧮Lambda Calculus
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·18h
📚Automata Learning
Vibe Coding Fails Enterprise Reality Check
thenewstack.io·1d
🤖Program Synthesis
Contributions to Robust and Efficient Methods for Analysis of High Dimensional Data
arxiv.org·1d
➡️Category Theory
What I've been working on: Two AI SaaS on specific Niches
mirak004-refactorbiz.hf.space·2d·
Discuss: Hacker News
🔤DSLs
The subjective experience of coding in different programming languages
interconnected.org·2d·
Discuss: Hacker News
🐫Embedded OCaml
The Compounding Effect of Version Control Performance
diversion.dev·1d·
Discuss: Hacker News
🔧Unikernel Development