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
112033
posts in
530.2
ms
Smarter together in
concrete
:one
unified
data language
concretedatamodel.com
·
20h
âš™
Hardware design
The
Timeless
Way of
Programming
(2022)
tomasp.net
·
14h
·
Discuss:
Lobsters
,
Hacker News
âš™
Hardware design
TileIR
ianbarber.blog
·
1d
·
Discuss:
Hacker News
âš™
Hardware design
Balance
of
abstraction
aleksei.dev
·
15h
âš™
Hardware design
The
Univalence
Principle
golem.ph.utexas.edu
·
2d
âš™
Low-level programming
Noether
's
Theorem
grokipedia.com
·
16h
·
Discuss:
Hacker News
💻
Computer science
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
2d
âš™
Low-level programming
Software AI
Platforms
trendhunter.com
·
13h
âš™
Low-level programming
LISP
Prolog
and Evolution
blog.samibadawi.com
·
1d
âš™
Low-level programming
Main
Content ||
Math
∩ Programming
jeremykun.com
·
4d
💻
Computer science
Show HN: The
Algorithm
's Favorite Child
chatbotkit.com
·
20h
·
Discuss:
Hacker News
âš™
Low-level programming
Formal
Methods
Practice and Theory
adacore.com
·
2d
·
Discuss:
Hacker News
âš™
Low-level programming
Beyond
Kuramoto
Models: Associative Memory and Plastic
Synapses
in ML Ensembles
hackernoon.com
·
1d
âš™
Low-level programming
The
Redundancy
Paradox
mihirdeshpande.com
·
18h
·
Discuss:
Hacker News
âš™
Hardware design
AI-Powered Knowledge Graph Generator &
APTs
, (Thu,
Feb
12th)
isc.sans.edu
·
8h
âš™
Low-level programming
Wikipedia
en.wikipedia.org
·
1d
💻
Computer science
Trace
Length
is a Simple Uncertainty Signal in Reasoning Models
machinelearning.apple.com
·
11h
âš™
Low-level programming
AI
uncovers
solutions to
Erdős
problems, moving closer to transforming math
scientificamerican.com
·
13h
·
Discuss:
Hacker News
💻
Computer science
A research
agenda
for the final year
lesswrong.com
·
18h
💻
Computer science
microgpt
karpathy.github.io
·
1d
·
Discuss:
Hacker News
âš™
Hardware design
Sign up or log in to see more results
Sign Up
Login
« 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