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
80107
posts in
1.07
s
Same Engine, Multiple Gears: Parallelizing
Fixpoint
Iteration at Different
Granularities
(Extended Version)
arxiv.org
·
1d
🚀
Code Motion
From
Kepler
to Newton:
Inductive
Biases Guide Learned World Models in Transformers
arxiv.org
·
1d
🔍
ML Language
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
4d
·
Discuss:
Hacker News
🌳
Tree Walking
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
medium.com
·
2h
·
Discuss:
Hacker News
🎮
Language Ergonomics
What's up with
Haskell
's do
notation
?
slightknack.dev
·
16h
⚡
functional programming
Writing a
ONNX
Neural Network Inference Engine from Scratch in C to run image classification with
MobileNetV2
flexw.github.io
·
1d
·
Discuss:
r/C_Programming
🗺️
Region Inference
Autobiolocation
autobiolocation.is
·
1d
·
Discuss:
Hacker News
💫
Effect Systems
Observations
and
Complexity
lesswrong.com
·
1d
💫
Effect Systems
amirouche/seed
: Adding `
vau
` with an immutable dynamic environment to Chez Scheme
github.com
·
17h
·
Discuss:
Hacker News
🔧
Scheme Macros
An approach to
reducing
prompt size,
drift
, and governance risk in LLM-based systems
qu3ry.net
·
12h
·
Discuss:
r/LLM
📡
Erlang BEAM
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
4d
·
Discuss:
Lobsters
,
Hacker News
π
Pi Calculus
When you do the
math
,
humans
still rule
phys.org
·
7h
📐
Mathematical Computing
Show HN:
Kore
– Stack based language where
compiler
is the reward function
github.com
·
5h
·
Discuss:
Hacker News
🚀
Code Motion
Making
Waffles
with Group
Theory
hmpcabral.com
·
18h
·
Discuss:
Hacker News
🧮
Combinator Calculus
A Language For Agents
lucumr.pocoo.org
·
1d
·
Discuss:
Lobsters
,
Hacker News
🎨
Domain-Specific Languages
Learn
Weird
Programming
Languages
okienko.day
·
20h
·
Discuss:
Hacker News
🏗️
Minimal Compilers
Let
Lambda
Come Over
yamlscript.org
·
3d
λ
Lambda Calculus
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
2d
📊
Pratt Parsers
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
10h
🌐
Network Protocols
25W06
. Learning a language with the machine
z1nz0l1n.com
·
1d
🌱
Minimal ML
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