Mathematical Proofs, Boolean Logic, Constraint Satisfaction, Sudoku Variants

Even Numbers Are Tautologies
risingentropy.com·10h·
Discuss: Hacker News
🧩Riddles
Flag this post
Solving the NYTimes Pips puzzle with a constraint solver
blog.adafruit.com·3d
Code Golf
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·4d·
Discuss: Hacker News
Code Golf
Flag this post
Replenish your jigsaw puzzle stash with these 25 puzzles
modernmrsdarcy.com·19h
🧩Riddles
Flag this post
Some History of a Weighty Problem (repost from 2012)
pballew.blogspot.com·1h·
🧩Riddles
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·1d
🧩Riddles
Flag this post
Making Sense of Word Problems
kgmathminds.com·16h
🧩Riddles
Flag this post
Unlocking Logic's Secrets: BoolSkeleton – Streamlining Boolean Networks for Peak Performance by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
Code Golf
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
Code Golf
Flag this post
A QOJ week
blog.mitrichev.ch·1d·
Code Golf
Flag this post
Pop Song Math Quiz
mcsweeneys.net·19h
🧩Riddles
Flag this post
Today’s NYT ‘Pips’ Solutions And Walkthrough For Thursday November 6
forbes.com·1d
🚪Escape Rooms
Flag this post
After More Than Three Centuries, a Geometry Problem That Originated with a Royal Bet Is Solved
goodnewsnetwork.org·1d
🚪Escape Rooms
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
Code Golf
Flag this post
Dynamical Complexity of Non-Gaussian Many-Body Systems with Dissipation
journals.aps.org·7h
🔓Cipher History
Flag this post
r/mathematics
reddit.com·2d·
Discuss: r/mathematics
🧩Riddles
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·1d·
Discuss: Hacker News
🚪Escape Rooms
Flag this post
NYT Connections hints today: Clues, answers for November 7, 2025
mashable.com·5h
🧩Riddles
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·15h·
Discuss: Hacker News
Code Golf
Flag this post