🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
📐 Formal Methods
Type Theory, Program Verification, Theorem Proving, Specification Languages
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 20
•
Page 22 »