Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·1d·
Discuss: Hacker News
🧮Programming Language Theory
Many hard LeetCode problems are easy constraint problems
dev.to·8h·
Discuss: DEV
🎯Constraint Programming
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·1d
⚙Functional Programming
Choosing Rust for LLM-generated code
runmat.org·16h·
Discuss: Hacker News
🔧Compiler Design
From Legal Documents to Knowledge Graphs
neo4j.com·29m·
Discuss: Hacker News
🔗Parser Combinators
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·3h·
Discuss: Hacker News
🧮Programming Language Theory
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·2d
🔧Compiler Design
K2-Think: A Parameter-Efficient Reasoning System
arxiviq.substack.com·18h·
Discuss: Substack
🧭SMT Solvers
The Capability-Tractability Tradeoff (2023)
buttondown.com·13h·
Discuss: Hacker News
🧮Programming Language Theory
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🔧Compiler Design
Context Pruning in Conversational Agent
poonai.xyz·2d·
Discuss: Hacker News
⚖️Logic Programming
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·10h
🧭SMT Solvers
MiniRust
github.com·10h·
Discuss: Hacker News
🦀Rust
OSD600 #2: Let the show begin...
dev.to·6h·
Discuss: DEV
🦀Rust
Designing software architecture for parallel AI sessions
rashidazarang.com·2d·
Discuss: Hacker News
⚡Concurrency
The future of microoptimization
goldenstack.net·6h·
Discuss: Hacker News
🏗Computer Architecture
Why would I pay $200/hr for a tutor…
threadreaderapp.com·22h
🔢Mathematical Logic
Deploy a lightweight AI model with AI Inference Server containerization
developers.redhat.com·1d
🎲Probabilistic Programming
The Alchemist's Endgame: My Final Synthesis of p-adic Clojure and Legacy Code.
dev.to·20h·
Discuss: DEV
🔗Parser Combinators
Are our interview questions too difficult?
reddit.com·18h·
Discuss: r/SoftwareEngineering
📈Complexity Theory