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
111798
posts in
640.3
ms
Dear
Agent:
Prove
it.
rijnard.com
·
1d
·
Discuss:
Hacker News
⚙
Low-level programming
Machine,
Elizabeth
Bear
blog.firedrake.org
·
3h
💻
Computer science
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
14h
⚙
Hardware design
What Agentic AI "Vibe Coding" In The Hands Of
Actual
Programmers
/ Engineers
stochasticlifestyle.com
·
23h
·
Discuss:
Hacker News
⚙
Low-level programming
The
Fourth
Wave
of Computing
lucibrowser.com
·
2h
·
Discuss:
Hacker News
⚙
Hardware design
Functional
Programming
in an LLM World
notes.druchan.com
·
2d
⚙
Low-level programming
The Seven
Qualification
Tests for an AI
Scientist
hackernoon.com
·
1d
💻
Computer science
Wider
systems for linear logic with fixed points: proof theory and
complexity
arxiv.org
·
1d
⚙
Low-level programming
Like
Stories
? Love Python! 📖🐍
Ep.5
dev.to
·
5h
·
Discuss:
DEV
⚙
Low-level programming
[
TUHS
] bare m4 (was BTL
summmer
employees)
tuhs.org
·
1d
·
Discuss:
Lobsters
⚙
Low-level programming
Lexer
, Parser,
Codegen
github.com
·
5h
·
Discuss:
DEV
⚙
Low-level programming
Recursive
Language Models: Stop
Stuffing
the Context Window
nlp.elvissaravia.com
·
16h
⚙
Low-level programming
Programming
is over
quanttype.net
·
17h
💻
Computer science
Proving
What's Possible
buttondown.com
·
1d
⚙
Low-level programming
Building an ARC-2
Solver
— From
Socratic
Panels to a Single Oracle
pub.towardsai.net
·
7h
⚙
Low-level programming
Informational
Inequivalence
of Formally Equivalent Mathematical Frameworks: A Multi-Framework Analysis of the Inverse Square Law
zenodo.org
·
7h
·
Discuss:
Hacker News
⚙
Low-level programming
The
calculus
tutorial just
shipped
!
minireference.com
·
19h
·
Discuss:
Hacker News
💻
Computer science
Polysemanticity
is a
Misnomer
lesswrong.com
·
18h
💻
Computer science
Designing and Using
Combinators
: The
Essence
of Functional Programming
cse.chalmers.se
·
3d
·
Discuss:
Hacker News
⚙
Low-level programming
Dyad
2.0: What Agentic AI means for the Future of Computer
Languages
- Blog
juliahub.com
·
17h
·
Discuss:
Hacker News
⚙
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