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
8487
posts in
225.5
ms
Evaluating
Retrieval-Augmented
Generation
Variants
for Natural Language-Based SQL and API Call Generation
arxiv.org
·
16h
📝
Term Rewriting
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
16h
🎮
Verification Games
LFortran
Compiles
Lapack
lfortran.org
·
4d
·
Discuss:
Hacker News
🔧
ppx
Fast
Autoscheduling
for Sparse ML
Frameworks
ajroot.pl
·
5d
·
Discuss:
Hacker News
,
r/Compilers
🧮
SMT Solvers
The control
layer
for AI
blog.dottxt.ai
·
3d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Agentic
Proof-Oriented
Programming
risemsr.github.io
·
5d
·
Discuss:
Lobsters
,
Hacker News
✓
Automated Theorem Proving
Running
Pydantic
’s Monty Rust
sandboxed
Python subset in WebAssembly
simonwillison.net
·
3d
·
Discuss:
Hacker News
🏗️
Dune
Paths
of
MySQL
, vector search edition
theconsensus.dev
·
2d
·
Discuss:
Hacker News
⚙️
PL Implementation
How to set up Claude Code: a
context-first
approach
dhirajtourani.com
·
2d
·
Discuss:
Hacker News
,
r/programming
🤖
Program Synthesis
Hello World:
Algorithmic
Trading &
DeFi
Logic
dev.to
·
2d
·
Discuss:
DEV
🔀
Brzozowski Derivatives
sebringj/autonomo
:
Autonomo
enables AI coding assistants to observe app state, drive multiple devices simultaneously, and validate cross-device interactions — all in one iterative development loop.
github.com
·
23h
·
Discuss:
Hacker News
🔌
APIs
How I
squeezed
a
BERT
sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io
·
3d
·
Discuss:
Hacker News
🐫
Embedded OCaml
Efficiency
and Performance
dev.to
·
3d
·
Discuss:
DEV
🔤
DSLs
Compile
and Run Your First Program
emojicode.org
·
4d
·
Discuss:
Hacker News
⚙️
Compiler Design
stdlib
v7.2
erlang.org
·
4d
·
Discuss:
Hacker News
🎯
GADT
Show HN:
C-CMCP
–
Validated
AI development workflow with quality gates
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Local Agent
Bench
: Test 11 small LLMs on tool-calling
judgment
, on CPU, no GPU
github.com
·
3d
·
Discuss:
Hacker News
,
r/LocalLLaMA
🐫
Embedded OCaml
Experiments
in building
bespoke
tools with AI
knlb.dev
·
1d
·
Discuss:
Hacker News
🧠
Automated Reasoning
Rewriting
pycparser
with the help of an LLM
eli.thegreenplace.net
·
5d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
,
r/Compilers
🧩
Parser Combinators
isledb
: An
embedded
key-value engine built on object storage in Go
reddit.com
·
2d
·
Discuss:
r/golang
🔠
Type-Level Programming
Loading...
Loading more...
« Page 8
•
Page 10 »
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