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
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
AI Safety at the Frontier: Paper Highlights of October 2025
lesswrong.com·1d
⛳Code Golf
Flag this post
<p>**Abstract:** This paper introduces a novel framework for automating environmental impact assessment (EIA) of legacy industrial sites. The system leverages m...
freederia.com·6h
⛳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·5h
⛳Code Golf
Flag this post
Even Numbers Are Tautologies
🧠Logic Puzzles
Flag this post
Loading...Loading more...