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
🐫 ocaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
3673
posts in
197.3
ms
Show HN:
SimTag
– See the active Git
branch
directly in iOS Simulator
digitalbunker.dev
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Biases
in the Blind Spot: Detecting What LLMs Fail to
Mention
arxiv.org
·
1d
·
Discuss:
Hacker News
🗄️
databases
Who’s the agent now?
danturkel.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
How
Programmers
Spend
Their Time
probablydance.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
With
co-founders
leaving and an IPO
looming
, Elon Musk turns talk to the moon
techcrunch.com
·
1d
·
Discuss:
Hacker News
✅
formal methods
macOS
Tahoe
no longer fully supports Time
Capsules
eclecticlight.co
·
1d
·
Discuss:
Hacker News
✅
formal methods
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
🔄
compilers
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
6d
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
The AI Product Engineer: A Role That
Exists
but Isn't
Defined
Yet
medium.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Popular electric
mopeds
in US found not street legal,
forcing
recall
electrek.co
·
1d
·
Discuss:
Hacker News
🗄️
databases
Mistral’s
revenues
soar over $
400mn
as Europe seeks AI independence
ft.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Anna's Archive Quietly 'Releases' Millions of Spotify Tracks, Despite Legal
Pushback
*
TorrentFreak
torrentfreak.com
·
1d
·
Discuss:
Hacker News
,
Hacker News
,
r/Piracy
🗄️
databases
Why We
Raised
$
50M
: The Non-Human Identity Crisis Driving Our Series C
blog.gitguardian.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Pluralistic
: Europe takes a big step towards a post-dollar world (11
Feb
2026)
pluralistic.net
·
1d
·
Discuss:
Hacker News
✅
formal methods
Big
Revisions
Could
Alter
Jobs Picture
nytimes.com
·
1d
·
Discuss:
Hacker News
🗄️
databases
Reviving a
CIDCO
MailStation
theregister.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
The
Liberal
Case for Public Power
liberalcurrents.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
FAA
lifts El Paso
airspace
closure, citing ‘no threat to commercial aviation’.......what just happened
cnn.com
·
1d
·
Discuss:
Hacker News
⚙️
systems programming
Kalshi
and
Polymarket
Create New Competition for Professional Economists
nytimes.com
·
1d
·
Discuss:
Hacker News
🗄️
databases
China tests
crewed
spacecraft
abort
and rocket recovery in major lunar milestone
spacenews.com
·
1d
·
Discuss:
Hacker News
,
r/space
⚙️
systems programming
Loading...
Loading more...
« Page 24
•
Page 26 »
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