Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1h·
Discuss: Hacker News
🐫OCaml
Issue 489
haskellweekly.news·19m·
Discuss: Hacker News
🔠Type-Level Programming
RAFFLES: Reasoning-based Attribution of Faults for LLM Systems
arxiv.org·2d
🧠Automated Reasoning
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·9h·
Discuss: Hacker News
💎Refinement Types
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·17h·
Discuss: Hacker News
🧩Separation Logic
Trial and Error Driven Development
stevenoxley.com·15h·
Discuss: Hacker News
🎮Verification Games
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·4h·
Discuss: Hacker News
🧩Parser Combinators
Object Reorientation: Generic Functions
gigamonkeys.com·11h·
Discuss: Hacker News
🧮Lambda Calculus
Karate – Test Automation Made Simple
karatelabs.github.io·21h·
Discuss: Hacker News
❄️Nixified Development
Program management update — August 2025
blog.rust-lang.org·12h·
Discuss: Hacker News, r/rust
🐫OCaml
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·22h·
Discuss: Hacker News, r/cpp
🐫OCaml
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
🔍Formal Verification
The bloat of edge-case first libraries
43081j.com·1d·
Discuss: Lobsters, Hacker News
💎Refinement Types
Effects as Capabilities in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News
🏹Effect Systems
Creating larger projects with LLM (as a coder)
medium.com·3h·
Discuss: Hacker News
🛡️seL4
Designing software architecture for parallel AI sessions
rashidazarang.com·16h·
Discuss: Hacker News
🛡️seL4
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·5h·
Discuss: Lobsters, Hacker News
⚙️PL Implementation