Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
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
28224
posts in
22.3
ms
Reified
generics
by
php-generics
· Pull Request #21317
github.com
·
10h
·
Discuss:
Hacker News
⬆️
Lambda Lifting
Interactive
explanations
- Agentic Engineering
Patterns
simonwillison.net
·
9h
⚡
Proof Automation
76 - Rust
Crosses
the
Chasm
rust-trends.com
·
8h
🦀
Rust Borrowing
Extend
a Python-Like Language into Your Own Type-Safe
DSL
tapl-lang.org
·
1d
·
Discuss:
Hacker News
💧
Liquid Types
dReLU
Sparsification: Recovering LLM Performance with
150B
Token Pretraining
hackernoon.com
·
1d
💻
Local LLMs
Preview
Regex
Replacements as
Diffs
emacsredux.com
·
11h
✅
Format Verification
AgenticTyper
: Automated
Typing
of Legacy Software Projects Using Agentic AI
arxiv.org
·
3d
🏗️
Compiler Archaeology
Joy
&
Curiosity
#76
registerspill.thorstenball.com
·
54m
📏
Code Metrics
Emacs
Internals
Part 1
irreal.org
·
1d
🦀
Rust Macros
Swapping
NULL for
NUL
- a better way to find nothing!
research.exoticsilicon.com
·
1d
🧠
Lisp Dialects
a
web-standards
back end framework with
req
context via ALS
minimajs.com
·
1d
·
Discuss:
Hacker News
🌐
Web Standards
How Claude Code
Automates
Software Development: A Deep-Dive Into AI-Powered Engineering
Workflows
buymeacoffee.com
·
22h
·
Discuss:
DEV
⚡
Proof Automation
Gödel
,
slowly
…
logicmatters.net
·
14h
λ
Lambda Formalization
Go 1.22: A Change in
Loop
Scoping
hackernoon.com
·
16h
📜
Proof Carrying Code
Let’s stop
copying
C
eev.ee
·
1d
🔗
Concatenative Programming
Linkage
11011110.github.io
·
14h
🕳️
Persistent Homology
Status
update 2026-02
whynothugo.nl
·
18h
🔄
Sync Engine
From Restructuring to
Stabilization
: A Large-Scale Experiment on Iterative Code
Readability
Refactoring with Large Language Models
arxiv.org
·
3d
🏗️
Compiler Archaeology
Issue 513
haskellweekly.news
·
2d
🔗
Functional Compilers
Interview with Thomas
Wouters
by Guido van
Rossum
gvanrossum.github.io
·
4h
·
Discuss:
Hacker News
🦀
Rust Macros
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