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
🧮 Hindley-Milner
Type Inference, Unification, Principal Types, Let-Polymorphism
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123385
posts in
872.0
ms
Computing Least Fixed Points with
Overwrite
Semantics
in Parallel and Distributed Systems
arxiv.org
·
11h
🧩
Constraint Programming
Wheeler
Bisimulations
arxiv.org
·
2d
🌲
Binary Search Trees
Distinguish
between inference scaling and "
larger
tasks use more compute"
lesswrong.com
·
21h
🌲
Binary Search Trees
Formal
Verification Fundamentals Remain
Non-Negotiable
In The New Verification Revolution
semiengineering.com
·
8h
🧩
Constraint Programming
ECHO: Efficient
Covertly-Secure
Three-party
Computation
with Applications to Private Machine Learning
eprint.iacr.org
·
2d
🗂️
Hash Tables
Revisiting
Regular
Types
abseil.io
·
4d
💻
Programming Languages
Large Language Models for
Mortals
book released
crimede-coder.com
·
2d
·
Discuss:
Hacker News
🗣️
Natural Language Parsing
Deterministic
Inference with
EigenAI
deterministicinference.com
·
21h
📄
Document Versioning
How
Andrej
Karpathy
Built a Working Transformer in 243 Lines of Code
analyticsvidhya.com
·
2h
🗣️
Natural Language Parsing
Scripting on the
JVM
with Java,
Scala
, and Kotlin
mill-build.org
·
5h
·
Discuss:
Hacker News
,
r/programming
💻
Programming Languages
GLM
5 is already on
huggingface
!
huggingface.co
·
22h
·
Discuss:
r/LocalLLaMA
📄
Document Versioning
maja0027/xi-lang
: A binary graph-based programming language designed for AI authorship, machine execution, and mathematical
completeness
.
github.com
·
2d
·
Discuss:
Hacker News
🏗
Datastructures
what is the vertical
categorification
of inverse
semigroups
bsky.app
·
2d
·
Discuss:
Bluesky
🌲
Binary Search Trees
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
1d
·
Discuss:
Hacker News
🧮
Algorithms
AI Code’s Logic Can Now Be
Checked
From Within,
Bypassing
External Tests
quantumzeitgeist.com
·
1d
🧩
Constraint Programming
Package-Inferred
Systems are Dangerous
aartaka.me
·
2d
🏗
Datastructures
Talk:
Grats
- Bringing Implementation-First
GraphQL
to TypeScript
jordaneldredge.com
·
1d
🗂️
Columnar Storage
Proving
What's Possible
buttondown.com
·
21h
🧩
Constraint Programming
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
21h
·
Discuss:
Hacker News
🗂️
Hash Tables
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
1d
📄
Document Versioning
Loading...
Loading more...
« Page 2
•
Page 4 »
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