Feeds to Scour
SubscribedAll
Formalization of Erdős problems
xenaproject.wordpress.com·1d
🎯Performance Proofs
Preview
Report Post
Refactoring and minimal examples
markjgsmith.com·9h
🔗Concatenative Programming
Preview
Report Post
Code Evolution: Self-Improving Software with LLMs and Python
github.com·13h·
Discuss: Hacker News
⚡Incremental Computation
Preview
Report Post
Stop Shotgun Debugging: How to Turn AI Into Your Lead Detective
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Preview
Report Post
Advent of Code 2025 in Lean 4 – Day 6
hamberg.no·1d
🧠Lisp Dialects
Preview
Report Post
Fixed Points and Strike Mandates (2012)
pvk.ca·8h·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
Division
xania.org·15h
📐Interval Arithmetic
Preview
Report Post
Issue 501
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·2d
🌐NetworkProtocols
Preview
Report Post
Mechanical Habits
matklad.github.io·1d
🔩Systems Programming
Preview
Report Post
What is a Pedersen commitment?
johndcook.com·10h
🔐Quantum Security
Preview
Report Post
Formally Verifying Advent of Code Using Dijkstra's Program Construction
haripm.com·3d·
Discuss: Hacker News
📐Error Bounds
Preview
Report Post
Cloudflare Outage: Rust Analysis
splinter.com.au·1d·
Discuss: Hacker News
🦀Embedded Rust
Preview
Report Post
DoTs SDK Development: Automating TypeScript Client Generation
digitalocean.com·1d
🔌Interface Evolution
Preview
Report Post
Running Claude Code in a loop to mirror human development practices
anandchowdhary.com·8h·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
Crossing the Autonomy Threshold
paloaltonetworks.com·1d
🎯Threat Hunting
Preview
Report Post
Combating AI coding atrophy with Rust
kau.sh·1d
🦀Rust Macros
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·10h
📐Interval Arithmetic
Preview
Report Post
Footnotes to a fortnight: ETCS, logic questions, late Beethoven
logicmatters.net·11h
λLambda Formalization
Preview
Report Post
OpenAI beats Google, Meta, and Grok in all-AI poker tournament
techradar.com
·22h
🔲Cellular Automata
Preview
Report Post