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, Principal Types, Polymorphism, Type Reconstruction
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
112859
posts in
584.9
ms
Towards Term-based Verification of
Diagrammatic
Equivalence
arxiv.org
·
20h
🔗
Graph Rewriting
A
RISC-V
vector
extension primer
blog.adafruit.com
·
9h
🔧
RISC-V
Proving
What's Possible
buttondown.com
·
1d
📜
Proof Languages
Issue 638
datascienceweekly.substack.com
·
5h
·
Discuss:
Substack
🌱
Minimal ML
An
Ontology
of Representations: Limits of
Universality
lesswrong.com
·
3h
💫
Effect Systems
nil
in Go Is Not What You Think
sushantdhiman.dev
·
7h
·
Discuss:
r/golang
🐹
Minimal Go
🔗 Explainer:
Tree-sitter
vs.
LSP
yellowduck.be
·
16h
🌲
Tree-sitter
TileIR
ianbarber.blog
·
21h
·
Discuss:
Hacker News
⚡
Partial Evaluation
BetaZero
V2: A Diffusion Model for Setting
Boulder
Problems
evmojo37.substack.com
·
2h
·
Discuss:
Substack
🪜
Recursive Descent
The Machine Learning
Practitioner
’s Guide to
Speculative
Decoding
machinelearningmastery.com
·
1d
🚀
Tokenizer Performance
LateOn-Code
&
ColGrep
: LightOn unveils state-of-the-art code retrieval models and code search tooling
huggingface.co
·
9h
·
Discuss:
Hacker News
🔤
Language Tokenizers
CodeSpeak
: Software Engineering with AI
codespeak.dev
·
4h
·
Discuss:
Lobsters
,
Hacker News
🎭
Program Synthesis
Deterministic
Inference with
EigenAI
deterministicinference.com
·
1d
🗺️
Region Inference
Moltis
: Rust based AI assistant with memory, tools, and
self-extending
skills
moltis.org
·
6h
·
Discuss:
Hacker News
🚂
Cranelift Backend
The programming language after
Kotlin
– with the
creator
of
Kotlin
newsletter.pragmaticengineer.com
·
5h
·
Discuss:
Lobsters
🌈
Gradual Languages
Karpathy
's
Micro
LLM in JavaScript
github.com
·
9h
·
Discuss:
Hacker News
🌱
Minimal ML
Wheeler
Bisimulations
arxiv.org
·
2d
🔍
Type Inference
A
note
on
parameterized
testing
blog.gnoack.org
·
1d
🧪
Compiler Testing
Show HN: The
Algorithm
's Favorite Child
chatbotkit.com
·
10h
·
Discuss:
Hacker News
💬
Interactive REPLs
How
Andrej
Karpathy
Built a Working Transformer in 243 Lines of Code
analyticsvidhya.com
·
12h
🪜
Recursive Descent
Sign up or log in to see more results
Sign Up
Login
« Page 2
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