Making Illegal States Unrepresentable in Kotlin
dev.to·18h·
Discuss: DEV
⚙Functional Programming
The Baby Paradox in Haskell
blog.jle.im·16h·
Discuss: Lobsters, Hacker News
🧮Programming Language Theory
Improvements to OCaml code editing: the basics of a refactor engine
tarides.com·1d·
Discuss: Lobsters, Hacker News
🔧Compiler Design
A Post-Mortem on Optimizing a C++ Text Deduplication Engine for LLM: A 100x Speedup and 4 Hellish Bugs (OpenMP, AVX2, string_view, Unicode, Vector Database)
reddit.com·2h·
Discuss: r/cpp
🔧Compiler Design
How to Perform Comprehensive Large Scale LLM Validation
towardsdatascience.com·7h
🧩Theorem Proving
Constrained Decoding for Diffusion LLMs
constrained-diffusion.ai·22h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·4d
🧩Theorem Proving
Switch Statements
learn.microsoft.com·1d·
Discuss: DEV
⚙Functional Programming
Taming Concurrency: A New Era of Debugging Multithreaded Code
semiwiki.com·16h
🔍Static Analysis
How to Get People Excited about Functional Programming • Russ Olsen & James Lewis • GOTO 2024
youtube.com·21h
⚙Functional Programming
Can AI weaponize new CVEs in under 15 minutes?
valmarelox.substack.com·5h·
Discuss: Substack
🔍Static Analysis
Show HN: Online equivalence checker for JavaScript RegExp
gruhn.github.io·1d·
Discuss: Hacker News
🧭SMT Solvers
Simpler Category Theory
ryanbrewer.dev·1d·
Discuss: Hacker News
🔄Category Theory
GRILE: A Benchmark for Grammar Reasoning and Explanation in Romanian LLMs
arxiv.org·1d
🔗Parser Combinators
A practical introduction to parsing in Rust
jhwlr.io·2d·
Discuss: r/rust
🔧Compiler Design
CRYSTALS - The Gently Introduction
dev.to·15h·
Discuss: DEV
🔐Cryptography
Sapir-Whorf does not apply to Programming Languages
buttondown.com·20h·
Discuss: Hacker News
🧮Programming Language Theory
Automated Beam-On-Time Chipset Validation via Hyperdimensional Semantic Analysis
dev.to·2d·
Discuss: DEV
🔍Static Analysis
Modelling Exactly-Once Delivery Using TLA+
medium.com·4d·
Discuss: Hacker News
🤝Protocol Design
Show HN: Making Postgres Self-Describing for LLMs with a Semantic Catalog
tigerdata.com·13h·
Discuss: Hacker News
🧩Theorem Proving