Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
🔨Compiler Design
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·11h·
Discuss: DEV
🦀Rust Macros
Flag this post
Pain Points of OCaml
quamserena.com·14h·
🦀Rust Macros
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·15h·
Discuss: Hacker News
🔨Compiler Design
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·9h·
Discuss: Hacker News
🔨Compiler Design
Flag this post
Scala vs. F#
alexn.org·1d·
Discuss: Hacker News
🔨Compiler Design
Flag this post
TypeScript: Our Beloved, Overbearing Safety Net
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Flag this post
r/mathematics
reddit.com·6h·
Discuss: r/mathematics
🔢algo
Flag this post
Low-Level Hacks
blog.raycursive.com·18h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·1d
🌐Network Protocols
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
🦀Rust Macros
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·11h·
Discuss: Hacker News
🏭Code Generation
Flag this post
essential spectrum
ncatlab.org·10h
🌳Data Structures
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1d
🔨Compiler Design
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·7h
🔨Compiler Design
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·1d·
Discuss: Hacker News
🛡️Memory Safety
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·15h
🌳B-Trees
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·6h
🛡️Memory Safety
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·4h
🦀Rust Macros
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
📝Parsing
Flag this post