🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🛡️ Proof-Carrying Archives

Verified Preservation, Formal Guarantees, Type Safety, Correctness Proofs

Last Week on My Mac: A strategy for data integrity
eclecticlight.co·1d
✅Archive Fixity
The Gear You Need to Keep Fit, Rested, and Balanced
wired.com·12h
⬜Minimalism
Codeminer42 Dev Weekly #70
blog.codeminer42.com·3d
🔄Reproducible Builds
Show HN: Lotas – Cursor for RStudio
lotas.ai·4h·
Discuss: Hacker News
✨Effect Handlers
I was tired of struggling to find a good apartment in NYC, so I built a free tool that finds the most undervalued apartments to buy/rent in NYC, helping me buy ...
realerestate.org·1d·
Discuss: Hacker News, r/InternetIsBeautiful
⭐Awesome lists
AwesomeAssertions/AwesomeAssertions
github.com·5d
✅Format Verification
Responsible AI in Enterprise Applications: A Practitioner's View
jjude.com·1d·
Discuss: Lobsters, Hacker News
🔐Capability Systems
Landmark Langlands Proof Advances Grand Unified Theory of Math
scientificamerican.com·10h·
Discuss: Hacker News
📐Mathematical Art
Show HN: Open-source project that use LLM as deception system
news.ycombinator.com·2d·
Discuss: Hacker News
🕵️Vector Smuggling
Using leaked data to examine vulnerabilities in SMS routing and SS7 signalling
medium.com·2d·
Discuss: Lobsters, Hacker News
🌐DNS Security
PostgreSQL Schema Management via Source Files
github.com·2d·
Discuss: Hacker News
🔄Schema Evolution
The Hidden Trap of Fixed and Random Effects
towardsdatascience.com·3d
✨Effect Handlers
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·2d·
Discuss: Hacker News
🏗️Compiler Archaeology
Use generative AI in Amazon Bedrock for enhanced recommendation generation in equipment maintenance
aws.amazon.com·5h
🏠Homelab Orchestration
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·3d
✓Automated Theorem Proving
The Imitation Game: Turing Machine Imitator is Length Generalizable Reasoner
arxiv.org·3d
🧮Kolmogorov Complexity
Unlocking True Document Productivity with PixLab Vision Workspace
dev.to·18h·
Discuss: DEV
📄Document Digitization
How to Operationalize Your ML Model Using KitOps and AWS DevOps Guru
dev.to·8h·
Discuss: DEV
🔗Dependency Resolution
I Tested 5 CLI Coding Agents & Here’s What Surprised Me!
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Create an AI Chatbot by Scraping your Website
dev.to·15h·
Discuss: DEV
🕵️Feed Discovery
Loading...Loading more...
AboutBlogChangelogRoadmap