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
20675
posts in
725.9
ms
An Equational
Axiomatization
of Dynamic Threads via Algebraic Effects:
Presheaves
on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org
·
1d
🔓
Lock-Free Structures
Locas
: Your Models are Principled
Initializers
of Locally-Supported Parametric Memories
arxiv.org
·
1d
🧠
LLM Inference
On
Goal-Models
lesswrong.com
·
4d
💻
Programming languages
Formally
Verifying
PBS Kids with
Lean4
shadaj.me
·
5d
·
Discuss:
Hacker News
💻
Programming languages
What Prediction
Feels
Like: From
Thermodynamics
to Mind
3quarksdaily.com
·
4d
·
Discuss:
Hacker News
💻
Programming languages
Untangling
Literate
Programming
quotenil.com
·
5d
🪄
Prompt Engineering
(1) Demystifying
SKOS
for Practitioners: A Practical Guide to Controlled
Vocabularies
moderndata101.substack.com
·
5d
·
Discuss:
Substack
🧠
Obsidian
Greenspun
's
Tenth
Rule
en.wikipedia.org
·
5d
·
Discuss:
Hacker News
💻
Programming languages
meth: A Python library to
parse
and
evaluate
mathematical equations.
github.com
·
3d
🕯️
Candle
Use Custom Python
Objects
In A
Boolean
Context
blog.dailydoseofds.com
·
5d
📊
ModernBERT
Beliefs
, Behaviors, and
Belonging
zwieblein.bearblog.dev
·
5d
🧘
Digital Minimalism
Kolakoski
Sequence
en.wikipedia.org
·
4d
·
Discuss:
Hacker News
💻
Programming languages
Three Ones and
Aristotle
’s
Metaphysics
Research
metaphysicsjournal.com
·
5d
📖
Political Theory
Bridges
, Not
Primitives
lesswrong.com
·
4d
🗳️
Paxos Variants
The Hot
Mess
of AI: How Does
Misalignment
Scale with Model Intelligence and Task Complexity?
alignment.anthropic.com
·
4d
·
Discuss:
Hacker News
🛡️
AI Safety
Geometry
behind how AI agents learn revealed
techxplore.com
·
6d
🆕
New AI
Shakespeare
and
Mathematics
folger.edu
·
6d
·
Discuss:
Hacker News
🌳
Data Structures
Calling
Lean
Functions
As Python
Functions
philipzucker.com
·
5d
·
Discuss:
Lobsters
,
Hacker News
📦
uv
LLMs
achieve
adult
human performance on higher-order "theory of mind" tasks
pmc.ncbi.nlm.nih.gov
·
5d
·
Discuss:
Hacker News
🏆
LLM Benchmarking
Beta Release:
Predicated
Recursive
Descent
for Rust
wareya.wordpress.com
·
5d
·
Discuss:
Hacker News
⚙
Rust Compiler Internals
Loading...
Loading more...
« Page 5
•
Page 7 »
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