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
🔀 Algebraic Subtyping
Flow Typing, Union Types, Intersection Types, MLsub
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
123753
posts in
1.11
s
Semantic
Design
Tokens
That Scale Across Platforms
hackernoon.com
·
12h
📡
Protocol Buffers
Standardizing
HLSL
devblogs.microsoft.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
🏗️
MLIR
Generate type-safe API
clients
from
OpenAPI
orval.dev
·
1d
·
Discuss:
DEV
🔧
API Design
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚡
Partial Evaluation
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
1d
📜
Proof Languages
The Geometry of Linear
Equations
and Linear
Regression
pub.towardsai.net
·
1d
🧮
Linear Algebra
Cloesce
, a novel "full stack
compiler
" for Cloudflare
cloesce.pages.dev
·
1d
·
Discuss:
r/SoftwareEngineering
🌪️
V8 Pipeline
Issue #721: Classification With
zstd
,
Callables
, Gemini, and More (Feb. 10, 2026)
pycoders.com
·
23h
🛠
programming language development
Fine
Grained
Everything, and what comes after React Server
Components
blog.logrocket.com
·
23h
📦
Monorepos
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
13h
·
Discuss:
Hacker News
🦀
Rust Macros
miniKanren.org
minikanren.org
·
2d
·
Discuss:
Lobsters
🧪
Minicompilers
A Coding Implementation to Establish Rigorous Prompt
Versioning
and Regression Testing Workflows for Large Language Models using
MLflow
marktechpost.com
·
2d
💬
Interactive REPLs
Plugin-Based
LLM
Workflows
agentplatform.app
·
19h
🎨
Domain-Specific Languages
Formal
Methods
Practice and Theory
adacore.com
·
1d
·
Discuss:
Hacker News
🎯
Symbolic Execution
Show HN:
ShapeGuard
– Shape Contracts for
NumPy
and Jax
news.ycombinator.com
·
2d
·
Discuss:
Hacker News
🎭
Racket Modules
Interesting things about the
Lua
interpreter
thesephist.com
·
21h
🌙
Lua
Tip of the Week #59:
Joining
Tuples
abseil.io
·
3d
📝
String Interning
Creating a PHP, Go, and Python
Quine
Relay
dev.to
·
3h
·
Discuss:
DEV
✨
Gleam
Programming
Aphorisms
matklad.github.io
·
18h
·
Discuss:
Hacker News
🪄
C Metaprogramming
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
2d
🎯
Ring Buffers
Loading...
Loading more...
« Page 3
•
Page 5 »
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