🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📐 Formal Methods

Type Theory, Program Verification, Theorem Proving, Specification Languages

Democracy by the Book: Is data the last lingua franca?
hedgehogreview.com·3d·
Discuss: Hacker News
💻Programming languages
Understanding Muon: A Revolutionary Neural Network Optimizer
glorious-potato-19.notion.site·8h·
Discuss: Hacker News
⚡SIMD Optimization
Show HN: RewriteBar v2.13.2: Review Window Improvements, Localizations and More
rewritebar.com·11h·
Discuss: Hacker News
💻Programming languages
Show HN: Agency Protocol – Domain-Specific Trust Through Verifiable Promises
promise-keeping.com·3d·
Discuss: Hacker News
🔐Security Patterns
Generating Production-Ready MCP Servers
withcoherence.com·6d·
Discuss: Hacker News
💻Programming languages
Show HN: AnkiTTS (Anki Text to Speech)
github.com·3h·
Discuss: Hacker News
💻Programming languages
Nobody Knows How to Build with AI Yet
worksonmymachine.substack.com·4d·
Discuss: Substack
💻Programming languages
Manus AI agent context engineering – practical implementation guide
aicodingtools.blog·4d·
Discuss: Hacker News
🌐Distributed systems
What Makes a Mature Science
asimov.press·2d·
Discuss: Hacker News
🌐Distributed systems
The Power and Potential of Zero-Knowledge Proofs
cacm.acm.org·6d·
Discuss: Hacker News
🔐Security Patterns
Using leaked data to examine vulnerabilities in SMS routing and SS7 signalling
medium.com·4d·
Discuss: Lobsters, Hacker News
🌊Stream Processing
How Shivam Lalakiya Revolutionized Donor Engagement at a Leading Institution
hackernoon.com·1d
🧩Microservices
A Wide Reduction Trick (2022)
words.filippo.io·6d·
Discuss: Lobsters, Hacker News, r/programming
🏹Apache Arrow
You Have to Decide
tern.sh·2d·
Discuss: Hacker News
💻Programming languages
Producing Uncompressed PNG Files
nigeltao.github.io·4d·
Discuss: Hacker News
🏹Apache Arrow
I Use EDA and Local LLMs to Make Better Product Decisions
news.ycombinator.com·2d·
Discuss: Hacker News
📊Systems Monitoring
Why Maestro’s Indexer Could Be the Missing Link for Bitcoin DeFi on ICP
hackernoon.com·1d
🧩Microservices
OWASP's cure for a sick AI supply chain
scworld.com·5d·
Discuss: Hacker News
🔐Security Patterns
Topology Meets Machine Learning
ams.org·5d·
Discuss: Hacker News
🚀Query Engines
Agentic AI Identity Management Approach
cloudsecurityalliance.org·1d·
Discuss: Hacker News
🔐Security Patterns
Loading...Loading more...
AboutBlogChangelogRoadmap