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
🔗 Dependent Types
Idris, Agda, Proof Assistants, Type-Level Programming
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
115096
posts in
1.23
s
Computer vision segmentation model—deep learning for
categorizing
microplastic
debris
frontiersin.org
·
21h
🗺️
Region Inference
Credits
and Sources
opencagedata.com
·
9h
🏠
indieweb
AI
Shortcut
Utilities
trendhunter.com
·
5h
💬
Interactive REPLs
An automated geometric space
curve
approach for designing dynamically
corrected
gates
nature.com
·
12h
⚡
Control Synthesis
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
16h
·
Discuss:
Hacker News
🧠
Semantic Parsing
Multi-Dimensional
Computational
Library for Physics-Aware AI
splitfxm.com
·
1d
·
Discuss:
Hacker News
🌪️
V8 TurboFan
Why
Taxonomies
Matter
in the AI Age
iabtechlab.com
·
4h
🏷️
Attribute Grammars
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
12h
·
Discuss:
Hacker News
🪜
Recursive Descent
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
🎨
Domain-Specific Languages
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🚂
Error Monads
Using Claude Code as a general agent
raahelbaig.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
1d
🪜
Recursive Descent
OpenAI
upgrades
its
Responses
API to support agent skills and a complete terminal shell
venturebeat.com
·
7h
🎮
Language Ergonomics
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
15h
·
Discuss:
Substack
🎭
Program Synthesis
Introspective
Interpretability
: a Definition, Motivation, and Open Problems
lesswrong.com
·
1d
💫
Effect Systems
OpenClaw
Alternatives
Worth Trying in 2026
bitdoze.com
·
1d
🥾
Bootstrapping Strategies
Researchers Can Now
Identify
If Your AI
Stole
Its Training Data
hackernoon.com
·
8h
🏷️
Memory Tagging
Tip
of the Week #177:
Assignability
vs. Data Member Types
abseil.io
·
3d
📏
Linear Types
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
17h
·
Discuss:
Hacker News
🚂
Cranelift IR
Tip of the Week #144: Heterogeneous
Lookup
in
Associative
Containers
abseil.io
·
3d
📋
Row Typing
Loading...
Loading more...
« Page 12
•
Page 14 »
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