Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Computability
🖥️ Computability
Turing machines, decidability, complexity theory, halting problem
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
30
posts in
12.0
ms
Show HN:
TuringLLM
– a LLM-powered Universal Turing
machine
🤔
Philosophy of CS
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for Show HN: TuringLLM – a LLM-powered Universal Turing machine
Proof System Timelines
⊢
Logic
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
On the
Complexity
of the Bi-infinite Post Correspondence
Problem
🤔
Philosophy of CS
Content type:
Academic
arxiv.org
·
23h
23 hours ago
Actions for On the Complexity of the Bi-infinite Post Correspondence Problem
Co-Creator
of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
🔷
Functional Programming
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
The Future Is Undecidable. Duty Is Not.
🤔
Philosophy of CS
Content type:
Blog
dhanjit.me
·
3d
3 days ago
·
Hacker News
Actions for The Future Is Undecidable. Duty Is Not.
Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
λ
Type Theory
lix.polytechnique.fr
·
18h
18 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
Turing
universal neural networks do not require global clocks
🤔
Philosophy of CS
Content type:
Academic
nature.com
·
6d
6 days ago
·
Hacker News
Actions for Turing universal neural networks do not require global clocks
The Birth of ‘Artificial Intelligence’
🤔
Philosophy of CS
dartmouthalumnimagazine.com
·
1d
1 day ago
Actions for The Birth of ‘Artificial Intelligence’
Asynchronous AI cuts computing energy by orders of magnitude while learning continuously
🤔
Philosophy of CS
techxplore.com
·
2d
2 days ago
Actions for Asynchronous AI cuts computing energy by orders of magnitude while learning continuously
On Architecture Research
🤔
Philosophy of CS
plugyawn.com
·
5d
5 days ago
Actions for On Architecture Research
Programming Languages Course Reboot, 2026
🔷
Functional Programming
Content type:
Reference
docs.google.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Focus is Motivation
🤔
Philosophy of CS
Content type:
Blog
scotthyoung.com
·
6d
6 days ago
Actions for Focus is Motivation
𝜇𝜆ϵ
𝛿-Calculus
: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
2d
2 days ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
Less-relevant results
Subversion-Resistance for Free from Formal Verification
λ
Lambda Calculus
lesswrong.com
·
1d
1 day ago
Actions for Subversion-Resistance for Free from Formal Verification
Using Ropes for Computation
🔷
Functional Programming
wiki.xxiivv.com
·
6d
6 days ago
·
Hacker News
Actions for Using Ropes for Computation
𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼 ƎϽИƎꓨI⅃ƎTИI ƎVIƧƎIOꟼOTUA AUTOPOIESIVE INTELIGENCE 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪�
🤔
Philosophy of CS
ghostarchive.org
·
6d
6 days ago
Actions for 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼 ƎϽИƎꓨI⅃ƎTИI ƎVIƧƎIOꟼOTUA AUTOPOIESIVE INTELIGENCE 𖡼⚪𖡗⚪𔗢⚪𖡗⚪𖡼◦୦◦◯◦୦◦⠀⠀⠀⠀⠀⠀◦୦◦◯◦୦◦𖡼⚪𖡗⚪𔗢⚪𖡗⚪�
Generalizing LCL
Complexity
Gaps to Unbounded Degree via Monadic Second-Order Properties
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
23h
23 hours ago
Actions for Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
Human-Like Neural Nets by Catapulting
🤔
Philosophy of CS
gwern.net
·
4d
4 days ago
·
Hacker News
Actions for Human-Like Neural Nets by Catapulting
Discovering Multiscale Deep Formulas in
Complex
Systems via Neural-Guided
Lambda
Calculus
λ
Lambda Calculus
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Discovering Multiscale Deep Formulas in Complex Systems via Neural-Guided Lambda Calculus
A Mike's-Eye View of ARC's Research
🤔
Philosophy of CS
lesswrong.com
·
1d
1 day ago
Actions for A Mike's-Eye View of ARC's Research
Page 2 »
Log in to enable infinite scrolling
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
Save / unsave
s
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