Mathematical Proofs, Boolean Logic, Constraint Satisfaction, Sudoku Variants

The Complexity Cliff: Why Reasoning Models Work Right Up Until They Don't
rewire.it·1d·
Discuss: Hacker News
Code Golf
Flag this post
Array Programming the Mandelbrot Set
jcmorrow.com·1h·
Discuss: Hacker News
Code Golf
Flag this post
VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks
arxiv.org·44m
Code Golf
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·1d
Code Golf
Flag this post
Void-Vault: A deterministic generative solution to password management
github.com·9h·
Discuss: r/archlinux
🔓Cipher History
Flag this post
When numbers lie: the Java equality bug every dev hits at least once
dev.to·2d·
Discuss: DEV
Code Golf
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·2d
🚪Escape Rooms
Flag this post
Circular Sorting
anuragbishnoi.wordpress.com·2d
🧩Riddles
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
paperium.net·5h·
Discuss: DEV
Code Golf
Flag this post
Ask HN: What made you improve your logical reasoning?
news.ycombinator.com·2d·
Discuss: Hacker News
Code Golf
Flag this post
An Inside Scoop of the Boxes: Lost Fragments Development Process
news.xbox.com·9h
🚪Escape Rooms
Flag this post
The Best Smart Water-Leak Detector
nytimes.com·10h
💻Tech
Flag this post
𝐭𝐰𝐨𝐟𝐞𝐫.𝗀𝖺𝗆𝖾𝗌 𝟏𝟏-𝟎𝟔-𝟐𝟓
iwebthings.joejenett.com·13h
🧩Riddles
Flag this post
Marden's Theorem
en.wikipedia.org·16h·
Discuss: Hacker News
Code Golf
Flag this post
Bit counting and geometric series
veitner.bearblog.dev·10h
Code Golf
Flag this post
Balancing Leakage Reduction with Correctness Preservation in RTL Code Generation (Univ. of Central Florida)
semiengineering.com·4h
Code Golf
Flag this post
A Laser-Cut Tromino Puzzle
divisbyzero.com·5d
🧩Riddles
Flag this post
Thinking Thursday: Rene Descartes
denisegaskins.com·15h
🧩Riddles
Flag this post
Using the probabilistic method to bound the performance of toy transformers by Alex Gibson
greaterwrong.com·6h
Code Golf
Flag this post
The Shadows Lurking in the Equations
gods.art·1d·
Discuss: Hacker News
Code Golf
Flag this post