🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🛡️ Proof-Carrying Data
Verified Preservation, Formal Guarantees, Type Safety, Archive Correctness
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
This Week in Security: Spilling Tea, Rooting AIs, and Accusing of Backdoors
hackaday.com
·
1d
🔓
Hacking
Why Semantic HTML Still Matters - Jono Alderson
jonoalderson.com
·
10h
🌐
Web Standards
The Rubik's Cube Perfect Scramble
solutionslookingforproblems.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
🎨
Graph Coloring
Trip Helper App for Rocket.Chat 🚀 - GSoC 2025 Final Report
dev.to
·
1h
·
Discuss:
DEV
📱
QR Archaeology
Compressing Icelandic name declension patterns into a 3.27 kB trie
alexharri.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🌳
Trie Structures
If Odin Had Macros
gingerbill.org
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🦀
Rust Macros
Python Challenge #1 -Expressions Edition
dev.to
·
4h
·
Discuss:
DEV
🧮
Algebraic Datatypes
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com
·
3d
·
Discuss:
Hacker News
🏛️
Isabelle HOL
RIP Amazon QLDB
news.alvaroduran.com
·
3d
·
Discuss:
Hacker News
🌳
Archive Merkle Trees
My Most Productive Day
curzel.it
·
1h
·
Discuss:
Hacker News
⚡
Proof Automation
Parallel Programming Models
ayushgundawar.me
·
1d
·
Discuss:
Hacker News
🧮
Compute Optimization
Claude Code and shipping stuff to prod
boliv.substack.com
·
2h
·
Discuss:
Substack
🦀
Rust Macros
The hidden engineering behind foundation model building
poolside.ai
·
17h
·
Discuss:
Hacker News
⚡
Incremental Computation
C++ Instrumentation with Memory Sanitizer
systemsandco.dev
·
2d
·
Discuss:
Hacker News
🔓
Decompilation
Modular Snip Recorder: A Data Collection Tool for Behavior Cloning (1/2)
dev.to
·
12h
·
Discuss:
DEV
💾
Floppy Imaging
When Your Database Lives in CPU Cache (Because Why Not?)
blog.canoozie.net
·
2d
·
Discuss:
Hacker News
⚡
Cache Coherence
Lobsters Interview with Icefox
lobste.rs
·
1d
·
Discuss:
Lobsters
🦀
Rust Macros
Machine Learning Fundamentals: loss function tutorial
dev.to
·
18h
·
Discuss:
DEV
👁️
Observatory Systems
My Journey to Pure No-Code Addition (Spoiler: Plot Twist Ending)
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
📊
APL Heritage
Testing LLM Responses: A Fast, Cost-Effective Alternative to LLM-as-Judge
joywrites.dev
·
6h
·
Discuss:
Hacker News
🌊
Streaming Algorithms
Loading...
Loading more...
« Page 4
•
Page 6 »