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
74225
posts in
314.0
ms
Doc2Spec
:
Synthesizing
Formal Programming Specifications from Natural Language via Grammar Induction
arxiv.org
·
3d
🎭
Program Synthesis
Mechanized
Undecidability
of Higher-order beta-Matching (Extended Version)
arxiv.org
·
6d
🧮
SMT Solvers
News for January 2026
ptreview.sublinear.info
·
3d
🕸️
GraphBLAS
AL,
Logical
mathhombre.blogspot.com
·
4d
·
Discuss:
mathhombre.blogspot.com
📊
Datalog
Issue 742
iosdevweekly.com
·
3d
🧊
Iced
The Spec Problem, Part 2:
Dialectical
Refinement
blog.gorewood.games
·
3d
🎭
Program Synthesis
Fastfood
: Approximate Kernel Expansions in
Loglinear
Time
dev.to
·
1d
·
Discuss:
DEV
🎯
Qdrant
Hamming
Distance for Hybrid Search in
SQLite
notnotp.com
·
4d
·
Discuss:
r/programming
📋
Columnar Storage
AI Inference
Pipelines
– Building Low-Latency Systems With
gRPC
youtube.com
·
4d
🔌
gRPC
C
Programming
: A Complete
Beginner
's Guide to Starting Your Coding Journey
dev.to
·
2d
·
Discuss:
DEV
🔬
Static Analysis
wingolog
wingolog.org
·
3d
🦀
Rust
Functional
Programming
Bits
in Python
martynassubonis.substack.com
·
6d
·
Discuss:
Substack
,
r/programming
,
r/webdev
λ
Functional Programming
Reasons for Logic, Logic for Reasons:
Pragmatics
, Semantics, and
Conceptual
Roles / Reviews
ndpr.nd.edu
·
6d
∘
Category Theory
A
tale
of two
Claudes
steveklabnik.com
·
3d
📚
Stack Unwinding
**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
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
Millets
: A practical memory-safety and thread-safety
experiment
eagledot.xyz
·
5d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Memory Safety
LlamaLib
: A cross-platform C++/C# library for local LLMs based on
llama.cpp
github.com
·
2d
·
Discuss:
Hacker News
🦙
Ollama
Loading...
Loading more...
« Page 10
•
Page 12 »
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