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
Computer Science
💻 Computer Science
Broad
algorithms, computation, complexity theory, programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
109
posts in
6.1
ms
Show HN:
TuringLLM
– a LLM-powered Universal Turing
machine
⚛️
Quantum Computing
Content type:
Code
github.com
·
5d
5 days ago
·
Hacker News
Actions for Show HN: TuringLLM – a LLM-powered Universal Turing machine
Samuel Mimram — CSC_51051_EP --
Computational
logic: from Artificial intelligence to Zero bugs
♟️
Game Theory
lix.polytechnique.fr
·
11h
11 hours ago
Actions for Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs
𝜇𝜆ϵ
𝛿-Calculus
: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
♟️
Game Theory
Content type:
Academic
arxiv.org
·
1d
1 day ago
·
Lobsters
Actions for 𝜇𝜆ϵ𝛿-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities
A Proof on the
Computational
Complexity
of the Traveling Salesman Problem: Why P ≠
NP
♟️
Game Theory
zenodo.org
·
21h
21 hours ago
·
Hacker News
Actions for A Proof on the Computational Complexity of the Traveling Salesman Problem: Why P ≠ NP
Co-Creator
of Haskell: Functional
Programming
, Thinking in Types, Useless Languages | Simon Jones
♟️
Game Theory
Content type:
News
developing.dev
·
2d
2 days ago
Actions for Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages | Simon Jones
Turing
universal neural networks do not require global clocks
⚛️
Quantum Computing
Content type:
Academic
nature.com
·
5d
5 days ago
·
Hacker News
Actions for Turing universal neural networks do not require global clocks
Proof System Timelines
♟️
Game Theory
Content type:
Blog
klatz.co
·
2d
2 days ago
Actions for Proof System Timelines
Programming
Languages Software Award
🤖
AI
sigplan.org
·
13h
13 hours ago
Actions for Programming Languages Software Award
Design
Reliable, Scalable Distributed Systems
♟️
Game Theory
fizzbee.io
·
6d
6 days ago
Actions for Design Reliable, Scalable Distributed Systems
Programming
Languages Course Reboot, 2026
♟️
Game Theory
Content type:
Reference
docs.google.com
·
1d
1 day ago
·
Lobsters
,
Hacker News
Actions for Programming Languages Course Reboot, 2026
Are Neural Networks Collision Resistant?
🤖
AI
link.aps.org
·
5d
5 days ago
Actions for Are Neural Networks Collision Resistant?
The Birth of ‘Artificial Intelligence’
🤖
AI
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
🤖
AI
techxplore.com
·
1d
1 day ago
Actions for Asynchronous AI cuts computing energy by orders of magnitude while learning continuously
Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.
🤖
AI
Content type:
Video
youtube.com
·
5d
5 days ago
·
DEV
Actions for Amazon S3 Doesn't Hope Hardware Won't Fail. It Assumes It Already Has.
Links 08/06/2026: "Rising Emissions, Depleting Water" Due to the Pyramid Scheme of Slop; "Canada Needs to Rebuild Public Telecoms"
🤖
AI
techrights.org
·
2d
2 days ago
Actions for Links 08/06/2026: "Rising Emissions, Depleting Water" Due to the Pyramid Scheme of Slop; "Canada Needs to Rebuild Public Telecoms"
Subversion-Resistance for Free from
Formal
Verification
♟️
Game Theory
lesswrong.com
·
1d
1 day ago
Actions for Subversion-Resistance for Free from Formal Verification
On Architecture Research
🤖
AI
plugyawn.com
·
5d
5 days ago
Actions for On Architecture Research
The Future Is Undecidable. Duty Is Not.
⚛️
Quantum Computing
Content type:
Blog
dhanjit.me
·
2d
2 days ago
·
Hacker News
Actions for The Future Is Undecidable. Duty Is Not.
Generalizing LCL
Complexity
Gaps to Unbounded Degree via Monadic Second-Order Properties
⚛️
Quantum Computing
Content type:
Academic
arxiv.org
·
17h
17 hours ago
Actions for Generalizing LCL Complexity Gaps to Unbounded Degree via Monadic Second-Order Properties
Why Compiler Engineers Rarely Use Strassen's
Algorithm
for Fast Matrix Multiplications
⚛️
Quantum Computing
Content type:
News
Content type:
Blog
leetarxiv.substack.com
·
2d
2 days ago
·
Substack
,
r/programming
Actions for Why Compiler Engineers Rarely Use Strassen's Algorithm for Fast Matrix Multiplications
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