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
∀ Quantified Types
Rank-N Types, Predicative Polymorphism, System F, Impredicativity
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
79923
posts in
238.6
ms
The
Impossibility
of
Strategyproof
Rank Aggregation
arxiv.org
·
1d
💾
Cache-Oblivious Algorithms
Solving parametric polynomial systems using Generic
Rational
Univariate
Representation
arxiv.org
·
1d
⚡
Partial Evaluation
Drifting
models
breno.bearblog.dev
·
1d
🔄
Loop Optimization
Chinese: Cursed
Logographic
DAGs
blog.kevinzwu.com
·
19h
🏷️
Symbol Mangling
AI
Personality
Extraction from Faces: Labor Market
Implications
nber.org
·
14h
·
Discuss:
Hacker News
⚖️
Weighted Automata
The Next Big Language (2007) by
Steve
Yegge
steve-yegge.blogspot.com
·
2d
·
Discuss:
Hacker News
🌱
Minimal Languages
🎲 TypeScript
strictness
is
non-monotonic
: strict-null-checks and no-implicit-any interact
huonw.github.io
·
3d
🔧
API Design
Quantization-Aware
Distillation
ternarysearch.blogspot.com
·
2d
·
Discuss:
Hacker News
🪜
Recursive Descent
Property-based testing as
executable
specs
for agentic coding
kiro.dev
·
9h
·
Discuss:
Hacker News
🎲
Test Generators
Mojo
roadmap
docs.modular.com
·
13h
✨
Gleam
Why
securing
AI model
weights
isn’t enough
the-substrate.net
·
14h
·
Discuss:
Hacker News
🏰
Capability Machines
Import AI 444: LLM
societies
; Huawei makes kernels with AI;
ChipBench
importai.substack.com
·
21h
·
Discuss:
Substack
🪜
Recursive Descent
Automated Reasoning checks
rewriting
chatbot
reference
implementation
aws.amazon.com
·
16h
✅
Type Checking
I don't like
imports
kevincox.ca
·
17h
·
Discuss:
Hacker News
⚙️
TOML Parsers
Circumstantial
Complexity
, LLMs and Large Scale Architecture
datagubbe.se
·
17h
·
Discuss:
Hacker News
🔄
Bootstrapping
Adaptive
Neuro-Symbolic
Planning for smart agriculture
microgrid
orchestration in hybrid quantum-classical pipelines
dev.to
·
2d
·
Discuss:
DEV
🏛️
Elm Architecture
A $
10K
Mac Studio Won’t
Replace
Your API Bill
iain.so
·
1d
🗺️
Region Inference
Guide: Getting started with
choosing
a Machine Learning CLIP Model for Smart Search ·
immich-app/immich
github.com
·
12h
🌱
Minimal ML
Observations
and
Complexity
lesswrong.com
·
1d
💫
Effect Systems
Build a
Compiler
in Five Projects
kmicinski.com
·
3d
🎭
Racket Modules
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