🔍 Logic Puzzles - meadow · Scour

Category Mistakes (Stanford Encyclopedia of Philosophy) 👁️Phenomology

plato.stanford.edu·6d

Explore 30,000+ Olympiad Math Problems 📐Mathematical Art

mathnet.mit.edu·1d

MATH-PT: A Math Reasoning Benchmark for European and Brazilian Portuguese λFunctional Languages

Show HN: Logic Designer 🪢Conway Notation

logic-designer.github.io·6d·Hacker News

Forging ZK proofs to mint arbitrary DUSK tokens 🌳S-Expressions

osec.io·2d·Hacker News

Understanding systems 🧘‍♂️Zen Algorithms

entropicthoughts.com·5d·Hacker News

Building a Hamiltonian Path Puzzle 📐Mathematical Art

4rknova.com·5d·Hacker News

Efficient mapping of multi-constraint satisfaction problems to Rydberg platforms 🧘‍♂️Zen Algorithms

Thinking Thursday: Bus Puzzles 🧩Puzzles

denisegaskins.com·2d

Crash Course on Notation in Programming Language Theory 🌳S-Expressions

siek.blogspot.com·5d·r/programming

"Rat Run" Sudoku Series by Marty Sears 🧩Puzzles

logic-masters.de·3d·Hacker News

Axiomism: A Developer's Perspective on the Foundation of Reality 👁️Phenomology

github.com·3d·Hacker News

Every algorithm is a natural number. Hilbert's hotel has room for all of them 🧘‍♂️Zen Algorithms

darkomulej.substack.com·3d·Substack

Strongly Refuting Random CSP without Literals 🌳S-Expressions

Action-guiding counterfactuals 🔬Cellular Automata

alexanderpruss.blogspot.com·5d·Blogger

Compliance versus Sensibility: On the Reasoning Controllability in Large Language Models 🔗Parser Combinators

When to Vote, When to Rewrite: Disagreement-Guided Strategy Routing for Test-Time Scaling ⚫Abstract Games

Exploring the Limits of Pruning: Task-Specific Neurons, Model Collapse, and Recovery in Task-Specific Large Language Models 🔗Parser Combinators

Uncertainty-Aware Predictive Safety Filters for Probabilistic Neural Network Dynamics 🔬Cellular Automata

The Polynomial Hierarchy and $\omega$-categorical CSPs 🌳S-Expressions

Log in to enable infinite scrolling