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
9392
posts in
200.5
ms
FTC chair questions Tim Cook over claims Apple News
sidelines
conservative
publications
9to5mac.com
·
42m
🍎
Apple
Top 5 Programming
Languages
Dominating
2026
dev.to
·
4d
·
Discuss:
DEV
⚙️
Compiler Design
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
4d
·
Discuss:
DEV
🎮
Verification Games
Bounded
Modal
Logic
arxiv.org
·
22h
⏳
LTL
FLINGO
--
Instilling
ASP Expressiveness into Linear Integer Constraints
arxiv.org
·
22h
🎯
GADT
7 Things The
Simpsons
Got Wrong About Nuclear
energy.gov
·
51m
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Merge
JPG Files Online Free -
Combine
JPG
pngtostl.xyz
·
27m
·
Discuss:
Hacker News
🔤
Kleene Algebra
Looking at the world
horizontally
and vertically, what's the big difference? ——Interview with Hao
Xiaoguang
, the compiler of the vertical world map
blog.geogarage.com
·
52m
·
Discuss:
Hacker News
🕸️
Graph Theory
Police
scanners
are being encrypted,
rankling
journalists that follow traffic
fox2detroit.com
·
2h
·
Discuss:
Hacker News
🛡️
macOS Security
Why is everyone
talking
about
Section
230?
whatissection230.org
·
30m
·
Discuss:
Hacker News
🛡️
macOS Security
Show HN:
OctoStore
= Leader election as a service (single binary,
self-hostable
)
octostore.io
·
18m
·
Discuss:
Hacker News
❄️
NixOS
Transform
your look with the power of AI
tryaibeauty.com
·
49m
·
Discuss:
Hacker News
🔲
Cellular Automata
Terms
of Service
felix.dognebula.com
·
1h
·
Discuss:
Hacker News
🔒
Protocol Verification
Benchmarking 8 remote browser
providers
with 250
concurrent
AI agents
research.aimultiple.com
·
1h
·
Discuss:
Hacker News
👁️
System Observability
Tool
Shaped
Objects
minutes.substack.com
·
1h
·
Discuss:
Substack
🧠
Automated Reasoning
Memsearch
,an agent memory with md as source of truth(inspired by
OpenClaw
)
zilliztech.github.io
·
51m
·
Discuss:
Hacker News
🔧
Unikernel Development
Shell
and Skills and
Compaction
: Tips for long-running agents that do real work
developers.openai.com
·
1h
·
Discuss:
Hacker News
🔧
DevOps
Waterloo
Style
theprogrammersparadox.blogspot.com
·
5d
·
Discuss:
Hacker News
🔬
Static Analysis
AI agents debate on a forum, no
humans
posting
sknet.ai
·
4d
·
Discuss:
Hacker News
🔲
Cellular Automata
Building the Future with AI That
Acts
devxt.com
·
4d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Loading...
Loading more...
« Page 7
•
Page 9 »
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