Mathematical Proofs, Boolean Logic, Constraint Satisfaction, Sudoku Variants

📚 Thanksgiving Sale: ALL Print Books Discounted! 📚
denisegaskins.com·22h
🚪Escape Rooms
Flag this post
The Pioneers of Computational Physics
physicsworld.com·1d·
Discuss: Hacker News
🔓Cipher History
Flag this post
Re: A Science Fantasy Worldbuilding Project
forum.melonland.net·1d
🚪Escape Rooms
Flag this post
Drake: Model-Based Design and Verification for Robotics
drake.mit.edu·1d
Code Golf
Flag this post
The Ungame
en.wikipedia.org·2d·
Discuss: Hacker News
🚪Escape Rooms
Flag this post
Why Generative AI Struggles with Math (and How to Fix It)
christopherspenn.com·22h·
Discuss: Hacker News
Code Golf
Flag this post
'Final Fantasy Mystic Quest' Just Got A New Playable Demo For Your Sega Mega Drive / Genesis
timeextension.com·22h
🚪Escape Rooms
Flag this post
A Week of Teaching
fivetwelvethirteen.substack.com·5d·
Discuss: Substack
Code Golf
Flag this post
A pencil is not a pencil is not a pencil
lesswrong.com·2d
🧩Riddles
Flag this post
Long-distance quantum communication using concatenated ring graph codes
link.aps.org·20h
🔓Cipher History
Flag this post
Test-Time Scaling of Reasoning Models for Machine Translation
dev.to·2d·
Discuss: DEV
🧩Riddles
Flag this post
DeepSeek-OCR: Contexts Optical Compression
dev.to·22h·
Discuss: DEV
🏗System design
Flag this post
The Pope Offers Wisdom
lesswrong.com·14h
🧩Riddles
Flag this post
OpenAI Releases GPT-5.1 With Improved Instruction Following via @sejournal, @MattGSouthern
searchenginejournal.com·14h
Code Golf
Flag this post
Teach Systems to Own Repetitive Work Without Losing Human Context
dev.to·2d·
Discuss: DEV
🏗System design
Flag this post
Mastering Python Strings: A Deep Dive for Senior Developers
dev.to·2d·
Discuss: DEV
Code Golf
Flag this post
Spilling the Beans: Teaching LLMs to Self-Report Their Hidden Objectives
arxiv.org·2d
Code Golf
Flag this post
8 Million Records in 156ms
dev.to·1d·
Discuss: DEV
Code Golf
Flag this post