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
123431
posts in
837.9
ms
Semantic
Design
Tokens
That Scale Across Platforms
hackernoon.com
·
9h
📡
Protocol Buffers
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚡
Partial Evaluation
Tip of the Week #59:
Joining
Tuples
abseil.io
·
3d
📝
String Interning
The Meta
Lattice
update is driving real performance
lift
across Meta
brainlabsdigital.com
·
1d
⚡
Performance
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
11h
·
Discuss:
Hacker News
🦀
Rust Macros
Can AI Code for
Vintage
?
sparcie.wordpress.com
·
3h
🎭
Program Synthesis
miniKanren.org
minikanren.org
·
2d
·
Discuss:
Lobsters
🧪
Minicompilers
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
A Coding Implementation to Establish Rigorous Prompt
Versioning
and Regression Testing Workflows for Large Language Models using
MLflow
marktechpost.com
·
2d
💬
Interactive REPLs
An introduction to
lockless
algorithms [
LWN.net
]
lwn.net
·
2d
🎯
Ring Buffers
Interesting things about the
Lua
interpreter
thesephist.com
·
19h
🌙
Lua
Custom
ESLint
rules as AI guardrails: turning repeated mistakes into structural
impossibilities
jw.hn
·
18h
·
Discuss:
Hacker News
,
r/SoftwareEngineering
,
r/coding
,
r/node
,
r/typescript
✅
Configuration Validation
Programming
Aphorisms
matklad.github.io
·
16h
·
Discuss:
Hacker News
🪄
C Metaprogramming
Deep C
Dives
:
Undefined
Behavior
i-programmer.info
·
3h
📚
Stack Allocation
Domain
Specific
Languages
martinfowler.com
·
1d
🎨
Domain-Specific Languages
Geometrically
Allocated
Ads in AI Conversations
june.kim
·
1d
·
Discuss:
Hacker News
🔢
Algebraic Datatypes
Main
Content ||
Math
∩ Programming
jeremykun.com
·
2d
🔢
Algebraic Datatypes
eVer: Universal and Automated Verification of Side-Channel Security for
Additive
, Inner Product, Polynomial and General Code-Based
Masking
eprint.iacr.org
·
1d
📏
Linear Memory
Learning Rust:
Custom
Error
types
that actually work!
rup12.net
·
1d
·
Discuss:
Lobsters
,
Hacker News
🛡️
Error Handling
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