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
🧮 Theoretical Computer Science
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
16830
posts in
381.0
ms
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
1d
🔄
Session Type Inference
Codes for
Metastability-Containing
Addition
arxiv.org
·
1d
🌍
Topological Codes
The anti-Bayesian is standing at the back window with a shotgun, scanning for priors coming over the hill, while a million assumptions just walk right into his house through the front door. (also, an interesting point by
Yann
LeCun
about human language)
statmodeling.stat.columbia.edu
·
3d
🔲
Cellular Automata
Updates and Plans V: From
Boise
to Tel Aviv, Ceasefire, My 70th Birthday, Nostalgia, Problems, Outrageous
Conjectures
, Quantum, and AI
gilkalai.wordpress.com
·
6d
🕸️
Graph Algorithms
The Timeline for Replacing
Theorists
Is Not
Technological
4gravitons.com
·
3d
⚙️
Proof Engineering
The Weather-Report
Lie
: AI Isn’t
Fate
hackernoon.com
·
4d
🔲
Cellular Automata
V.I.
Arnold
, On teaching
mathematics
karlin.mff.cuni.cz
·
2d
·
Discuss:
Hacker News
📐
Mathematical Art
Nobody
knows
how the whole system works
surfingcomplexity.blog
·
1d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🧲
Magnetic Philosophy
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚔️
Lean Tactics
michaelhelvey/lilfuture
: Educational async runtime for Rust
github.com
·
4d
🦀
Rust Macros
Tech Things:
Moltbook
isn’t real but it can still
hurt
you
12gramsofcarbon.com
·
2d
·
Discuss:
Hacker News
⚖️
Emulation Ethics
**Title**
dev.to
·
3d
·
Discuss:
DEV
👁️
Perceptual Hashing
Python’s
Truthiness
: A Code Smell Worth
Sniffing
owl.billpg.com
·
3d
·
Discuss:
Hacker News
🧪
Binary Fuzzing
Field theory and the rise of
ambition
machines
fieldtheory.dev
·
3d
·
Discuss:
Hacker News
🧲
Magnetic Philosophy
Whether they are building agents or
folding
proteins
, LLMs need a friend
theregister.com
·
2d
·
Discuss:
Hacker News
💻
Local LLMs
SyntagmaNull/synthetic-phenomenology
: A foundational framework for AI consciousness, structural
psychodynamics
, and transparency-based ethics. Co-authored by Human and AI.
github.com
·
3d
·
Discuss:
Hacker News
🔲
Cellular Automata
Waterloo
Style
theprogrammersparadox.blogspot.com
·
3d
·
Discuss:
Hacker News
🕹
Emulation Theory
Efficiency
and Performance
dev.to
·
3d
·
Discuss:
DEV
🔩
Systems Programming
Evaluate generative AI models with an Amazon Nova
rubric-based
LLM judge on Amazon
SageMaker
AI (Part 2)
aws.amazon.com
·
3d
🔲
Cellular Automata
The Little Book of
Linear
Algebra
little-book-of.github.io
·
4d
📐
Linear Algebra
Loading...
Loading more...
« Page 6
•
Page 8 »
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