👑 Isabelle

HOL, Proof Development, Mathematical Logic, Interactive Verification

Feeds to Scour
SubscribedAll
Formalization of Erdős problems
xenaproject.wordpress.com·1d
🎯Performance Proofs
Preview
Report Post
Issue 501
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
A Proof of P = NP
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·15h
λLambda Formalization
Preview
Report Post
Running Claude Code in a loop to mirror human development practices
anandchowdhary.com·12h·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
Theory and AI Alignment
scottaaronson.blog·1h
🔲Cellular Automata
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·13h
🔗Concatenative Programming
Preview
Report Post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·2d
🌐NetworkProtocols
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·14h
📐Interval Arithmetic
Preview
Report Post
What is a Pedersen commitment?
johndcook.com·14h
🔐Quantum Security
Preview
Report Post
DoTs SDK Development: Automating TypeScript Client Generation
digitalocean.com·1d
🔌Interface Evolution
Preview
Report Post
turanszkij/WickedEngine
github.com·2d
🦀Rust Macros
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·12h·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Review: Julia trimming for Advent of Code 2025
viralinstruction.com·1d·
Discuss: Hacker News
🦀Rust Macros
Preview
Report Post
Weekly Bookmarks
inkdroid.org·2h
🌀Brotli Internals
Preview
Report Post
Cryptography for the Everyday Developer: Understanding RSA
sookocheff.com·1d
🔐Homomorphic Encryption
Preview
Report Post
Code Evolution: Self-Improving Software with LLMs and Python
github.com·17h·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
I work in agriculture by day and code AI by night. Roast my first SaaS MVP!
vibe.forem.com·5h·
Discuss: DEV
🚀Indie Hacking
Preview
Report Post
Cloudflare Outage: Rust Analysis
splinter.com.au·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
Congratulations to three new doctorates!
11011110.github.io·3d
🎞️Tape Combinatorics
Preview
Report Post