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
🧩 type theory
types, dependent types, linear types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
4169
posts in
34.7
ms
Baidu plans to let users access OpenClaw via its search app and integrate OpenClaw's capabilities into its e-commerce business and other services (
Evelyn
Cheng
/...
techmeme.com
·
2h
🧠
llms
Companies like Stripe, OpenAI, Anthropic, and SpaceX are letting workers cash out before their IPOs, a move once seen as
taboo
and
lacking
long-term commitment ...
techmeme.com
·
3h
🧠
llms
Amtrak
’s Largest Train
Revamp
in 55 Years Is Coming Soon
nytimes.com
·
3h
·
Discuss:
Hacker News
🧠
llms
Mops
powermops.org
·
3h
·
Discuss:
Hacker News
🧠
llms
What makes a strong testing,
QA
portfolio
in 2026?
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🧠
llms
The chemical
habitability
of Earth and rocky planets
prescribed
by core formation
nature.com
·
20m
·
Discuss:
Hacker News
🧠
llms
If you use AI-generated code, you
currently
cannot claim
copyright
on it in the US
zomglol.wtf
·
29m
·
Discuss:
Lobsters
,
Hacker News
🧠
llms
Pdit
: The Python
Un-Notebook
for Coding Agents
harry.vangberg.name
·
1h
·
Discuss:
Hacker News
🧠
llms
We are
SuperCMMS
and we plan to use HN as an alternative to
Twitter
news.ycombinator.com
·
2h
·
Discuss:
Hacker News
🧠
llms
Sheaves
Ready To Play A
Bigger
Role In Linux 7.0
phoronix.com
·
26m
·
Discuss:
Hacker News
🧠
llms
ÖzgürKon
'26 Free Software Conference in
Istanbul
, Turkey
ozgurkon.org
·
2h
·
Discuss:
Hacker News
🧠
llms
LibreOffice
26.2
libreoffice.org
·
2h
·
Discuss:
Hacker News
🧠
llms
Chuck
Moore's Wonderful
colorForth
Programming Language and Operating System
colorforth.github.io
·
2h
·
Discuss:
Hacker News
🧠
llms
Streaming Analytics Made Simple with the
Exasol
Kafka
Connector
exasol.com
·
2h
·
Discuss:
Hacker News
🧠
llms
six
thoughts
on
generating
c
wingolog.org
·
3d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧠
llms
Russ
Cox on: What should we do with
CLs
generated by AI?
groups.google.com
·
1h
·
Discuss:
Hacker News
🧠
llms
OpenClaw
: The AI Agent Security Crisis
Unfolding
Right Now
reco.ai
·
1h
·
Discuss:
Hacker News
🧠
llms
Meta Plans to Add
Facial
Recognition Technology to Its Smart
Glasses
nytimes.com
·
3h
·
Discuss:
Hacker News
🧠
llms
An offline
crossplatform
desktop app for cleaning dev
caches
reclaimr.dev
·
20m
·
Discuss:
Hacker News
🧠
llms
AI
academic
illustration
generator
paperbanana.me
·
1h
·
Discuss:
Hacker News
🧠
llms
Loading...
Loading more...
« Page 1
•
Page 3 »
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