Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·6h·
Discuss: Hacker News
🧮Programming Language Theory
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
🧭SMT Solvers
Issue 489
haskellweekly.news·5h·
Discuss: Hacker News
⚙Functional Programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·14h·
Discuss: Hacker News
🧮Programming Language Theory
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·1h
⚙Functional Programming
Eskema: Composable, Ergonomic Runtime Data Validation for Dart Done Right!!
dev.to·5h·
Discuss: DEV
⚙Functional Programming
Compiling a Functional Language to LLVM
danieljharvey.github.io·2d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org·1d·
Discuss: Lobsters, Hacker News
🤝Protocol Design
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·13h
🔧Compiler Design
Show HN: Pgdbtemplate – fast PostgreSQL test databases in Go using templates
github.com·20h·
Discuss: Hacker News
🧩Theorem Proving
C++ Language Updates in MSVC Build Tools v14.50
devblogs.microsoft.com·1d·
Discuss: Hacker News, r/cpp
🔧Compiler Design
Continuous Improvement in LLM Code Generation
blogger.com·1d
🔧Compiler Design
Program management update — August 2025
blog.rust-lang.org·17h·
Discuss: Hacker News, r/rust
🦀Rust
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
🧩Theorem Proving
A fake Clojure Object equals to what you want
grishaev.me·17h
⚙Functional Programming
All You Need Is MCP – LLMs Solving a DEF Con CTF Finals Challenge
wilgibbs.com·7h·
Discuss: Hacker News
🔧Compiler Design
The Holy Grail of QA: 100% Test Coverage - A Developer's Mythical Quest
divinedevops.com·1h·
Discuss: r/programming
🔍Static Analysis
What's new in Kotlin 2.2.20
kotlinlang.org·1d·
Discuss: Lobsters, Hacker News
⚙Functional Programming
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·9h·
Discuss: Substack
🎲Probabilistic Programming
Charles Sanders Peirce, George Spencer Brown, and Me • 19
inquiryintoinquiry.com·1d
🔄Category Theory