Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧭SMT Solvers
Architecting Resilient LLM Agents: A Guide to Secure Plan-then-Execute Implementations
arxiv.org·11h
🧩Theorem Proving
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·3h·
Discuss: Hacker News
🧮Programming Language Theory
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·7h·
Discuss: Substack
🎲Probabilistic Programming
Show HN: Implementation and ablation of the Hierarchical Reasoning Model (HRM)
github.com·1d·
Discuss: Hacker News
🎲Probabilistic Programming
How to Build an AI Budget-Planning Optimizer for Your 2026 CAPEX Review: LangGraph, FastAPI, and n8n
towardsdatascience.com·1d
🎲Probabilistic Programming
Dynamically Weighted Governance Simulation for Enhanced Organizational Resilience
dev.to·5h·
Discuss: DEV
⚖Algorithmic Game Theory
Undecidability of Tiling with a Tromino
arxiv.org·1d
⚙Functional Programming
Human vs. AI in Logic Tasks: a Study
dailynous.com·2d
🧩Theorem Proving
Depth-Bounded Epistemic Planning
arxiv.org·11h
🔢Mathematical Logic
Day 3/365 Days Full Stack Challenge: Organizing Information - Creating Lists in HTML
dev.to·1h·
Discuss: DEV
🧮Programming Language Theory
Context Pruning in Conversational Agent
poonai.xyz·1d·
Discuss: Hacker News
🧩Theorem Proving
[Help] Complex University Course Scheduling - Need Staff Assignment Algorithm/Tool
reddit.com·1d·
Discuss: r/AskProgramming
📈Complexity Theory
Defeating Nondeterminism in LLM Inference
simonwillison.net·8h
🎲Probabilistic Programming
These 3 Excel functions make me feel like a spreadsheet wizard
makeuseof.com·1d
📝Lisp
Automated daily Quordle solver using an LLM
flowtwo.io·1h·
Discuss: Hacker News
⚖️Logic Programming
From Eigenmodes to Proofs: Integrating Graph Spectral Operators with Symbolic Interpretable Reasoning
arxiv.org·1d
🔢Mathematical Logic
From static to adaptive: Scaling AI reasoning without the waste
nordot.app·1d
⚖️Logic Programming
Six Simple Sudoku Solvers I: Python (Reference)
blog.veitheller.de·3d
🧭SMT Solvers
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·12h·
Discuss: Hacker News
🧮Programming Language Theory