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
📐 Standard ML
Module System, Type Safety, Pattern Matching, Formal Semantics
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
115484
posts in
2.37
s
Snippets
With Regular
Expressions
irreal.org
·
13h
📚
Factor
Generate type-safe API
clients
from
OpenAPI
orval.dev
·
16h
·
Discuss:
DEV
🔧
API Design
models - A fast CLI and
TUI
for
browsing
AI models and coding agents.
terminaltrove.com
·
9h
🔮
Type Inference Visualization
About the Information System on Graph
Classes
and their
Inclusions
graphclasses.org
·
1d
🔗
Graph Rewriting
Cloesce
, a novel "full stack
compiler
" for Cloudflare
cloesce.pages.dev
·
1d
·
Discuss:
r/SoftwareEngineering
🌪️
V8 Pipeline
SAST vs DAST vs (
IAST/RASP
): Quick AppSec Checklist
codereviewlab.com
·
14h
·
Discuss:
DEV
🛡️
Parser Security
Why I Don't Think AI is the
Devil
louplummer.lol
·
1h
💬
Smalltalk VMs
Rewrote
my Node.js data generator in Rust. 20x faster, but the 15MB binary (vs 500MB node_
modules
) is the real win.
algomimic.com
·
6h
·
Discuss:
r/rust
📋
Tablegen
bpftrace
in C++
kuniga.me
·
1d
🔄
Tail Call Analysis
Let's Build a Simple
Database
cstack.github.io
·
14h
·
Discuss:
Hacker News
💾
Minimal Databases
I don't like
imports
kevincox.ca
·
1d
·
Discuss:
Hacker News
⚙️
TOML Parsers
Build a
Compiler
in Five Projects
kmicinski.com
·
3d
🎭
Racket Modules
ESLint
Plugin
Perfectionist
perfectionist.dev
·
1d
✨
Code Formatters
A Local Code Copilot for
Edits
: Why
sweep-next-edit-1.5B
Is Built for Speed
hackernoon.com
·
2h
⚡
Interpreter Optimization
Tip of the Week #49:
Argument-Dependent
Lookup
abseil.io
·
3d
🔗
Lexical Scoping
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
1d
🌐
Network Protocols
Safety
mechanisms
of AI models more
fragile
than expected
techzine.eu
·
15h
🏰
Capability Machines
VERIFY-RL:
Verifiable
Recursive
Decomposition for Reinforcement Learning in Mathematical Reasoning
arxiv.org
·
23h
🧩
SAT Solvers
How to Prove the
Correctness
of AI-Generated Code Using
Formal
Methods
adacore.com
·
14h
·
Discuss:
Hacker News
🎭
Program Synthesis
The Adventures of a
Pythonista
in
Schemeland/27
artima.com
·
3d
🔧
Scheme Macros
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