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
3760
posts in
169.6
ms
Megawatt-Class
High-Altitude Wind Power System Jointly Developed by Tsinghua
EEA
Successfully Completed Maiden Flight in Xinjiang-Department of Electrical Engineering Tsinghua University
eea.tsinghua.edu.cn
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
Cees
Nooteboom
, Dutch novelist and travel writer, dies aged 92
theguardian.com
·
23h
·
Discuss:
Hacker News
🐫
ocaml
Gyotaku
en.wikipedia.org
·
23h
·
Discuss:
Hacker News
🐫
ocaml
Analysis: China’s
CO2
emissions have now been ‘
flat
or falling’ for 21 months
carbonbrief.org
·
23h
·
Discuss:
Hacker News
,
r/China
🗄️
databases
SpaceX
Makes a Huge
Pivot
, Wants to Build on the Moon Instead
universetoday.com
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
CPU
cloth
simulation performance
comparable
to GPU SotA
sig25ddmpd.github.io
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
House passes Save America Act, Trump-backed bill to
impose
new
voting
rules
theguardian.com
·
23h
·
Discuss:
Hacker News
⚡
query optimization
Frequent Diet Soda
Intake
Linked to
Fourfold
Increased Dementia Risk
medscape.com
·
23h
·
Discuss:
Hacker News
🗄️
databases
Heroku
Was Already Dead: A Study in Bad
UX
techstackups.com
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
From
Breadboard
to
Perf
Board (Part 1)
tomsantunes.substack.com
·
23h
·
Discuss:
Substack
⚙️
systems programming
From 34% to 96%: The
Porting
Initiative
Delivers
hologram.page
·
23h
·
Discuss:
Hacker News
🔄
compilers
1Password
's new benchmark teaches AI agents how not to get
scammed
1password.com
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
Don't give away to the
gradient
descent
carteakey.dev
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
The cost of “
caring
more” about
internal
tools just dropped
robbyonrails.com
·
23h
·
Discuss:
Hacker News
,
r/programming
⚙️
systems programming
Maintaining
Skills During the AI
Advent
saadnaveed.com
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
Trump's latest plan to
revive
coal
power: Make the military buy it
arstechnica.com
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
Heroku
Is Not Dead
nombiezinja.com
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
Show HN:
Publish
Markdown to a
shareable
URL from your terminal
jotbird.com
·
23h
·
Discuss:
Hacker News
,
r/SideProject
🔄
compilers
Russia blocks Meta’s
WhatsApp
messaging
service
ft.com
·
23h
·
Discuss:
Hacker News
🌐
network programming
Ask HN: Do you used a cloud based dev
environment
?
news.ycombinator.com
·
23h
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 32
•
Page 34 »
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