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
🎯 Gradual Typing
TypeScript, Dynamic Languages, Type Migration, Blame Tracking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
25292
posts in
687.6
ms
Python's Dynamic
Typing
Problem
whileforloop.com
·
15h
·
Discuss:
Hacker News
,
r/programming
⬌
Bidirectional Typing
January 2026 Monthly report | Alternative Rust
Compiler
for
GCC
rust-gcc.github.io
·
14h
·
Discuss:
r/rust
🦀
Rust Macros
Still Manual? Automated
Linter
Configuration via
DSL-Based
LLM Compilation of Coding Standards
arxiv.org
·
22h
🗣️
Domain-Specific Languages
Simplifying
assertions
with
lenses
blog.ploeh.dk
·
1d
🔗
Functional Compilers
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
10h
·
Discuss:
Hacker News
💻
Programming languages
Reducing
Technical
Debt: Top Five Coding Resources
loufranco.com
·
1d
📏
Code Metrics
Static Analysis Under
Non-Deterministic
Program
Assumptions
arxiv.org
·
22h
🧪
Property-Based Testing
Fragments
: February 9
martinfowler.com
·
1d
🗣️
Domain-Specific Languages
QtWidgets
to
QtQuick
, An Application Journey Part 2
qt.io
·
20h
🔌
Interface Evolution
Unicode
18.0
Alpha
review
blog.unicode.org
·
6h
·
Discuss:
Blogger
🔤
Character Encoding
miniKanren.org
minikanren.org
·
2d
·
Discuss:
Lobsters
🦀
Rust Macros
Towards a Standard for
JSON
Document
Databases
muratbuffalo.blogspot.com
·
1d
·
Discuss:
Blogger
📊
Graph Databases
I got
bored
and had Claude design and
implement
a programming language
github.com
·
17h
·
Discuss:
Hacker News
🔗
Concatenative Programming
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
📋
Document Grammar
Generative
Type
experiments
brendandawes.com
·
1d
✨
Effect Handlers
Building a Dynamic
Multilanguage
System Without
Rebuilds
kuldeepmodi.vercel.app
·
2d
·
Discuss:
DEV
🔄
Language Evolution
C-- Home
cs.tufts.edu
·
21h
·
Discuss:
Lobsters
🔗
Concatenative Programming
josephsumabat/static-ls
github.com
·
1d
🔗
Static Linking
This AI Tool Turns 400
Informal
Names Into Accurate
OMOP
Code
hackernoon.com
·
4h
📚
Lempel-Ziv
Show HN:
Self-healing
data pipeline for F1
telemetry
(Python and Type Inference)
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🛡️
Proof-Carrying Data
Loading...
Loading more...
Page 2 »
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