Codex CLI: OpenAI's Lightweight Terminal Coding Agent Reborn
elite-ai-assisted-coding.dev·1h·
Discuss: Hacker News
🐳Containerization
A type system for RCL (2024)
ruudvanasseldonk.com·2d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Lessons from football coaching applied to software development
talkflow.substack.com·5h·
Discuss: r/compsci, r/programming
🔄Reproducible Builds
Words are lossy compressor, LMs speaks in meanings
ruikai.posthaven.com·20m·
Discuss: Hacker News
📚Automata Learning
Preachers are using AI to write sermons. Is God angry?
chiefwordofficer.substack.com·4h·
Discuss: Substack
🧩Parser Combinators
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·1d
🧩Parser Combinators
The quiet software tooling Renaissance
pdx.su·1d·
Discuss: Hacker News
🔄Reproducible Builds
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·1d
🧩Parser Combinators
Show HN: I Used RAG and Power Automate to Turn User Story to Tech Spec and Tasks
medium.com·1h·
Discuss: Hacker News
🤖Program Synthesis
Tradeoffs of Highly-Expressive Types
jnkr.tech·2d·
Discuss: Hacker News
🔠Type-Level Programming
R-4B: Incentivizing General-Purpose Auto-Thinking Capability in MLLMs via Bi-Mode Annealing and Reinforce Learning
arxiv.org·1d
📚Automata Learning
2025-09-01: Let's write a peephole optimizer for QBE's arm64 backend
briancallahan.net·1d·
Discuss: Hacker News
🐫Embedded OCaml
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·21h·
Discuss: Hacker News
🧩Parser Combinators
Demangling the Details: Symbol Resolution in Rusty Trap
system.joekain.com·6h·
Discuss: Hacker News
🐫Embedded OCaml
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·1d·
Discuss: Hacker News
👁️System Observability
How to Test
matklad.github.io·1d·
Discuss: Hacker News, Hacker News
🧪Property-Based Testing
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·1d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Sharing Is Scaring: Linking Cloud File-Sharing to Programming Language Semantics
cs.brown.edu·2d·
Discuss: Hacker News
🌐NetworkProtocols
Vibe-Coding as We Need to Eat Our Own Dog Food
kevinkuipers.substack.com·9h·
Discuss: Substack
🧱Immutable Infrastructure