Constraint Catalog
sofdem.github.io·1d
🧩Theorem Proving
News for July 2025
ptreview.sublinear.info·16h
⚖Algorithmic Game Theory
The Rubik's Cube Perfect Scramble
solutionslookingforproblems.com·1h·
Discuss: Hacker News
📈Complexity Theory
Introduction to Supervised Machine Learning for Beginners
dev.to·7h·
Discuss: DEV
🎲Probabilistic Programming
Trustworthy Reasoning: Evaluating and Enhancing Factual Accuracy in LLM Intermediate Thought Processes
arxiv.org·1d
🔢Mathematical Logic
Machine learning by satisfiability solving
johndcook.com·1d
📈Complexity Theory
Solving Dispatch in a Ridesharing Problem Space
eng.lyft.com·1d
📈Complexity Theory
From Zero to Sudoku Hero: An RL Adventure
cerebras.ai·1d
📈Complexity Theory
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·2d·
Discuss: Hacker News
🔧Compiler Design
The Art of Multiprocessor Programming 2nd Edition Book Club
eatonphil.com·2h·
Discuss: Hacker News
⚡Concurrency
Cactus Language • Pragmatics 7
inquiryintoinquiry.com·1d
🧮Programming Language Theory
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·3d·
Discuss: Hacker News
🔢Mathematical Logic
Research Areas in AI Control (The Alignment Project by UK AISI)
lesswrong.com·1d
🎲Probabilistic Programming
Lamport's Byzantine Generals Algorithm in Python
bytepawn.com·3h·
Discuss: Hacker News
📈Complexity Theory
The Comprehensive Guide to Knowledge Graphs
agilelab.it·1d·
Discuss: Hacker News
🕸️Graph Theory
❤️ Beginners guide to "Leetcode 2561: Rearranging Fruits"(C++ | JavaScript | Python)
dev.to·12h·
Discuss: DEV
🔧Compiler Design
EP174: 16 Coding Patterns That Make Interviews Easy
blog.bytebytego.com·16m
🔌Network Programming
399. Evaluate Division
dev.to·3d·
Discuss: DEV
🔢Mathematical Logic
Understanding Budget Planning: A Step-by-Step Definition
smallbiztrends.com·1d
💭Prolog
Parallel Programming Models
ayushgundawar.me·9h·
Discuss: Hacker News
🏗Computer Architecture