🐿️ 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 Verification
TLA+, Model Checking, Safety Properties, Specifications
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Rocketlab Mars Sample Return
rocketlabcorp.com
·
1d
·
Discuss:
Hacker News
🧗
Climbing Tech
How to sell open source technology to the government
openthc.com
·
1d
·
Discuss:
Hacker News
,
r/opensource
🖥️
Self-hosted Infrastructure
The underlying tech of hydrogen passenger cars can still be transformative
popsci.com
·
8h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
A New Hidden State of Matter Could Make Computers 1,000x Faster
popularmechanics.com
·
1d
·
Discuss:
Hacker News
💾
Retro Computing
How do we feel about network wide tunnels
reddit.com
·
5h
·
Discuss:
r/homelab
📡
Network Protocol Design
Landing Pages for Early-Stage Startups
gonsanchezs.com
·
3d
·
Discuss:
Hacker News
🔄
Reproducible Builds
This is your sign to step away from the keyboard
blog.talosintelligence.com
·
3d
·
Discuss:
Hacker News
👁️
System Observability
DeployFast: One-command Next.js deployments on AWS without cold starts
deployfast.cloud
·
1d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
Kubernetes v1.34 Sneak Peek
kubernetes.io
·
4d
·
Discuss:
Hacker News
⎈
Kubernetes
How to win the AI talent war
getflack.com
·
13h
·
Discuss:
Hacker News
🎮
Verification Games
Researchers test the trustworthiness of AI by teaching it to play sudoku
techxplore.com
·
3d
·
Discuss:
Hacker News
✓
Automated Theorem Proving
Speed Is the Killer Feature
bdickason.com
·
1d
·
Discuss:
Hacker News
👁️
System Observability
Very High-Resolution Bridge Deformation Monitoring Using UAV-based Photogrammetry
arxiv.org
·
2d
🧱
Immutable Infrastructure
Futon Bed Sleeper Build
reddit.com
·
7h
·
Discuss:
r/homelab
💾
Retro Computing
ChatGPT was Silicon Valley's worst mistake
baby-cto.com
·
1d
·
Discuss:
Hacker News
🔬
Unikernels
AnimalClue: Recognizing Animals by their Traces
arxiv.org
·
3d
➡️
Category Theory
Hierarchical Game-Based Multi-Agent Decision-Making for Autonomous Vehicles
arxiv.org
·
2d
🔄
Finite State Machines
Impact of Underwater Image Enhancement on Feature Matching
arxiv.org
·
2d
🏹
Effect Systems
Uncovering Cross-Linguistic Disparities in LLMs using Sparse Autoencoders
arxiv.org
·
4d
🐫
OCaml
Webflow CEO Post Mortem
webflow.com
·
8h
·
Discuss:
Hacker News
👁️
System Observability
Loading...
Loading more...
« Page 47
•
Page 49 »