Rust Support Now in Beta
socket.dev·1h·
Discuss: Hacker News
❄️Nixified Development
When more threads make things worse
ordep.dev·18h·
Discuss: Hacker News, r/programming
⚙️Operating System Design
Scaffolding for production vibe coding
interjectedfuture.com·1d·
Discuss: Hacker News
⚙Operational Semantics
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🧠Automated Reasoning
Real-Time Detection of Hallucinated Entities in Long-Form Generation
hallucination-probes.com·20h·
Discuss: Hacker News
📚Automata Learning
Shape Checking for Annotated Tensor Names
github.com·20h·
Discuss: Hacker News
🐫OCaml
How We Built Our Model-Agnostic Agent for Log Analysis
blog.runreveal.com·1d·
Discuss: Hacker News
📊Runtime Verification
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·1d·
Discuss: Lobsters, Hacker News, r/LocalLLaMA
🧮Lambda Calculus
Stop Outsourcing Thinking
vaibhawvipul.github.io·13h·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·8h·
Discuss: Hacker News
🛡️seL4
Perl Rebounds In TIOBE Index - Why?
i-programmer.info·1d·
Discuss: Hacker News, r/programming
🔤DSLs
Low-Resource Fine-Tuning for Multi-Task Structured Information Extraction with a Billion-Parameter Instruction-Tuned Model
arxiv.org·14h
🧩Parser Combinators
Compiling a Functional Language to LLVM
danieljharvey.github.io·2d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
A layered architecture for log analysis in complex IT systems
arxiv.org·14h
👁️System Observability
What's new in Kotlin 2.2.20
kotlinlang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💎Refinement Types
DeepCodeBench: Real-World Codebase Understanding by Q&A Benchmarking
qodo.ai·9h·
Discuss: Hacker News
🧩Parser Combinators
Semlib: LLM-powered Data Processing
anishathalye.com·18h·
Discuss: Lobsters
🧩Parser Combinators
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·5h·
Discuss: Hacker News
🩹Self-Healing Systems
Using Haskell in Production
agentultra.com·2d·
Discuss: Hacker News
🔠Type-Level Programming
You Can Just Do Things
elite-ai-assisted-coding.dev·1d·
Discuss: Hacker News
✓Automated Theorem Proving