Feeds to Scour
SubscribedAll
A Proof of P = NP
dev.to·1d·
Discuss: DEV
🔗Combinatory Logic
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·1d
⚔️Lean Tactics
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·22m
🔲Cellular Automata
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·10h·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Rnj-1: Building Instruments of Intelligence
essential.ai·10h·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Congratulations to three new doctorates!
11011110.github.io·3d
🎞️Tape Combinatorics
Preview
Report Post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·2d
🌐NetworkProtocols
Preview
Report Post
What is a Pedersen commitment?
johndcook.com·13h
🔐Quantum Security
Preview
Report Post
Comparative algorithm performance evaluation and prediction for the maximum clique problem using instance space analysis
arxiv.org·3d
🕸️Graph Algorithms
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·14h
λLambda Formalization
Preview
Report Post
Notes on Distributed Systems for Young Bloods (2013)
somethingsimilar.com·10h·
Discuss: Hacker News
🤝Distributed Consensus
Preview
Report Post
What Got Lost in the Optimization
medium.com·4h
🌍Cultural Algorithms
Preview
Report Post
Inside Shanya, a packer-as-a-service fueling modern attacks
news.sophos.com·2h
🏺ZIP Archaeology
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·12h
🔗Concatenative Programming
Preview
Report Post
Cryptography for the Everyday Developer: Understanding RSA
sookocheff.com·1d
🔐Homomorphic Encryption
Preview
Report Post
Program Comprehension as a Central Skill in CS Education in the Era of Generative AI
cacm.acm.org·2d
💻Programming languages
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·12h
📐Interval Arithmetic
Preview
Report Post
AI research agents would rather make up facts than say "I don't know"
the-decoder.com·14h
🤖AI Curation
Preview
Report Post
Mechanical Habits
matklad.github.io·1d
🔩Systems Programming
Preview
Report Post
Formally Verifying Advent of Code Using Dijkstra's Program Construction
haripm.com·3d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post