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
128429
posts in
2.73
s
An in-process
SQL
OLAP
database management system
duckdb.org
·
6h
📋
Datalog
Computer vision segmentation model—deep learning for
categorizing
microplastic
debris
frontiersin.org
·
19h
🗺️
Region Inference
Credits
and Sources
opencagedata.com
·
7h
🏠
indieweb
Multi-Dimensional
Computational
Library for Physics-Aware AI
splitfxm.com
·
23h
·
Discuss:
Hacker News
🌪️
V8 TurboFan
Why
Taxonomies
Matter
in the AI Age
iabtechlab.com
·
2h
🏷️
Attribute Grammars
Recursive
self-improvement
from AI models
marginalrevolution.com
·
8h
·
Discuss:
Hacker News
🪜
Recursive Descent
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
🎨
Domain-Specific Languages
Pratt
Parsers
: Expression Parsing Made Easy
journal.stuffwithstuff.com
·
3d
📊
Pratt Parsers
Building Production-Ready AI
Chatbots
: Lessons from 6 Months of
Failure
lojiq.ai
·
10h
·
Discuss:
DEV
🔍
Tokenizers
OpenAI
upgrades
its
Responses
API to support agent skills and a complete terminal shell
venturebeat.com
·
5h
🎮
Language Ergonomics
Building LLMs in
Resource-Constrained
Environments
: A Hands-On Perspective
infoq.com
·
1d
🪜
Recursive Descent
Context-Driven
Development Meets Team Agents: What
Changed
and What Didn't
themobileagent.substack.com
·
13h
·
Discuss:
Substack
🎭
Program Synthesis
Designing
a Cost-Efficient
Agentic
System
p.agnihotry.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Introspective
Interpretability
: a Definition, Motivation, and Open Problems
lesswrong.com
·
1d
💫
Effect Systems
A New Model That Actually Works: Why Today’s AI
Detectors
Fail
hackernoon.com
·
8h
🎲
Parser Fuzzing
OpenClaw
Alternatives
Worth Trying in 2026
bitdoze.com
·
1d
🥾
Bootstrapping Strategies
The End of CI/CD
Pipelines
: The
Dawn
of Agentic DevOps
hackernoon.com
·
10h
🎭
Program Synthesis
Tip
of the Week #177:
Assignability
vs. Data Member Types
abseil.io
·
3d
📏
Linear Types
Tip of the Week #144: Heterogeneous
Lookup
in
Associative
Containers
abseil.io
·
3d
📋
Row Typing
EdgeQuake
: Rust-powered RAG framework for production knowledge
graphs
news.ycombinator.com
·
15h
·
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