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
🔍 Type Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74301
posts in
573.4
ms
Optimal
Abstractions
for Verifying Properties of Kolmogorov-Arnold Networks (
KANs
)
arxiv.org
·
9h
🧮
SMT Solvers
ExpressivityBench
: Can LLMs Communicate
Implicitly
?
arxiv.org
·
9h
🦙
Ollama
On
Linguistic
Precision
blog.firedrake.org
·
2d
📝
Parsing
Manton
Reece
- Read the code
manton.org
·
1d
⚛️
Calvin
Sampling the
Oxford
CS
Library
blog.computationalcomplexity.org
·
5d
·
Discuss:
blog.computationalcomplexity.org
🎰
Treap
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
·
2d
⏰
Lamport Clocks
AI Role-Playing Characters Gain
Consistency
With
Automatically
Built ‘state Of Mind’ Models
quantumzeitgeist.com
·
2d
📖
Interactive Fiction
Logic
for
Programmers
New Release and Next Steps
buttondown.com
·
5d
📊
Datalog
Hardness
of
hinted
ISIS from the space-time
hardness
of lattice problems
eprint.iacr.org
·
4d
🔢
Homomorphic Encryption
Introduction to
Abject-Oriented
Programming (2007)
typicalprogrammer.com
·
1d
·
Discuss:
Hacker News
🦀
Rust Macros
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1d
·
Discuss:
Hacker News
⚡
ZGC
Theory-independent monitoring of the
decoherence
of a superconducting qubit with generalized
contextuality
nature.com
·
2d
⚛️
Quantum Computing
On
variability
surfingcomplexity.blog
·
1d
⚡
Incremental Computation
First
Proof
| Research-Level
Math
for AI Evaluation
1stproof.org
·
3d
·
Discuss:
Hacker News
🧮
SMT Solvers
Designing
MCP tool
schemas
that LLMs understand
news.ycombinator.com
·
9h
·
Discuss:
Hacker News
🦙
Ollama
The AI Value
Paradox
dev.to
·
2h
·
Discuss:
DEV
💬
Prompt Engineering
What should I program?
jamesmcm.github.io
·
1d
🦀
Rust
Hello Edge: Keyword
Spotting
on
Microcontrollers
paperium.net
·
2d
·
Discuss:
DEV
📱
Edge AI
Pascal-J/type-system-j
: adds an
optional
type system to J language
github.com
·
5d
·
Discuss:
Lobsters
📐
Type Theory
LISP
:
Symbolic
Architecture and the Evolution of Agentic Systems
notebooklm.google.com
·
3d
🔄
Concurrency Models
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