Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
💻 CS
Broad
computer science, automata, theory, computation
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5354
posts in
16.7
ms
emlautarom1/PDP
_11_Simulator:
PDP11
Simulator written in APL
github.com
·
5h
·
Discuss:
Hacker News
⚙️
PL Implementation
Principles
of Intelligence is
hiring
lesswrong.com
·
8h
✓
Automated Theorem Proving
Undone
Computer Science
undonecs.org
·
23h
·
Discuss:
Lobsters
🔬
Reverse Engineering
Automating
the Analysis and
Improvement
of Dynamic Programming Algorithms with Applications to Natural Language Processing
arxiv.org
·
1d
✓
Automated Theorem Proving
Memory
Allocation
Strategies
gingerbill.org
·
1d
·
Discuss:
r/programming
🧩
Separation Logic
Vector
, the Journal of the British
APL
Association
web.archive.org
·
3h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Adopting
AI in Local Government with Privacy and Equity in Mind: A Case Study of the City of
Oakland
usenix.org
·
3h
🛡️
Privacy Engineering
Show HN: Habits, an open-source builder and
runtime
for
automations
and apps
news.ycombinator.com
·
7h
·
Discuss:
Hacker News
🧮
Lean4
Cicikuş
Classic Is Live
huggingface.co
·
12h
·
Discuss:
Hacker News
⚙️
Abstract Machines
The
joy
of
reading
the code
pdole.ga
·
1d
·
Discuss:
Lobsters
🎯
GADT
Ternary
RISC Processor Achieves Non-Binary Computing Via
FPGA
hackaday.com
·
1d
🔧
Microcontrollers
<
h1
>Rob
Pike
's 5 Rules of Programming</
h1
>
cs.unc.edu
·
12h
·
Discuss:
Lobsters
,
Hacker News
🧮
Lean4
Omnilingual
MT
: Machine Translation for 1,600 Languages
ai.meta.com
·
17h
·
Discuss:
Hacker News
📚
Automata Learning
I
wrote
an
article
about how I first started to program
artificesoftware.com
·
1d
·
Discuss:
Hacker News
,
r/programming
💾
Retro Computing
Are
Dependent
Types in Set Theory
Feasible
?
arxiv.org
·
2d
🔠
Type-Level Programming
Launch an autonomous AI agent with
sandboxed
execution in 2
lines
of code
amaiya.github.io
·
21h
·
Discuss:
Hacker News
💻
CLI Tools
Language that doesn't
stink
(2024)
buttondown.com
·
22h
·
Discuss:
Lobsters
⚙️
Compiler Design
Math
in the AI Era
3quarksdaily.com
·
1d
·
Discuss:
Hacker News
⏱️
Computational Complexity
From 8086 to
Z80
: Building a
NASM-Inspired
SDK for 8-Bit Retro Computing
hackaday.com
·
1d
💾
Retro Computing
iPhone 18
rumors
say Pro models will get exclusive camera upgrade
9to5mac.com
·
6h
🍎
Apple
Loading...
Loading more...
Page 2 »
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