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
📐 Type Theory
Type Systems, Generics, Traits, Static Analysis
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
104606
posts in
1.80
s
Building Type-Safe
Metrics
API in
Swift
: Part II
sentry.engineering
·
1d
📬
MessagePack
Blog - How to generate a TypeScript SDK from your
OpenAPI
spec
stainless.com
·
1d
🦕
Deno
codepen
recursion
note to self
bluebottles.bearblog.dev
·
1d
📚
Stack Unwinding
Next
fiyelimmanuel.online
·
1d
✨
Gleam
Differential
Logic
• 3
inquiryintoinquiry.com
·
3d
∘
Category Theory
From "I Rock" to "Alphabet
Soup
": Navigating the Big Tech Learning
Curve
hackernoon.com
·
23h
🤖
Cyberpunk
Introspective
Interpretability
: a Definition, Motivation, and Open Problems
lesswrong.com
·
1d
💫
Effect Systems
Where the
Funcs
Have No Name
yamlscript.org
·
4d
λ
Functional Programming
Links
10/02/2026:
Splinternets
and "Meta Goes to Trial in a New Mexico Child Safety Case"
techrights.org
·
21h
💾
Retro Computing
Differential
Logic
• 4
inquiryintoinquiry.com
·
2d
🔍
Type Inference
Go
Concurrency
with Database
Transactions
postgresql.org
·
1d
·
Discuss:
DEV
🛡️
Error Handling
Learn
Java
Online: A Step-by-Step Guide for
Beginners
wscubetech.com
·
1d
·
Discuss:
DEV
⚙️
JIT Compilation
ArkEval
: Benchmarking and Evaluating Automated
CodeRepair
for ArkTS
arxiv.org
·
1d
🏗️
Cranelift
Wheeler
Bisimulations
arxiv.org
·
1d
✅
Model Checking
Know your
options
!
ruby-toolbox.com
·
3d
🏗️
Cranelift
This [is/was] For Everyone
cogdogblog.com
·
2d
📵
Digital Minimalism
The State of
Agentic
Graph
RAG
localoptimumai.substack.com
·
21h
·
Discuss:
Substack
🔍
RAG
Why
Spec-Driven
Development
Breaks
at Scale (and How to Fix It)
arcturus-labs.com
·
1d
·
Discuss:
Hacker News
🎭
Program Synthesis
Editing
TypeScript
code.visualstudio.com
·
2d
📘
TypeScript
an early-stage
experimental
programming
language
solnix-lang.org
·
3d
·
Discuss:
DEV
,
Hacker News
🔄
Salsa
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