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
📦 Module Systems
ML Modules, Functors, Signatures, Separate Compilation, OCaml
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
9331
posts in
1.24
s
Quick
Shell
Access from Claude Code
claude.com
·
2d
·
Discuss:
DEV
,
r/programming
💻
CLI Tools
GSoC
2026 Predictions: 30 NEW AI/ML/Security Organizations You Should Start
Contributing
to NOW!
dev.to
·
4d
·
Discuss:
DEV
📦
Unikernel Systems
A much
needed
wrapper
dev.to
·
2d
·
Discuss:
DEV
🌐
Network Protocols
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
1d
🎮
Verification Games
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
1d
🔬
Static Analysis
Why you should
consider
F#
asfaload.com
·
5d
·
Discuss:
Hacker News
❓
Existential Types
Waterloo
Style
theprogrammersparadox.blogspot.com
·
4d
·
Discuss:
Hacker News
🔬
Static Analysis
Adventures
in
Guix
Packaging
nemin.hu
·
3d
·
Discuss:
Lobsters
,
Hacker News
💾
Cachix
Obey
the Testing
Goat
!
obeythetestinggoat.com
·
3d
·
Discuss:
Hacker News
🧪
Concolic Testing
Thoughts
on LLMs
finestructure.co
·
2d
·
Discuss:
Hacker News
📵
Digital Minimalism
Hoot
: Scheme on
WebAssembly
spritely.institute
·
3d
·
Discuss:
Hacker News
🔄
Reproducible Builds
10-Part Series on
Breadth-First
Traversals
in Haskell
doisinkidney.com
·
5d
·
Discuss:
Hacker News
🔠
Type-Level Programming
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
✓
Automated Theorem Proving
ahead-of-time wasm
gc
in
wastrel
wingolog.org
·
4d
·
Discuss:
Lobsters
,
Hacker News
📊
Runtime Verification
Software design is now
cheap
dottedmag.net
·
2d
·
Discuss:
Hacker News
🧱
Immutable Infrastructure
C and
Undefined
Behaviour
lelanthran.com
·
2d
·
Discuss:
Hacker News
,
r/C_Programming
,
r/programming
🏃
Escape Analysis
Why
Elixir
is the best language for AI
dashbit.co
·
5d
·
Discuss:
Hacker News
,
r/programming
📝
Nix Language
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
3d
·
Discuss:
Hacker News
,
r/programming
🤖
Program Synthesis
Ask HN: How would you design an
LLM-unfriendly
language?
news.ycombinator.com
·
3d
·
Discuss:
Hacker News
⚙️
Compiler Design
LLMs could be, but
shouldn
't be
compilers
alperenkeles.com
·
4d
·
Discuss:
Lobsters
,
Hacker News
⚙️
Compiler Design
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