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
123710
posts in
727.0
ms
Passing the
Torch
: Reflections on ARC’s Journey and the Future of
Specialized
Processing
eetimes.com
·
1d
🌊
Dataflow Languages
Multiplex
Thinking: Reasoning via Token-wise
Branch-and-Merge
gmlr-penn.github.io
·
3d
🗺️
Region Inference
ESLint -
Pluggable
JavaScript
Linter
eslint.org
·
2d
·
Discuss:
r/javascript
🌊
Gradual Effects
LLMs
Refuse
High-Cost Attacks but Stay
Vulnerable
to Cheap, Real-World Harm
expectedharm.github.io
·
1d
·
Discuss:
Hacker News
🛡️
Security Type Systems
Well-Typed.Com
:
hs-bindgen
0.1-alpha release
well-typed.com
·
1d
·
Discuss:
Lobsters
,
Hacker News
📋
Tablegen
Modular
:
BentoML
Joins
Modular
modular.com
·
1d
🪆
Embedded DSLs
Even hotter take - multi parameter type classes (what in Rust you’d
conceive
of as traits with
generics
) were a mistake
bsky.app
·
2d
·
Discuss:
Bluesky
⚙️
TOML Parsers
Structured
Context Engineering for File-Native
Agentic
Systems
simonwillison.net
·
1d
🎨
Domain-Specific Languages
It’s about to get a lot
easier
for your JavaScript to clean up after
itself
piccalil.li
·
1d
🌈
Gradual Languages
Sound and Practical Points-To Analysis for
Incomplete
C
Programs
[pdf]
sjalander.com
·
2d
·
Discuss:
Hacker News
⚡
Partial Evaluation
Regime-Declared
Mathematics
as Survivor Sets
zboralski.github.io
·
1d
·
Discuss:
Hacker News
⚖️
Inference Rules
Ai’s ‘
steering
’ Made Far More
Precise
With New Fine-Tuning Technique
quantumzeitgeist.com
·
1d
🪜
Recursive Descent
My Experience at the North American
Haskell
Hackathon
AmeriHac
thedeveloper101.github.io
·
2d
·
Discuss:
Hacker News
🔧
haskell
Series-Parallel-Loop
Decompositions
of Control-flow Graphs
arxiv.org
·
1d
👑
Dominator Analysis
Testing a Component System Like Infrastructure: Contract Tests, Visual
Regression
, and
Accessibility
Gates
hackernoon.com
·
12h
🧪
Testing Compilers
SAE Feature
Matchmaking
(Layer-to-Layer) by
Mitali
M
greaterwrong.com
·
1d
🔢
Algebraic Datatypes
Who
owns
the
Frontier
?
bensbites.com
·
1d
🌪️
V8 Pipeline
The cost of a
function
call
lemire.me
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
Hacker News
📥
Inlining
SQL Normalization vs
Denormalization
Explained with 1NF,
2NF
, and 3NF
dev.to
·
1d
·
Discuss:
DEV
🗃️
Query Compilation
Show HN:
AutoCleanML
–ML data
preprocessing
automation
github.com
·
1d
·
Discuss:
Hacker News
⚖️
Weighted Automata
Loading...
Loading more...
« Page 7
•
Page 9 »
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