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
110963
posts in
1.81
s
Systematic Parameter Decision in
Approximate
Model
Counting
chipublib.idm.oclc.org
·
1d
✏️
Count-Min Sketch
Autonomous
Deepmind
AI Generates
Publishable
Math Papers – Next Accelerate Science Research
nextbigfuture.com
·
8h
🧮
SMT Solvers
Smarter together in
concrete
:one
unified
data language
concretedatamodel.com
·
33m
🔄
Salsa
A
note
on
parameterized
testing
blog.gnoack.org
·
15h
🧬
Mutation Testing
🧠 Programming
Idioms
— Common Code Patterns Across
Languages
programming-idioms.org
·
1d
·
Discuss:
DEV
🦀
Rust Macros
How to Build a Privacy-Preserving Federated Pipeline to Fine-Tune Large Language Models with
LoRA
Using Flower and
PEFT
marktechpost.com
·
2d
🦙
Ollama
A training
principle
for
drifting
models
breno.bearblog.dev
·
3h
🎯
Reinforcement Learning
Stop Optimizing for
Clicks
: The Case for
Uplift
Modeling in Notifications
hackernoon.com
·
9h
⚓
Anchors
Computational
Explorations
on
Semifields
arxiv.org
·
1d
📐
Computational Geometry
Show HN: Solving
Sudoku
reasoning via Energy
Geometric
models
davisgeometric.com
·
5h
·
Discuss:
Hacker News
📐
Computational Geometry
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
2d
·
Discuss:
r/rust
🦀
Rust Macros
I Built the First
Utility
Library for
GenLayer
dev.to
·
7h
·
Discuss:
DEV
🏗️
Pavex
Snakemake
snakemake.github.io
·
18m
⚡
Ruff
Zvec
: SQLite-like
simplicity
in an embedded vector database (By Alibaba)
zvec.org
·
2h
·
Discuss:
Hacker News
🧮
Vector Databases
A Theory for
Probabilistic
Polynomial-Time
Reasoning
arxiv.org
·
1d
⚡
X-Fast Tries
AI Apps Have a New Attack Surface:
External
Inputs
hackernoon.com
·
8h
🛡️
AI Security
Training Data from Real-World Sources
lightningrod.ai
·
17h
📱
Edge AI
The
BEHILOS
Benchmark: Performance Analysis of
Low-Footprint
CLI Search Tools
dev.to
·
2h
·
Discuss:
DEV
⚡
X-Fast Tries
How We Built the Fastest
Kimi
K2.5
on Artificial Analysis
baseten.co
·
23h
·
Discuss:
Hacker News
🔄
Glommio vs Tokio
Show Dev:
ARK
— The Sovereign Compiler for AI‑Native Code (Rust VM +
Neuro
‑Symbolic Runtime)
github.com
·
3h
·
Discuss:
DEV
🦀
Rust
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