👻 Phantom Types

Type-Level Programming, Zero-Cost Abstractions, Compile-Time Invariants, State Machines

Feeds to Scour
SubscribedAll
Scoured 72649 posts in 1.31 s
Discovering 100+ Compiler Defects in 72 Hours via LLM-Driven Semantic Logic Recomposition
arxiv.org·1d
📊Profile-Guided Optimization
Preview
Report Post
Models of generics and metaprogramming: Golang, Rust, Swift, D, and more
thume.ca·2d·
Discuss: Hacker News
📐Type Theory
Preview
Report Post
Dealing with alternatives
jemarch.net·1d
🏷️Pointer Tagging
Preview
Report Post
Keeping traits dyn-compatible while preserving zero-cost abstraction where possible
scp-iota.github.io·2d·
Discuss: r/rust
🎭Trait Objects
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·17h
🔬Static Analysis
Preview
Report Post
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation
arxiv.org·46m
🍱Nom
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·1d·
Discuss: Hacker News
🔍eBPF Verifier
Preview
Report Post
ImmutableList vs. List in Jetpack Compose: Rethinking “Best Practice” After Strong Skipping Mode
dev.to·15h·
Discuss: DEV
🔁eBPF Tail Calls
Preview
Report Post
GNU C Language Manual
gnu.org·10h
🔨Compiler Design
Preview
Report Post
Scientific Computing in Rust Monthly #14
scientificcomputing.rs·17h
🦀Rust Macros
Preview
Report Post
Making Hidden States Visible
link.aps.org·1d
⚛️Quantum Computing
Preview
Report Post
One part of me wonders whether this would’ve been caught earlier if I spent some more time analizing the possible approaches for this refactor. Honestl...
lmika.org·1h
🦀Rust Macros
Preview
Report Post
Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em
docs.rs·14h·
Discuss: Hacker News
⚠️Rust Unsafe
Preview
Report Post
Making a Language
thunderseethe.dev·7h
🔨Compiler Design
Preview
Report Post
abelianization of an additive category in nLab
ncatlab.org·13h
∘Category Theory
Preview
Report Post
Rust async combinators for elegant and secure concurrency
kerkour.com·23h·
Discuss: r/rust
🦀Rust Async
Preview
Report Post
New comment by pessimizer in "Nanolang: A tiny experimental language designed to be targeted by coding LLMs"
news.ycombinator.com·1d·
Discuss: Hacker News
🍱Nom
Preview
Report Post
Efficiently cleaning a TypeScript project: Knip + AI agent workflow
dev.to·14h·
Discuss: DEV
🥖Bun
Preview
Report Post
Alexis King’s Blog
lexi-lambda.github.io·2d
📐Type Theory
Preview
Report Post
Taking the axe to AI
newelectronics.co.uk·18h
📱Edge AI
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
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
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help