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
🔍 Type Inference
Hindley-Milner, Unification, Constraint Solving, OCaml Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
74140
posts in
567.7
ms
News for January 2026
ptreview.sublinear.info
·
3d
🕸️
GraphBLAS
Issue 742
iosdevweekly.com
·
3d
🧊
Iced
StraTyper
: Automated Semantic Type Discovery and Multi-Type
Annotation
for Dataset Collections
arxiv.org
·
4d
🎯
Qdrant
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
3d
🎭
Program Synthesis
From Turbo
Pascal
to TypeScript: Anders
Hejlsberg
on Language Design, Scale, and AI
dev.to
·
2d
·
Discuss:
DEV
🔨
Compiler Design
The Secret Life of Python: The
Silent
Type (Type
Casting
)
dev.to
·
4d
·
Discuss:
DEV
🏷️
Pointer Tagging
E-Globe: Scalable $\
epsilon
$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware
Branching
arxiv.org
·
3d
📐
TLA+
Hamming
Distance for Hybrid Search in
SQLite
notnotp.com
·
4d
·
Discuss:
r/programming
📋
Columnar Storage
Finding the needle in the
logstack
: Reducing LLM context with
TF-IDF
eliseomartelli.it
·
3d
🦙
Ollama
Dynamic Reports: Natural Language
Queries
with
On-the-Fly
Code Generation
angulararchitects.io
·
3d
🏗️
Pavex
language games
ascara.bearblog.dev
·
3d
📖
Interactive Fiction
AI Inference
Pipelines
– Building Low-Latency Systems With
gRPC
youtube.com
·
4d
🔌
gRPC
wingolog
wingolog.org
·
3d
🦀
Rust
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
6d
·
Discuss:
Substack
,
r/programming
,
r/webdev
λ
Functional Programming
Implementing
Automated Rules-Based
Evaluations
for LLM Applications
github.com
·
3d
·
Discuss:
DEV
🦙
Ollama
**Abstract:** The increasing volume and complexity of international standards across diverse fields
necessitate
efficient translation and harmonization
strat
...
freederia.com
·
3d
🔍
Meilisearch
Spectral Approximation and Probabilistic Verification of Non‑trivial Zeros of
Rankin
–
Selberg
L‑Functions on GL(3) via Random Matrix Ensembles and Bayesian Inference
freederia.com
·
2d
🔢
Homomorphic Encryption
The Hard
Limit
of
Prompting
— and Why AI Agents Need Tools
pub.towardsai.net
·
3d
💬
Prompt Engineering
The
Null
Pointer
Crisis: Running God-Mode Software on Legacy Hardware
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
🔄
Memory Disambiguation
Episodic
memory in AI agents
poses
new safety risks
lesswrong.com
·
4d
🧮
Algebraic Effects
Loading...
Loading more...
« Page 9
•
Page 11 »
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