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, Algorithm W, Constraint Generation, Unification
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
80232
posts in
555.5
ms
Protean
Compiler: An
Agile
Framework to Drive Fine-grain Phase Ordering
arxiv.org
·
1d
🔄
Nanopass
Inference-Time Rethinking with
Latent
Thought
Vectors
for Math Reasoning
arxiv.org
·
1d
🎯
Constraint Solving
Rebuilding
the
spellchecker
zverok.space
·
2d
⚡
Tokenizer Benchmarks
RFC 3092:
Etymology
of "
Foo
"
datatracker.ietf.org
·
1d
·
Discuss:
Hacker News
📚
Factor
Logic
Puzzles
: Why the
Liar
Is the Helpful One
blog.szczepan.org
·
3d
·
Discuss:
Hacker News
📜
Proof Languages
CloudSeed
Rust - A Fullstack Rust Boilerplate for Building
Webapps
in Minutes
hamy.xyz
·
1d
🚂
Cranelift Backend
fts
_
depends
- Windows Dependency Checker
forrestthewoods.com
·
2d
📦
Dependency Analysis
C++
Implementing
a Chaos Game
simulator
solarianprogrammer.com
·
2d
📚
Self-Documenting Code
🎲 TypeScript
strictness
is
non-monotonic
: strict-null-checks and no-implicit-any interact
huonw.github.io
·
3d
🔧
API Design
Building Highly Efficient Inference System for
Recommenders
Using
PyTorch
pytorch.org
·
4d
·
Discuss:
Hacker News
✨
Gleam
Operations
on a B+-
Tree
: How the Search Works
dev.to
·
1d
·
Discuss:
DEV
🌳
B+ Trees
Show HN:
LocalGPT
– A local-first AI assistant in Rust with
persistent
memory
dev.to
·
1d
·
Discuss:
DEV
🌙
Lua
Why Large Language Models Make Terrible
Compilers
— And Why the Industry Keeps Trying
Anyway
webpronews.com
·
3d
🏗️
LLVM
From Simple RAG to Agentic RAG:
Unlocking
Smarter AI
Workflows
as an AI Engineer
pub.towardsai.net
·
1d
🌱
Minimal ML
Tip
of the Week #143: C++11
Deleted
Functions (<code>= delete</code>)
abseil.io
·
2d
🔧
Scheme Macros
Leading AI models struggle to
solve
original
math
problems
phys.org
·
15h
🧩
Constraint Solvers
The Adventures of a
Pythonista
in
Schemeland/26
artima.com
·
2d
🔧
Scheme Macros
I built a Python
LSP
in Go!
reddit.com
·
2d
·
Discuss:
r/golang
🐹
Go Runtime
The Adventures of a
Pythonista
in
Schemeland/30
artima.com
·
2d
🔧
Scheme Macros
Performance
Tip
of the Week #90: How to
estimate
abseil.io
·
2d
🚀
Code Motion
Loading...
Loading more...
« Page 11
•
Page 13 »
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