Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·17h·
Discuss: Hacker News
✅Formal Verification
An introduction to program synthesis
mchav.github.io·5h·
Discuss: r/programming
✅Formal Verification
Compiling a Functional Language to LLVM
danieljharvey.github.io·2d·
Discuss: Lobsters, Hacker News
✅Formal Verification
Ripple: An LLVM compiler-interpreted API to support SPMD and loop annotat
discourse.llvm.org·22h·
Discuss: Lobsters, Hacker News, r/programming
🧠Computer Architecture
Issue 489
haskellweekly.news·16h·
Discuss: Hacker News
✅Formal Verification
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·1d·
Discuss: Hacker News
✅Formal Verification
The Data Backbone of LLM Systems
infoq.com·11h·
Discuss: Lobsters
✅Formal Verification
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
📦WebAssembly
A Tale from Database Performance at Scale: Rust and Driver Debugging
hackernoon.com·11h
🗄Database Systems
Improving state machine code generation
trifectatech.org·3d·
Discuss: Hacker News, r/rust
📦WebAssembly
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·1d·
Discuss: Lobsters, Hacker News, r/LocalLLaMA
⚡Performance Engineering
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🗄Database Systems
Program management update — August 2025
blog.rust-lang.org·1d·
Discuss: Hacker News, r/rust
🦀Rust
Object Reorientation: Generic Functions
gigamonkeys.com·1d·
Discuss: Hacker News
🔌Network Programming
Domain-Driven Design with TypeScript Decorators and Reflection
auslake.vercel.app·10h·
Discuss: r/programming
✅Formal Verification
C# Will Become F# – Gautier Talks About Microsoft Technology
gautiertalksmicrosoft.wordpress.com·8h·
Discuss: Hacker News
🔌Network Programming
Automating multi-language SDK doc generation with testable code snippets
docs.hatchet.run·5h·
Discuss: Hacker News
📦WebAssembly
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·6h·
Discuss: Hacker News
✅Formal Verification
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·4h·
Discuss: Substack
📦WebAssembly
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com·20h·
Discuss: Hacker News
🦀Rust