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
8726
posts in
237.9
ms
Advancing
the C language in today’s time means
improving
safety,
dev.to
·
4d
·
Discuss:
DEV
🐫
Embedded OCaml
The Secret Life of Python: The Safety Net ('
try
' and '
except
')
dev.to
·
4d
·
Discuss:
DEV
🎮
Verification Games
Some conditions
implying
if P=NP then P=
PSPACE
arxiv.org
·
1d
⏱️
Computational Complexity
Dynamical
sequences
: closure properties and automatic identity
proving
arxiv.org
·
2d
🧮
Lambda Calculus
Sam Altman
touts
ChatGPT's
reaccelerating
growth to employees as OpenAI closes in on $100 billion funding
cnbc.com
·
3h
·
Discuss:
Hacker News
🐳
Containerization
Show HN:
DeleteTik
deletetik.com
·
4h
·
Discuss:
Hacker News
🔧
Unikernel Development
Virtual
Boy
™ for Nintendo Switch™ 2/Nintendo Switch™
nintendo.com
·
3h
·
Discuss:
Hacker News
💻
QEMU
One
Funeral
at a Time
md-a.co
·
4h
·
Discuss:
Hacker News
≤
Order Theory
Police
scanners
are being encrypted,
rankling
journalists that follow traffic
fox2detroit.com
·
3h
·
Discuss:
Hacker News
🛡️
macOS Security
CPU
cloth
simulation performance
comparable
to GPU SotA
sig25ddmpd.github.io
·
4h
·
Discuss:
Hacker News
🔀
OCaml Multicore
Distributed
Chroma
: Bring Your Own Cloud
trychroma.com
·
4h
·
Discuss:
Hacker News
🐳
Containerization
Heroku
Is Not Dead
nombiezinja.com
·
4h
·
Discuss:
Hacker News
🔧
DevOps
From
Breadboard
to
Perf
Board (Part 1)
tomsantunes.substack.com
·
4h
·
Discuss:
Substack
🔧
Microcontrollers
Show HN: I debug
JONESFORTH
with a
GDB
trace file
news.ycombinator.com
·
4h
·
Discuss:
Hacker News
🔬
Reverse Engineering
Terms
of Service
felix.dognebula.com
·
2h
·
Discuss:
Hacker News
🔒
Protocol Verification
The Last
Piece
of Software
sawyerhood.com
·
4h
·
Discuss:
Hacker News
📵
Digital Minimalism
Show HN:
Implementing
an AI
Portfolio
Manager. With Learning
quantape.substack.com
·
4h
·
Discuss:
Substack
📚
Automata Learning
Something Small Is
Happening
myriadperspectives.com
·
3h
·
Discuss:
Hacker News
🩹
Self-Healing Systems
Tool
Shaped
Objects
minutes.substack.com
·
3h
·
Discuss:
Substack
🧠
Automated Reasoning
Moats
in the Age of AI
cjroth.com
·
4h
·
Discuss:
Hacker News
🖥️
Self-hosted Infrastructure
Loading...
Loading more...
« Page 9
•
Page 11 »
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