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
💻 CS
computer science, automata, theory, computation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
8601
posts in
454.6
ms
Apple acquires all rights to Severance;
showrunners
open to spin-offs,
prequel
, more
9to5mac.com
·
12h
🍎
Apple
You can’t fire a bot: The
blunt
truth about AI
slop
and your job
thenewstack.io
·
11h
🎮
Verification Games
Building a Fake News Kill Chain with
VeraSnap
and
CPP
— Full Implementation from Capture to Verification
dev.to
·
5d
·
Discuss:
DEV
🔒
Protocol Verification
B -
Glossary
(Python)
dev.to
·
5d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
Rethinking
Code
Complexity
Through the Lens of Large Language Models
arxiv.org
·
2d
🏃
Escape Analysis
PBLean
:
Pseudo-Boolean
Proof Certificates for Lean 4
arxiv.org
·
2d
🛡️
seL4
Show HN: Japanese ma is the most
underrated
design system in
front
end
opale-ui-mugen.vercel.app
·
11h
·
Discuss:
Hacker News
📵
Digital Minimalism
Are F-35s Being Delivered To The
USAF
Without
Radars
? Sure Seems Like It
twz.com
·
12h
·
Discuss:
Hacker News
🎨
GADTs
Rare, dangerous side
effects
of some COVID-19
vaccines
explained
science.org
·
11h
·
Discuss:
Hacker News
🔲
Cellular Automata
Cees
Nooteboom
, Dutch novelist and travel writer, dies aged 92
theguardian.com
·
11h
·
Discuss:
Hacker News
🕸️
Graph Theory
Military AI
Adoption
Is
Outpacing
Global Cooperation | Council on Foreign Relations
cfr.org
·
12h
·
Discuss:
Hacker News
🤖
Program Synthesis
The Dead Simple Car
Wash
Management App
cardesk.net
·
12h
·
Discuss:
Hacker News
🔢
Algebraic Data Types
Language a Wood for Thought:
Susan
Howe
's Work
poetryfoundation.org
·
11h
·
Discuss:
Hacker News
🏢
Jane Street Core
Discord/Twitch/Snapchat
age verification bypass
age-verifier.kibty.town
·
12h
·
Discuss:
Hacker News
🛡️
macOS Security
Few people
inevitably
rise to the top
andytrattner.com
·
11h
·
Discuss:
Hacker News
🧗
Climbing Tech
Algorithmic
Liability
: How Social Media Platforms
Disclaim
Responsibility
tostracker.app
·
11h
·
Discuss:
Hacker News
🛡️
macOS Security
Software Engineering Past, Present, and Future with
Grady
Booch
oxide-and-friends.transistor.fm
·
12h
·
Discuss:
Hacker News
🔧
DevOps
EyesOff
: Why Some Models
Quantize
Better Than Others
ym2132.github.io
·
12h
·
Discuss:
Hacker News
🧮
SMT Solvers
Prime
Intellect
Lab: a
full-stack
platform for training your own models
primeintellect.ai
·
11h
·
Discuss:
Hacker News
🏠
HomeLab
238. Death of Software.
Nah
.
hardcoresoftware.learningbyshipping.com
·
11h
·
Discuss:
Hacker News
📵
Digital Minimalism
Loading...
Loading more...
« Page 17
•
Page 19 »
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