Feeds to Scour
SubscribedAll
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·17h
λLambda Formalization
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·14h·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Issue 501
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·16h
📐Interval Arithmetic
Preview
Report Post
What is a Pedersen commitment?
johndcook.com·16h
🔐Quantum Security
Preview
Report Post
A Proof of P = NP
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·1d
🎯Performance Proofs
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·1d
🧠Lisp Dialects
Preview
Report Post
KJS: A Complete Formal Semantics of JavaScript
github.com·12m·
Discuss: Hacker News
📜Proof Carrying Code
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·3h
🔲Cellular Automata
Preview
Report Post
A Brief, Incomplete, and Mostly Wrong History of Programming Languages
nerdware.org·2d·
Discuss: Lobsters
💻Programming languages
Preview
Report Post
From design patterns to category theory (2017)
blog.ploeh.dk·3d·
Discuss: Hacker News
🔀Category Theory
Preview
Report Post
Review: Julia trimming for Advent of Code 2025
viralinstruction.com·1d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
An example of a presheaf without an associated sheaf
thehighergeometer.wordpress.com·6d
⛪Church Encoding
Preview
Report Post
Formally Verifying Advent of Code Using Dijkstra's Program Construction
haripm.com·3d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Sandy Maguire: Struggling Towards an Algebraic Theory of Music
reasonablypolymorphic.com·2d
🎼Computational Musicology
Preview
Report Post
Cloudflare Outage: Rust Analysis
splinter.com.au·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
Cryptography for the Everyday Developer: Understanding RSA
sookocheff.com·1d
🔐Homomorphic Encryption
Preview
Report Post
Lessons from a Swift Interview
oskargroth.com·2d·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
Lazier Binary Decision Diagrams for set-theoretic types
elixir-lang.org·4d·
Discuss: Lobsters, Hacker News
🔗Combinatory Logic
Preview
Report Post