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
✅ formal methods
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3751
posts in
197.2
ms
A party
balloon
shut down El Paso International Airport; estimated cost –$
573k
log.jasongodfrey.info
·
3h
·
Discuss:
Hacker News
🌐
network programming
HDRify
: True HDR image
viewer
, and tool set in pure JavaScript
hdrify.benhouston3d.com
·
3h
·
Discuss:
Hacker News
⚡
query optimization
Seattle-based
Highspot
is merging with rival
Seismic
in major sales software deal
geekwire.com
·
3h
·
Discuss:
Hacker News
🌐
network programming
The $100 million
bet
that
Columbus
can become America's startup capital
ohiotechnews.com
·
3h
·
Discuss:
Hacker News
⚙️
systems programming
iOS
accessibility
static analysis (25
WCAG
rules)
accesslint.app
·
3h
·
Discuss:
Hacker News
🐫
ocaml
Workledger
– An offline first engineering
notebook
about.workledger.org
·
3h
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
What Won't Change
praf.me
·
3h
·
Discuss:
Hacker News
⚙️
systems programming
Multi-Channel
AI Sales Agent for
Outreach
& Lead Generation
optareach.com
·
3h
·
Discuss:
Hacker News
🌐
network programming
A
self-hosted
,
collaborative
database client
dbpro.app
·
3h
·
Discuss:
Hacker News
🗄️
databases
charm
_ We make the command line
glamorous
charm.land
·
3h
·
Discuss:
Hacker News
🔄
compilers
Arianespace
successfully
launches 32 Amazon Leo satellites with the first Ariane 64
newsroom.arianespace.com
·
3h
·
Discuss:
Hacker News
⚙️
systems programming
Show HN: We Made Nasdaq
Parsing
Even Faster (and More
Reliable
)
lunyn.com
·
2h
·
Discuss:
Hacker News
⚙️
systems programming
Game
sound
effects
for Claude Code
josepvidal.dev
·
2h
·
Discuss:
Hacker News
🔄
compilers
Software design is now
cheap
dottedmag.net
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
Show HN: The
Rails
developers' guide to mobile app
frameworks
masilotti.com
·
2h
·
Discuss:
Hacker News
⚙️
systems programming
Anthropic
raises $30 billion in Series G funding at $380 billion post-money
valuation
anthropic.com
·
3h
·
Discuss:
Hacker News
🌐
network programming
How to
Recover
Cryptocurrency
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
🗄️
databases
Show HN: Decision
Guardian
news.ycombinator.com
·
3h
·
Discuss:
Hacker News
⚙️
systems programming
Show HN: Running an LLM Inside
Scratch
github.com
·
5h
·
Discuss:
Hacker News
🔄
compilers
katarmal-ram/codemoot
: Multi-model collaborative development platform — Claude + GPT debate, review, and build together
github.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 12
•
Page 14 »
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