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, Polymorphism, ML-family
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
110900
posts in
1.91
s
intersection
type in
nLab
ncatlab.org
·
2d
📐
Type Theory
AI
Iteration
Platforms
trendhunter.com
·
1d
💬
Prompt Engineering
Go -
Unit
&
Integration
Testing
linkedin.com
·
21h
·
Discuss:
r/programming
🧪
Testing
N-Grams
and Other
Experiments
dotterrer.bearblog.dev
·
1d
🔄
Burrows-Wheeler Transform
New Generative
Paradigm
:
Drifting
Model
mail.bycloud.ai
·
1d
📱
Edge AI
Show HN: The
Algorithm
's Favorite Child
chatbotkit.com
·
2h
·
Discuss:
Hacker News
⚓
Anchors
The
Mechanics
of Autonomous Software
Translation
alperenkeles.com
·
1d
🎭
Program Synthesis
Decoupling
Monolithic
APIs for Mobile Teams in 2026
indiit.com
·
7h
·
Discuss:
DEV
🎯
Microservices
Designing
Polynomials
Using the Sum of
Gradients
at the Roots
pub.towardsai.net
·
2h
🔢
Numerical Methods
The
Observer
Lemma
zenodo.org
·
17h
·
Discuss:
Hacker News
👁️
Observability
Practical
Refinement
Session Type Inference (
Extended
Version)
arxiv.org
·
3d
🔍
Type Inference
A Coding Implementation to Establish Rigorous Prompt
Versioning
and Regression Testing Workflows for Large Language Models using
MLflow
marktechpost.com
·
3d
🚀
MLOps
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
∘
Category Theory
Moltis
: a personal AI
assistant
built in Rust
pen.so
·
10h
·
Discuss:
r/rust
🚀
Shuttle
Using Generative AI
tooling
with
Clojure
dev.solita.fi
·
1d
🔄
Transducers
Polysemanticity
is a
Misnomer
lesswrong.com
·
35m
💫
Effect Systems
Deterministic
Inference with
EigenAI
deterministicinference.com
·
23h
📱
Edge AI
Architectural and Mathematical
Foundations
of Machine Learning: A
Rigorous
Synthesis of Theory, Geometry, and Implementation
chizkidd.github.io
·
1d
·
Discuss:
Hacker News
📊
Optimization
Fast Museum Searches: Go
Concurrency
and
Caching
pkg.go.dev
·
1d
·
Discuss:
DEV
🔵
Go
EvoCodeBench
: A Human-Performance Benchmark for
Self-Evolving
LLM-Driven Coding Systems
arxiv.org
·
12h
🔧
LLVM IR Optimization
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