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
123932
posts in
2.02
s
Analytical and AI-Discovered Stable, Accurate, and Generalizable
Subgrid-Scale
Closure for
Geophysical
Turbulence
link.aps.org
·
10h
🌪️
V8 TurboFan
How to make an AI ready business, the easy way
phillyharper.medium.com
·
10h
·
Discuss:
Hacker News
⚡
Live Coding
Opus 4.6 Reasoning
Distill
3k
prompts
huggingface.co
·
1d
·
Discuss:
r/LocalLLaMA
🧩
Constraint Solvers
Deferred
member
initialization
in C++
sandordargo.com
·
1d
·
Discuss:
Lobsters
🪆
Embedded DSLs
No, dynamic
type
systems are not
inherently
more open
lexi-lambda.github.io
·
1d
·
Discuss:
Hacker News
🌈
Gradual Languages
Rust
Standard
Library Challenges
rustfinity.com
·
10h
·
Discuss:
r/rust
🪆
Embedded DSLs
Building a
Regex
Engine with a team of parallel
Claudes
lesswrong.com
·
23h
🔤
Regex Engines
LookML
: An Alternative Semantic Layer Approach to build a Reliable AI Analytics Agent with
BigQuery
pub.towardsai.net
·
2d
🔄
Subinterpreters
N-Grams
and Other
Experiments
dotterrer.bearblog.dev
·
6h
🌱
Minimal ML
Fine
Grained
Everything, and what comes after React Server
Components
blog.logrocket.com
·
1d
📦
Monorepos
Understanding Providers and
Dependency
Injection in
NestJS
en.wikipedia.org
·
1d
·
Discuss:
DEV
🔀
Control Structures
Craig
Interpolation
in Program Verification
arxiv.org
·
1d
⚡
Partial Evaluation
Malicious
Private Set Union with
Two-Sided
Output
eprint.iacr.org
·
2d
📏
Linear Memory
Grassmannian
Manifold
Learning: Optimization and Deep Learning Architectures
hackernoon.com
·
8h
🔄
Loop Optimization
Plugin-Based
LLM
Workflows
agentplatform.app
·
1d
🎨
Domain-Specific Languages
Structure Beats
Prose
:
Specs
for Coding Agents That Actually Work
dev.to
·
5h
·
Discuss:
DEV
🎮
Language Ergonomics
Lean
4 and the Curry–Howard
correspondence
wildonblog.wordpress.com
·
2d
📜
Proof Languages
Tracking Issue for
Generic
Constant
Arguments MVP · Issue #132980
github.com
·
19h
·
Discuss:
Hacker News
🦀
Rust Macros
A
practical
systems engineering guide:
Architecting
AI-ready infrastructure for the agentic era
thenewstack.io
·
2d
🌐
Network Protocols
I used to be
fervent
embedded
DSL
fan many years ago (particularly in college wi...
news.ycombinator.com
·
1d
·
Discuss:
Hacker News
🪆
Embedded DSLs
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