Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·7h·
Discuss: Hacker News
🐫OCaml
The Data Backbone of LLM Systems
infoq.com·1h·
Discuss: Lobsters
🧩Parser Combinators
Issue 489
haskellweekly.news·6h·
Discuss: Hacker News
🔠Type-Level Programming
Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
arxiv.org·14h
🛡️seL4
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·16h·
Discuss: Hacker News
💎Refinement Types
The Rise of Async Programming
braintrust.dev·6h·
Discuss: Hacker News
🤖Program Synthesis
Adventures in C++ Game Architecture
hoboker.substack.com·2d·
Discuss: Substack, r/programming
🧱Immutable Infrastructure
Improving state machine code generation
trifectatech.org·2d·
Discuss: r/rust
🐫Embedded OCaml
Allocations Are a Dependency
clipperhouse.com·1d·
Discuss: Hacker News
🧩Separation Logic
Bypassing WAFs for Fun and JavaScript Injection with Parameter Pollution
blog.ethiack.com·5h·
Discuss: Hacker News
🌐NetworkProtocols
Object Reorientation: Generic Functions
gigamonkeys.com·17h·
Discuss: Hacker News
🧮Lambda Calculus
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
🔍Formal Verification
Understanding Log Events: Why Context Is Key
thenewstack.io·38m
📊Runtime Verification
The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·2h·
Discuss: r/programming
🔄Reproducible Builds
Karate – Test Automation Made Simple
karatelabs.github.io·1d·
Discuss: Hacker News
❄️Nixified Development
Program management update — August 2025
blog.rust-lang.org·18h·
Discuss: Hacker News, r/rust
🐫OCaml
Trial and Error Driven Development
stevenoxley.com·21h·
Discuss: Hacker News
🎮Verification Games
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·10h·
Discuss: Hacker News
🧩Parser Combinators
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
✓Automated Theorem Proving
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
🐫OCaml