Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 Hindley-Milner
Type Inference, Unification, Polymorphism, ML-family
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
145182
posts in
27.8
ms
On language models and
intuition
aleksei.dev
·
14h
🌳
Tree-sitter
Constructing
(Co)
inductive
Types via Large Sizes
arxiv.org
·
5d
🔍
Type Inference
anadim/AdderBoard
: Smallest transformer that can add two 10-digit numbers
github.com
·
20h
🌳
Pratt Parsing
TorchLean
:
Formalizing
Neural Networks in Lean
leandojo.org
·
6h
·
Discuss:
Hacker News
🔥
PyTorch
QORA
- Native Rust LLM
Inference
Engine
huggingface.co
·
16h
·
Discuss:
DEV
🍱
Nom
Power of C++26 Reflection: Strong (
opaque
) type
definitions
godbolt.org
·
1d
·
Discuss:
r/cpp
👻
Phantom Types
Custom Data
Structures
in
E-Graphs
uwplse.org
·
14h
·
Discuss:
Lobsters
,
Hacker News
🪢
Rope Data Structure
Differential
Logic
• 14
inquiryintoinquiry.com
·
17h
🧮
Algebraic Effects
What
Happens
When a GPT
Reads
Your Message
pub.towardsai.net
·
2h
🧮
Embeddings
Sparse Activation in
MoE
Models: Extending
ReLUfication
to Mixture-of-Experts
hackernoon.com
·
1d
💬
Prompt Engineering
Effectful
Toposes
and Their
Lawvere-Tierney
Topologies
arxiv.org
·
2d
∘
Category Theory
Scaling ML Inference on Databricks: Liquid or
Partitioned
?
Salted
or Not?
towardsdatascience.com
·
20h
📊
Vectorized Query Execution
I'm Building a
Programming
Language From
Scratch
. Here's What That's Actually Like.
dev.to
·
16h
·
Discuss:
DEV
🦀
Rust Macros
TENSURE
: Fuzzing Sparse Tensor
Compilers
(Registered Report)
ndss-symposium.org
·
8h
·
Discuss:
Hacker News
🤖
TVM
Computer science
eponyms
nick-black.com
·
3h
🧮
Vector Databases
A Machine Learning Crash
Course
backdrifting.net
·
1d
🧠
Machine Learning
My AI development
stack
ultralinx.notion.site
·
2h
🎭
Program Synthesis
The
Topology
of LLM
Behavior
lesswrong.com
·
1d
⚓
Anchors
The Lie algebra of XY-mixer
topologies
and warm starting
QAOA
for constrained optimization
nature.com
·
1d
⚛️
Quantum Computing
ForLoopCodes/contextplus
: Semantic Intelligence for Large-Scale Engineering. Context+ is an MCP server designed for developers who demand 99% accuracy. By combining Tree-sitter AST parsing, Spectral Clustering, and Obsidian-style linking, Context+ turns a massive codebase into a searchable, hierarchical feature graph.
github.com
·
17h
🏗️
MLIR
Loading...
Loading more...
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