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
121738
posts in
2.36
s
Unicode
18.0
Alpha
review
blog.unicode.org
·
16h
·
Discuss:
Blogger
💬
REPL Design
Computer vision segmentation model—deep learning for
categorizing
microplastic
debris
frontiersin.org
·
1d
🗺️
Region Inference
Credits
and Sources
opencagedata.com
·
17h
🏠
indieweb
An in-process
SQL
OLAP
database management system
duckdb.org
·
15h
📋
Datalog
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Blogger
📊
Query Optimizers
Why
Taxonomies
Matter
in the AI Age
iabtechlab.com
·
11h
🏷️
Attribute Grammars
Recursive
self-improvement
from AI models
marginalrevolution.com
·
18h
·
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
·
19h
·
Discuss:
DEV
🔍
Tokenizers
Dlgap2
deficiency disrupts synaptic homeostasis by promoting ubiquitin-mediated
Itsn1
degradation in a valproic acid-induced autism-like model
nature.com
·
13h
✨
Effect Inference
Show HN: Find automation ideas and
creators
by
sharing
your business problem
humation.ai
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Fun
With
Dada
smallcultfollowing.com
·
2d
·
Discuss:
Lobsters
,
Hacker News
🌱
Tiny Languages
The Role of Signal To
Noise
in Loss
Convergence
pub.towardsai.net
·
15h
🪜
Recursive Descent
OpenClaw
Alternatives
Worth Trying in 2026
bitdoze.com
·
1d
🥾
Bootstrapping Strategies
Tip
of the Week #177:
Assignability
vs. Data Member Types
abseil.io
·
3d
📏
Linear Types
Why Learning
Elixir
(and programming) Still
Matters
in the AI Era
dev.to
·
1d
·
Discuss:
DEV
🎭
Program Synthesis
Series-Parallel-Loop
Decompositions
of Control-flow Graphs
arxiv.org
·
1d
👑
Dominator Analysis
Lists
and for-in
loops
github.com
·
2d
·
Discuss:
DEV
🔗
Concatenative Languages
11. C# (
Parsing
)
dev.to
·
1d
·
Discuss:
DEV
🔧
Error Recovery
Loading...
Loading more...
« Page 14
•
Page 16 »
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