Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🧠Logic Puzzles
Flag this post
Solving the NYTimes Pips puzzle with a constraint solver
blog.adafruit.com·3d
🧠Logic Puzzles
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
⛳Code Golf
Flag this post
A QOJ week
⛳Code Golf
Flag this post
<p>**Abstract:** This paper introduces a novel framework for automated, high-resolution longitudinal analysis of micro-structural changes in composite materials...
freederia.com·2h
🧪Testing Philosophy
Flag this post
Handbook of Satisfiability (2021)
🧠Logic Puzzles
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
🧠Logic Puzzles
Flag this post
New Asymptotic Results on Predicting Non-linear Polynomial Congruential Generators
eprint.iacr.org·1d
🧠Logic Puzzles
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
🧠Logic Puzzles
Flag this post
Diagnostics of Hilbert space fragmentation, freezing transition, and its effects in the family of quantum East models involving varying range of constraints
journals.aps.org·2h
🔓Cipher History
Flag this post
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·1d
⛳Code Golf
Flag this post
How to check if a .onion is alive or dead (with Hidden Service Descriptors)
discuss.privacyguides.net·1d
💻Tech
Flag this post
How AI is affecting my work
writing.natwelch.com·10h
⛳Code Golf
Flag this post
Even Numbers Are Tautologies
🧠Logic Puzzles
Flag this post
Loading...Loading more...