Mathematical Proofs, Boolean Logic, Constraint Satisfaction, Sudoku Variants

Even Numbers Are Tautologies
risingentropy.com·1h·
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·10h
🧩Riddles
Flag this post
Making Sense of Word Problems
kgmathminds.com·7h
🧩Riddles
Flag this post
An ARENA 6.0 Capstone: Model Organism of Encoded Reasoning
lesswrong.com·23h
🧩Riddles
Flag this post
Unlocking Logic's Secrets: BoolSkeleton – Streamlining Boolean Networks for Peak Performance by Arvind Sundararajan
dev.to·23h·
Discuss: DEV
Code Golf
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
Code Golf
Flag this post
A QOJ week
blog.mitrichev.ch·1d·
Code Golf
Flag this post
Pop Song Math Quiz
mcsweeneys.net·9h
🧩Riddles
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
Today’s NYT ‘Pips’ Solutions And Walkthrough For Thursday November 6
forbes.com·23h
🚪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
r/mathematics
reddit.com·2d·
Discuss: r/mathematics
🧩Riddles
Flag this post
Making Conway's Game of Life Playable
blog.unsupervision.com·22h·
Discuss: Hacker News
🚪Escape Rooms
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·6h·
Discuss: Hacker News
Code Golf
Flag this post
Handbook of Satisfiability (2021)
iospress.com·4d·
Discuss: Hacker News
🧩Riddles
Flag this post
Inquiries-Week 5: Triangles Emerge
fractalkitty.com·14h
Code Golf
Flag this post
The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·22h·
Discuss: Hacker News
Code Golf
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·1d
Code Golf
Flag this post