Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🔌 APIs
REST, HTTP, Web Services, Integration
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8575
posts in
164.0
ms
Implementability
of Global Distributed Protocols
modulo
Network Architectures
arxiv.org
·
12h
🌐
NetworkProtocols
Three Worlds
Collide
assumes
calibration is solved
lesswrong.com
·
12h
🔢
Philosophy of Mathematics
Proof-oriented
Programming in F*
fstar-lang.org
·
12h
·
Discuss:
Lobsters
🔗
Curry-Howard
gRPC
MCP
Gateway
reddit.com
·
4d
·
Discuss:
r/golang
💬
Mach Messages
SoftMatcha
2: A Fast and Soft Pattern
Matcher
for Trillion-Scale Corpora
arxiv.org
·
12h
·
Discuss:
Hacker News
🔤
Regular Expressions
Merge
JPG Files Online Free -
Combine
JPG
pngtostl.xyz
·
14h
·
Discuss:
Hacker News
🔤
Kleene Algebra
Merz calls on
Germans
to work more — and draws a
withering
backlash
politico.eu
·
14h
·
Discuss:
Hacker News
📐
Linear Algebra
A local-first,
WYSIWYG
envelope
printer for the browser
toenvelope.com
·
13h
·
Discuss:
Hacker News
🔤
Typography
The Best
Conversations
Happen
in Cars
oedmethod.substack.com
·
13h
·
Discuss:
Substack
🎮
Verification Games
GLM-5
|
Zhipu
AI's Next-Generation Large Language Model
glm5.net
·
13h
·
Discuss:
Hacker News
🐫
OCaml
Explain
Your Rules
blog.sebastiansastre.co
·
14h
·
Discuss:
Hacker News
🏹
Effect Systems
Stela
C
johncarlosbaez.wordpress.com
·
13h
·
Discuss:
Hacker News
🔲
Cellular Automata
The
Zero-Inventory
Hardware
Company I
miguelarmengol.com
·
12h
·
Discuss:
Hacker News
🔧
Microcontrollers
Show HN:
OctoStore
= Leader election as a service (single binary,
self-hostable
)
octostore.io
·
13h
·
Discuss:
Hacker News
❄️
NixOS
Results from the
Advent
of
FPGA
Challenge
blog.janestreet.com
·
13h
·
Discuss:
Hacker News
🐫
Embedded OCaml
D
Programming
Language
dlang.org
·
12h
·
Discuss:
Hacker News
⚙️
Compiler Design
Announcing
:
genai
v0.1.0
50984e11.maruel-ca.pages.dev
·
6d
·
Discuss:
Hacker News
🔄
Reproducible Builds
Dear
Agent:
Prove
it.
rijnard.com
·
12h
·
Discuss:
Hacker News
🔍
Formal Verification
Reflections
on Using Claude Code
ternarysearch.blogspot.com
·
12h
·
Discuss:
Hacker News
,
ternarysearch.blogspot.com
🏃
Escape Analysis
Add
paths
filter and
concurrency
to coverage workflow docs
news.ycombinator.com
·
12h
·
Discuss:
Hacker News
📊
Runtime Verification
Loading...
Loading more...
« Page 17
•
Page 19 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help