Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🎯Constraint Programming
Verification power of rational-valued automata with deterministic and affine states
arxiv.org·1d
✅Formal Verification
Lessons from Studying Two-Hop Latent Reasoning
lesswrong.com·11m
🧭SMT Solvers
Improved Algorithm for <em>d</em>-Minimal Cuts in Reliability Evaluation of Multi-state Flow Networks
sciencedirect.com·38m
🕸️Graph Theory
Automated Adaptive Learning Pathway Generation via Dynamic Knowledge Graph Optimization
dev.to·10h·
Discuss: DEV
🧩Theorem Proving
Issue 489
haskellweekly.news·6h·
Discuss: Hacker News
⚙Functional Programming
Meta-abstraction in the physical and social sciences (2021)
edwardfeser.blogspot.com·1h·
Discuss: Hacker News
🧮Programming Language Theory
Defeating Nondeterminism in LLM Inference
simonwillison.net·11h
🎲Probabilistic Programming
Quantum Algorithm Zoo
quantumalgorithmzoo.org·18h·
Discuss: Hacker News
🔐Cryptography
Using C++ STL functions instead of loops – EasyHack
dev.blog.documentfoundation.org·3h
⚙Functional Programming
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·2h
⚙Functional Programming
Fenwick layout for interval trees
purplesyringa.moe·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Management
Building a shared world with systems we don't understand–what could go wrong?
syntheticauth.ai·5h·
Discuss: Hacker News
🤝Protocol Design
Depth-Bounded Epistemic Planning
arxiv.org·14h
🔢Mathematical Logic
Clarita PNP Resolution: A Constructive Proof and Operational Solution Framework
reddit.com·2d·
Discuss: r/compsci
🧩Theorem Proving
CONGRATULATIONS TO PROFESSOR VICTOR DE LA PENA’S FOUNDATIONAL WORK AS MOST-READ IN THE ANNALS OF PROBABILITY
stat.columbia.edu·4h
🎲Probabilistic Programming
Hash Collision Probabilities
preshing.com·47m·
Discuss: Hacker News
🎲Probabilistic Programming
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·15h·
Discuss: Hacker News
🧮Programming Language Theory
Human vs. AI in Logic Tasks: a Study
dailynous.com·2d
🧩Theorem Proving
The Data Backbone of LLM Systems
infoq.com·1h·
Discuss: Lobsters
🔧Compiler Design