🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 Dependent Types
Type-level Programming, Proof-carrying Code, Agda, Type Safety
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Mathematicians have worked out the optimal strategy for Guess Who?
newscientist.com
·
1d
🔲
Cellular Automata
You need to get started on ADA Title II compliance now: How to strategize funding, slash risk, and ensure ROI
deque.com
·
1d
🚚
Data Migration
Reducing the size of the web app bundle
blog.hmpl-lang.dev
·
5h
·
Discuss:
Hacker News
🛡️
WebAssembly Security
How Does a Blind Model See the Earth?
outsidetext.substack.com
·
1d
·
Discuss:
Substack
🧮
Kolmogorov Bounds
Sloppy AI defenses take cybersecurity back to the 1990s, researchers say
scworld.com
·
9h
·
Discuss:
Hacker News
🔓
Hacking
AGI: Probably Not 2027
verysane.ai
·
7h
·
Discuss:
Hacker News
🚀
Indie Hacking
Wire Repo Archived without Notice
github.com
·
22h
·
Discuss:
r/golang
🤖
Network Automation
Where MCP falls short: data integration in the AI world
blog.astrobee.ai
·
1d
·
Discuss:
Hacker News
🔌
Interface Evolution
Continuous-Path 3D Printed Case is Clearly Superior
hackaday.com
·
7h
🌈
Holographic Archives
Learning to Reason for Factuality
arxiv.org
·
4d
✓
Automated Theorem Proving
Automated Biomarker Signature Mapping for Paleoecological Reconstruction via Deep Learning
dev.to
·
13h
·
Discuss:
DEV
🦴
Binary Paleontology
Building a Tech Zeitgeist Machine: News Harvesting, Dirty Data, and the Audacity of Mr. Spruce
dev.to
·
2d
·
Discuss:
DEV
📰
RSS Archaeology
KeyPilot – Semantic API Gateway with Real-Time AI Routing & Caching
dev.to
·
2d
·
Discuss:
DEV
⚡
Redis Internals
Federated Learning with Differential Privacy for Edge-Based Anomaly Detection in Industrial IoT
dev.to
·
2d
·
Discuss:
DEV
🛡️
Differential Privacy
Robust Multi-Modal Anomaly Detection for Real-Time Manufacturing Process Control
dev.to
·
1d
·
Discuss:
DEV
👁️
System Observability
Top 7 AI Coding Tools 2025
dev.to
·
1d
·
Discuss:
DEV
⚡
Proof Automation
Understanding Dynamic Scenes in Ego Centric 4D Point Clouds
arxiv.org
·
18h
📐
Projective Geometry
Edge Detection for Organ Boundaries via Top Down Refinement and SubPixel Upsampling
arxiv.org
·
18h
🤖
Advanced OCR
Auditory Intelligence: Understanding the World Through Sound
arxiv.org
·
18h
🎧
Learned Audio
Real-Time Contactless Force Estimation in Granular Media using Active Vision and Iterative Filtering
dev.to
·
2d
·
Discuss:
DEV
🌀
Differential Geometry
Loading...
Loading more...
« Page 29
•
Page 31 »