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
🔢 Computability Theory
Turing Machines, Decidability, Halting Problem, Church-Turing
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
5443
posts in
15.6
ms
Computability
of the
Hahn-Banach
Theorem Revisited
arxiv.org
·
1d
🎯
Fixed Point Theory
Formal
Verification: The Ultimate
Fitness
Function
lesswrong.com
·
11h
🔍
Formal Verification
Utterly
useless
yet fun sorting algorithms
github.com
·
2h
·
Discuss:
r/programming
⏱️
Computational Complexity
Efficient
Reasoning
on the Edge
arxiv.org
·
1d
🧠
Automated Reasoning
In search of
falsehood
– using
Opus
4.6 to prove False
tristan.st
·
15h
·
Discuss:
Hacker News
📐
Hoare Logic
Vector
, the Journal of the British
APL
Association
web.archive.org
·
14h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Data is Code (2016)
haskellforall.com
·
6h
·
Discuss:
Lobsters
🧮
Lambda Calculus
The
Abstraction
Ratchet
write.as
·
1d
·
Discuss:
Hacker News
🔬
Static Analysis
Latent Reasoning
Sprint
#2: Token-Based Signals and Linear
Probes
lesswrong.com
·
6h
📚
Automata Learning
Infinitely
many
primes
end in a 7
hidden-phenomena.com
·
2h
·
Discuss:
Hacker News
🔗
Curry-Howard
Less-relevant results
Undone
Computer Science
undonecs.org
·
1d
·
Discuss:
Lobsters
🔬
Reverse Engineering
An alternative
derivation
of
Shannon
entropy.
iczelia.net
·
12h
·
Discuss:
Hacker News
🧮
Lambda Calculus
Optimizing Models of Hybrid
Quantum/Classical
Computation
[PDF] (2024)
repositorio-aberto.up.pt
·
2d
·
Discuss:
Lobsters
📐
Linear Algebra
My memory isn't getting worse, it's just using
exponential
decay
chunkofcoal.com
·
1d
·
Discuss:
r/programming
🏃
Escape Analysis
Study: Consumers Show No
Impairment
in Their Next-Day Driving Performance Despite Residual
THC
Blood Levels
norml.org
·
5h
🔧
Microcontrollers
LATTE
’26: Workshop on Languages, Tools, and Techniques for
Accelerator
Design
capra.cs.cornell.edu
·
11h
·
Discuss:
Hacker News
⚙️
Compiler Design
iPhone 18
rumors
say Pro models will get exclusive camera upgrade
9to5mac.com
·
17h
🍎
Apple
The Talk Show: ‘The
Pogue
Feature’
daringfireball.net
·
12h
📺
Vintage Apple
North Korea's 100,000-strong fake IT worker army
rake
in $
500M
a year for Kim Jong Un
theregister.com
·
10h
📦
Unikernel Systems
Simple
MIDI
Sample Player Runs on
ESP32
hackaday.com
·
2h
🔌
IOKit
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