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
🧩 Types
type theory
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
20327
posts in
480.8
ms
The Missing
Programming
Language - Why There's No
S-Tier
Language (Yet)
hamy.xyz
·
5d
💻
Programming languages
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
🛡️
AI Security
These
Mathematicians
Are Trying to
Educate
A.I.
nytimes.com
·
2d
·
Discuss:
Hacker News
🧮
SMT Solvers
How
Lisp
Became
God
's Own Programming Language
twobithistory.org
·
5d
💻
Programming languages
Flow-Based Programming:
Seminal
Texts and
Theoretical
Foundations
repolex.ai
·
3d
·
Discuss:
Hacker News
💻
Programming languages
Brains as Computers:
Metaphor
,
Analogy
, Theory or Fact?
frontiersin.org
·
4d
🎭
Claude
What do LLMs think when you don't
tell
them what to think about?
together.ai
·
3d
🏗️
LLM Infrastructure
Long-Sought Proof
Tames
Some of Math’s
Unruliest
Equations
quantamagazine.org
·
3d
·
Discuss:
Hacker News
,
Hacker News
🧮
SMT Solvers
Economics
Puzzle Leads to a New Understanding of a
Fundamental
Law of Physics
caltech.edu
·
2d
·
Discuss:
Hacker News
⚛️
Physics
Private Data Space Model
privatedata.space
·
4d
📏
Linear Types
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
3d
📐
TLA+
Software Architecture and
Philosophical
Anthropology
michaelmangialardi.substack.com
·
3d
·
Discuss:
Substack
🔌
API Design Theory
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
2d
·
Discuss:
Hacker News
🧵
Concurrency Models
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
3d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
A
Dozen
Fragments
On Playground Theory
possumcreek.medium.com
·
4d
📖
Political Theory
Ethology
of
Latent
Spaces
arxiv.org
·
3d
🎯
Semantic Tokens
Thirteen
Constants
from Zero Free Parameters? What Did I Find?
quantummarmelade.substack.com
·
3d
·
Discuss:
Substack
⚛️
Physics
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
3d
🔓
Lock-Free Structures
Understanding LLM Inference
Engines
: Inside
Nano-vLLM
(Part 2)
neutree.ai
·
3d
·
Discuss:
Hacker News
🧠
LLM Inference
SyntagmaNull/synthetic-phenomenology
: A foundational framework for AI consciousness, structural
psychodynamics
, and transparency-based ethics. Co-authored by Human and AI.
github.com
·
2d
·
Discuss:
Hacker News
🎭
Claude
Loading...
Loading more...
« Page 3
•
Page 5 »
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