Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·2d·
Discuss: Hacker News
🔨Compiler Design
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·4h·
🦀Rust Macros
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·17h·
Discuss: DEV
🦀Rust Macros
Flag this post
Pain Points of OCaml
quamserena.com·20h·
🦀Rust Macros
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·4h
🔨Compiler Design
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·5h
🔢algo
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·1d
🌐Network Protocols
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·15h·
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
When will `type A = impl Trait` where A is associated type become stable?
github.com·22h·
Discuss: r/rust
🦀Rust Macros
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·13h
🔨Compiler Design
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·21h·
Discuss: Hacker News
🔨Compiler Design
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
🦀Rust Macros
Flag this post
essential spectrum
ncatlab.org·16h
🌳Data Structures
Flag this post
Low-Level Hacks
blog.raycursive.com·23h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·2d
🔨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·21h
🌳B-Trees
Flag this post
Taming the Billion Dollar Mistake: Maarten Balliauw’s Guide to C# Nullable Reference Types
blog.jetbrains.com·12h
🛡️Memory Safety
Flag this post