Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·13h
⚙Functional Programming
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·18h·
Discuss: Hacker News
🧮Programming Language Theory
Qwen3-Next-80B-A3B - a big step up may be the best open source reasoning model so far
reddit.com·1h·
Discuss: r/LocalLLaMA
🧭SMT Solvers
An introduction to program synthesis
mchav.github.io·5h·
Discuss: r/programming
🔧Compiler Design
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·21h·
Discuss: Substack
🎲Probabilistic Programming
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
🧩Theorem Proving
The Data Backbone of LLM Systems
infoq.com·12h·
Discuss: Lobsters
🔧Compiler Design
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·11h
🧭SMT Solvers
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🎯Constraint Programming
Speculative cascades — A hybrid approach for smarter, faster LLM inference
research.google·7h·
Discuss: Hacker News
🎲Probabilistic Programming
Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge
arxiv.org·1d
🔧Compiler Design
Human vs. AI in Logic Tasks: a Study
dailynous.com·2d
🧩Theorem Proving
Issue 489
haskellweekly.news·17h·
Discuss: Hacker News
⚙Functional Programming
Being in the Linux Kernel Mentorship
bharadwaj-raju.github.io·9h·
Discuss: r/linux
🔌Network Programming
Dynamically Weighted Governance Simulation for Enhanced Organizational Resilience
dev.to·19h·
Discuss: DEV
⚖Algorithmic Game Theory
neeed help for amazon interview for ML engineer
amazon.jobs·2h·
Discuss: r/compsci
🧮Programming Language Theory
[P] Semlib: LLM-powered Data Processing
reddit.com·13h·
Discuss: r/MachineLearning
🧭SMT Solvers
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com·3h
🎲Probabilistic Programming
XAI: Graph Neural Networks
pub.towardsai.net·13h
🕸️Graph Theory
Observe live SQL queries in Go with DTrace
gaultier.github.io·19h·
Discuss: r/golang
🔍Static Analysis