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
3676
posts in
96.0
ms
EPA to repeal its own
conclusion
that greenhouse
gases
warm the planet and threaten health
nbcnews.com
·
18h
·
Discuss:
Hacker News
⚙️
systems programming
Life on Earth is lucky: A rare chemical
fluke
may have made our planet
habitable
space.com
·
18h
·
Discuss:
Hacker News
⚙️
systems programming
"Have I Been
Stalked
"
post-mortem
dustri.org
·
17h
·
Discuss:
Hacker News
🗄️
databases
Okay
, now exactly half of xAI's
founding
team has left the company
techcrunch.com
·
15h
·
Discuss:
Hacker News
⚙️
systems programming
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
5d
·
Discuss:
Hacker News
✅
formal methods
Anatomy
of a Python
Function
mostlypython.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
Profiling
Swift Applications on Windows and macOS with
Tracy
compositorapp.com
·
4d
·
Discuss:
Hacker News
🔄
compilers
Tokens
Aren't
Fungible
whoisnnamdi.com
·
16h
·
Discuss:
Hacker News
✅
formal methods
Programming
Aphorisms
matklad.github.io
·
16h
·
Discuss:
Hacker News
⚙️
systems programming
Building a battle tested C
compiler
in a new language using
Codex
moonbitlang.com
·
5d
·
Discuss:
Hacker News
🔄
compilers
[
RFC
PATCH v1 0/4] Machine Learning (
ML
) library in Linux kernel
lore.kernel.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
systems programming
Popular electric
mopeds
in US found not street legal,
forcing
recall
electrek.co
·
8h
·
Discuss:
Hacker News
🗄️
databases
Gemini writes, Claude
polishes
, JetBrains
rests
: an agent development pipeline
ginkida.dev
·
16h
·
Discuss:
Hacker News
⚙️
systems programming
F#
Pattern
Matching
learn.microsoft.com
·
6d
·
Discuss:
Hacker News
✅
formal methods
How
Programmers
Spend
Their Time
probablydance.com
·
11h
·
Discuss:
Hacker News
⚙️
systems programming
Who’s the agent now?
danturkel.com
·
11h
·
Discuss:
Hacker News
⚙️
systems programming
With
co-founders
leaving and an IPO
looming
, Elon Musk turns talk to the moon
techcrunch.com
·
11h
·
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
·
5d
·
Discuss:
Lobsters
,
Hacker News
✅
formal methods
Why We
Raised
$
50M
: The Non-Human Identity Crisis Driving Our Series C
blog.gitguardian.com
·
8h
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 6
•
Page 8 »
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