🐿️ 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
Software–Defined Ground Penetrating Radar Using COTS SDRs and GNU Radio
events.gnuradio.org
·
12h
·
Discuss:
Hacker News
🧩
Microservices
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Choosing a model for a research platform with real data and metrics
maxirwin.com
·
2d
·
Discuss:
Hacker News
🚀
Query Engines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Building multi-agent tools for engineering
newstoretech.substack.com
·
14h
·
Discuss:
Substack
📮
Message Queues
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to Prove False Statements: Practical Attacks on Fiat-Shamir
eprint.iacr.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
📏
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tool-space interference in the MCP era: Designing for agent compatibility at scale
microsoft.com
·
1d
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
PythonBPF – Writing eBPF Programs in Pure Python
xeon.me
·
16h
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Tunneling
github.com
·
13h
·
Discuss:
Hacker News
🔐
Security Patterns
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com
·
1d
·
Discuss:
Substack
📈
Time Series ML
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Early Bytes of Creativity – Forgotten Mainframe Games, Part I (2023)
zeitgame.net
·
10h
·
Discuss:
Lobsters
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Trial and Error Driven Development
stevenoxley.com
·
2d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Collecting my thoughts about notation and user interfaces
interconnected.org
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Quantum Algorithm Zoo
quantumalgorithmzoo.org
·
2d
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A New Type of Computing
news.ycombinator.com
·
22h
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI Prompts for Self-Reflection
josecasanova.com
·
9h
·
Discuss:
Hacker News
📊
Performance Profiling
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
AI mirrors experimental science to uncover a mechanism of gene transfer
cell.com
·
13h
·
Discuss:
Hacker News
🌐
Distributed systems
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Get Excited About Postgres 18
crunchydata.com
·
15h
·
Discuss:
Hacker News
,
r/programming
🗃️
Database Internals
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
“I Got Pwned”: npm maintainer of Chalk & Debug speaks on the massive supply-chain attack
youtube.com
·
11h
·
Discuss:
Hacker News
,
r/programming
📏
Linear Types
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
We Rebuilt Our SQL Parser in Rust: 3.3x Faster with Zero-Copy and Better Errors
databend.com
·
1d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An Introduction to XForms
xml.com
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
« Page 4
•
Page 6 »