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
115188
posts in
1.17
s
Making an
archer
automaton
blog.adafruit.com
·
9h
📝
Rope Editors
Piloting
Wikidata
as an Authority Identifier: The (In)visible Women Project at the Smithsonian Institution
openhumanitiesdata.metajnl.com
·
1d
📇
Symbol Tables
Computer vision segmentation model—deep learning for
categorizing
microplastic
debris
frontiersin.org
·
22h
🗺️
Region Inference
Credits
and Sources
opencagedata.com
·
10h
🏠
indieweb
Extractional
AI as
Opposed
to Conversational AI
normain.com
·
18h
·
Discuss:
Hacker News
🧠
Semantic Parsing
Multi-Dimensional
Computational
Library for Physics-Aware AI
splitfxm.com
·
1d
·
Discuss:
Hacker News
🌪️
V8 TurboFan
FOSDEM
2026
blogs.igalia.com
·
4h
💬
Smalltalk VMs
How2Everything
: Mining the web to evaluate and improve LLMs on real-world
procedures
allenai.org
·
14h
·
Discuss:
Hacker News
🪜
Recursive Descent
An automated geometric space
curve
approach for designing dynamically
corrected
gates
nature.com
·
13h
⚡
Control Synthesis
Using Claude Code as a general agent
raahelbaig.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Railway
Oriented
Programming
fsharpforfunandprofit.com
·
4d
·
Discuss:
Hacker News
🚂
Error Monads
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
1d
🪜
Recursive Descent
Hands-Free
Claude Code with the Agent
SDK
yberreby.com
·
9h
·
Discuss:
Hacker News
🔄
Incremental Lexing
OpenAI
upgrades
its
Responses
API to support agent skills and a complete terminal shell
venturebeat.com
·
8h
🎮
Language Ergonomics
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
16h
·
Discuss:
Substack
🎭
Program Synthesis
Tip of the Week #218:
Designing
Extension Points With
FTADLE
abseil.io
·
3d
🪆
Embedded DSLs
Introspective
Interpretability
: a Definition, Motivation, and Open Problems
lesswrong.com
·
1d
💫
Effect Systems
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
3d
🗂️
Type Indexing
Interfaces
vs
Inheritance
(or, watch out for Go!)
artima.com
·
3d
🔗
Go Generics
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
18h
·
Discuss:
Hacker News
🚂
Cranelift IR
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