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
↔️ Bidirectional Typing
Type Synthesis, Type Checking, Local Inference, Elaboration
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123686
posts in
1.94
s
Property-based
testing is about to
rule
the (software) world
tybug.dev
·
6h
·
Discuss:
Hacker News
🧪
Testing Compilers
Package-Inferred
Systems are Dangerous
aartaka.me
·
1d
⚙️
TOML Parsers
Robotics
Motion Learning: Training Linked Robot Arms with
Kuramoto
Models
hackernoon.com
·
8h
🌊
Loop Invariant Motion
GLM-5
: From
Vibe
Coding to Agentic Engineering
simonwillison.net
·
5h
🌊
Dataflow Languages
andywingo/wastrel
: WebAssembly-to-C compiler
codeberg.org
·
2d
🌐
WASM Runtimes
Thinking
about
context
natemeyvis.com
·
1d
⚖️
Inference Rules
Redefining
Go
Functions
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🐹
Go Internals
A History of Large Language Models
gregorygundersen.com
·
18m
🪜
Recursive Descent
Plugin-Based
LLM
Workflows
agentplatform.app
·
1d
🎨
Domain-Specific Languages
Functional
Optics
for Modern Java
blog.scottlogic.com
·
3d
✨
Gleam
FormEngine
vs
RJSF
: An Honest Bundle Size Comparison of Two JSON Schema Form Libraries
dev.to
·
5h
·
Discuss:
DEV
📋
JSON Parsers
Gemini
thinking
| Gemini API | Google AI for
Developers
ai.google.dev
·
2d
✨
Gleam
Active learning enables generation of
molecules
that advance the known
Pareto
front
nature.com
·
1d
✨
Effect Inference
Monitor
Jailbreaking
:
Evading
Chain-of-Thought Monitoring Without
lesswrong.com
·
7h
🏷️
Memory Tagging
Large Language Models for
Mortals
book released
crimede-coder.com
·
1d
·
Discuss:
Hacker News
🌱
Minimal ML
What
Functional
Programmers
Get Wrong About Systems
iankduncan.com
·
2d
🚂
Error Propagation
Optimizing the
MongoDB
Java Driver: How minor
optimizations
led to macro gains
linkedin.com
·
4h
·
Discuss:
DEV
⚡
Interpreter Optimization
New Generative
Paradigm
:
Drifting
Model
mail.bycloud.ai
·
1d
🌱
Minimal ML
Mojo
roadmap
docs.modular.com
·
2d
✨
Gleam
What Does “The
Shape
of
Thought
” Look Like Inside an LLM?
pub.towardsai.net
·
4h
💫
Effect Systems
Loading...
Loading more...
« Page 5
•
Page 7 »
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