Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·2d·
Discuss: Hacker News
🔢Mathematical Logic
RELEASING KARL DOCS
karldocs.netlify.app·14h·
Discuss: DEV
🔗Parser Combinators
AlphaEvolve
rawveg.substack.com·15h·
Discuss: DEV
🎲Probabilistic Programming
CantorCipher: A Personal Encryption Project Inspired by Cantor’s Diagonal Argument
dev.to·10h·
Discuss: DEV
🔐Cryptography
Introduction to Supervised Machine Learning for Beginners
github.com·18h·
Discuss: DEV
🎲Probabilistic Programming
Step3
stepfun.ai·2d·
Discuss: Hacker News
🏗Computer Architecture
New comment by averagecoderbob in "Ask HN: Who wants to be hired? (August 2025)"
robertweckstein.com·1d·
Discuss: Hacker News
🔌Network Programming
Understanding the KNN Algorithm: Finding Your Nearest Neighbors
dev.to·1d·
Discuss: DEV
🕸️Graph Theory
AI Thinking, Fast and Slow
danmu.nz·4h·
Discuss: Hacker News
⚖️Logic Programming
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
🔧Compiler Design
Perfect Graph Modification Problems: An Integer Programming Approach
arxiv.org·3d
🕸️Graph Theory
You're probably not learning with AI
aryas.dev·18h·
Discuss: Hacker News
🧩Theorem Proving
Tropical solution of discrete best approximation problems
arxiv.org·2d
🎲Probabilistic Programming
Build a Kanban Board in Minutes with GenosDB
genosdb.com·10h·
Discuss: Hacker News
📝Lisp
Trying to Build an AI Tutor in 20 Days With Just Basic Python — What Tools Should I Use?
reddit.com·10h·
Discuss: r/AskProgramming
🧩Theorem Proving
Onboarding for Coding Agents
fuzzycomputer.com·12h·
Discuss: Hacker News
🧩Theorem Proving
The Observer Effect for belief measurement
lesswrong.com·12h
🎲Probabilistic Programming
Understanding Budget Planning: A Step-by-Step Definition
smallbiztrends.com·2d
💭Prolog
Cogito V2 Preview
deepcogito.com·2d·
Discuss: Hacker News
⚖️Logic Programming
Show HN: Gomoku game in JavaScript (GitHub and live demo)
github.com·11h·
Discuss: Hacker News, r/javascript
⚖Algorithmic Game Theory