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
20694
posts in
656.4
ms
[2309.11300] Partial
monoid
actions on objects in categories with pullbacks and their
globalizations
arxiv.org
·
4d
💻
Programming languages
Linear
Realisability
and
Implicative
Algebras
arxiv.org
·
20h
📏
Linear Types
Long-Sought Proof
Tames
Some of Math’s
Unruliest
Equations
quantamagazine.org
·
3d
·
Discuss:
Hacker News
,
Hacker News
🧮
SMT Solvers
Private Data Space Model
privatedata.space
·
4d
📏
Linear Types
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
4d
📐
TLA+
Rethinking Time in
Computation
– From Wall
Clocks
to State Transitions
d1gesto.blogspot.com
·
3d
·
Discuss:
Hacker News
🧵
Concurrency Models
Software Architecture and
Philosophical
Anthropology
michaelmangialardi.substack.com
·
4d
·
Discuss:
Substack
🔌
API Design Theory
A
Dozen
Fragments
On Playground Theory
possumcreek.medium.com
·
5d
📖
Political Theory
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
🧮
SMT Solvers
Thirteen
Constants
from Zero Free Parameters? What Did I Find?
quantummarmelade.substack.com
·
3d
·
Discuss:
Substack
⚛️
Physics
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
·
3d
·
Discuss:
Hacker News
🎭
Claude
Using duality to
construct
and
classify
new quantum phases
phys.org
·
6d
🌌
Liu Cixin
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧮
SMT Solvers
In (highly
contingent
!) defense of
interpretability-in-the-loop
ML training
lesswrong.com
·
3d
🧠
LLM Inference
The
différance
engine: large language models and
poststructuralism
| AI & SOCIETY
link.springer.com
·
6d
💻
Programming languages
Kadajett/blECSd
: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com
·
3d
·
Discuss:
Hacker News
,
r/javascript
✏️
Code Editors
There are so many good ideas in
Haskell
, too bad they’re in
Haskell
so no one will ever use them for
anything
bsky.app
·
6d
·
Discuss:
Bluesky
💻
Programming languages
A Theory of
Cognitive
Inequality
davidbessis.substack.com
·
5d
·
Discuss:
Substack
🎭
Claude
A Quick
Introduction
to
OxCaml
noelwelsh.com
·
5d
·
Discuss:
Hacker News
💻
Programming languages
Loading...
Loading more...
« Page 4
•
Page 6 »
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