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
🧮 Computational Theory
Automata, Turing Machines, Computability, Formal Languages
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
113109
posts in
271.2
ms
Wider
systems for linear logic with fixed points: proof theory and
complexity
arxiv.org
·
22h
âš™
Low-level programming
How
Transformer
Architecture
Powers
LLMs
dev.to
·
14h
·
Discuss:
DEV
âš™
Low-level programming
Programming
is over
quanttype.net
·
9h
💻
Computer science
Proving
What's Possible
buttondown.com
·
1d
âš™
Low-level programming
Smarter together in
concrete
:one
unified
data language
concretedatamodel.com
·
12h
âš™
Hardware design
The
calculus
tutorial just
shipped
!
minireference.com
·
10h
·
Discuss:
Hacker News
💻
Computer science
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
3d
·
Discuss:
Hacker News
âš™
Low-level programming
Polysemanticity
is a
Misnomer
lesswrong.com
·
10h
💻
Computer science
holland202/Sovereign-Suite-Manifest
: "A meta-cognitive architecture for recursive agentic orchestration and deterministic AI synthesis."
github.com
·
2h
·
Discuss:
Hacker News
âš™
Hardware design
Dyad
2.0: What Agentic AI means for the Future of Computer
Languages
- Blog
juliahub.com
·
8h
·
Discuss:
Hacker News
âš™
Low-level programming
The
Timeless
Way of
Programming
(2022)
tomasp.net
·
6h
·
Discuss:
Lobsters
,
Hacker News
âš™
Hardware design
TileIR
ianbarber.blog
·
23h
·
Discuss:
Hacker News
âš™
Hardware design
Balance
of
abstraction
aleksei.dev
·
7h
âš™
Hardware design
The
Univalence
Principle
golem.ph.utexas.edu
·
2d
âš™
Low-level programming
Noether
's
Theorem
grokipedia.com
·
8h
·
Discuss:
Hacker News
💻
Computer science
AI
uncovers
solutions to
Erdős
problems, moving closer to transforming math
scientificamerican.com
·
5h
💻
Computer science
Show HN: The
Algorithm
's Favorite Child
chatbotkit.com
·
12h
·
Discuss:
Hacker News
âš™
Low-level programming
LISP
Prolog
and Evolution
blog.samibadawi.com
·
1d
âš™
Low-level programming
Main
Content ||
Math
∩ Programming
jeremykun.com
·
4d
💻
Computer science
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
1d
âš™
Low-level programming
Loading...
Loading more...
« Page 1
•
Page 3 »
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