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
3755
posts in
262.6
ms
How Many
Biweekly
Pay
Periods
in 2026? (It's Not What You'd Expect)
saveku.com
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
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
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
Language a Wood for Thought:
Susan
Howe
's Work
poetryfoundation.org
·
21h
·
Discuss:
Hacker News
🐫
ocaml
Cees
Nooteboom
, Dutch novelist and travel writer, dies aged 92
theguardian.com
·
21h
·
Discuss:
Hacker News
🐫
ocaml
Turn Security
Threats
: A
Hacker
's View
enablesecurity.com
·
21h
·
Discuss:
Hacker News
🌐
network programming
The Social
Singularity
raine.bearblog.dev
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
How Airlines Safely
Dispatch
Aircraft With Failed Equipment (the
MEL
)
jameshard.ing
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
From 34% to 96%: The
Porting
Initiative
Delivers
hologram.page
·
21h
·
Discuss:
Hacker News
🔄
compilers
238. Death of Software.
Nah
.
hardcoresoftware.learningbyshipping.com
·
21h
·
Discuss:
Hacker News
🌐
network programming
1Password
's new benchmark teaches AI agents how not to get
scammed
1password.com
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
Don't give away to the
gradient
descent
carteakey.dev
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
I
Guess
AI Is Now My Target
Customer
jakequist.com
·
21h
·
Discuss:
Hacker News
,
r/programming
⚙️
systems programming
Maintaining
Skills During the AI
Advent
saadnaveed.com
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
AI Coding Agents Will 10x Your
Datadog
Bill
oneuptime.com
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
Heroku
Was Already Dead: A Study in Bad
UX
techstackups.com
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
X's new pure black dark mode hurts
readability
compared to the old
dim
theme
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
🐫
ocaml
Ask HN: Do you used a cloud based dev
environment
?
news.ycombinator.com
·
21h
·
Discuss:
Hacker News
⚙️
systems programming
brynary/attractor
: Full implementation of
StrongDM
Attractor specs in TypeScript
github.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
yubainu/SL-CRF
: Structural inconsistency detection engine for hallucination and logical discontinuity in data streams.
github.com
·
2d
·
Discuss:
Hacker News
🗄️
databases
Loading...
Loading more...
« Page 29
•
Page 31 »
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