Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·1d·
Discuss: Hacker News
🔨Compiler Design
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·4h·
Discuss: DEV
🐹golang
Flag this post
Pain Points of OCaml
quamserena.com·7h·
Discuss: Hacker News
🕸️WebAssembly
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·8h·
Discuss: Hacker News
🔨Compiler Design
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2h·
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
🕸️WebAssembly
Flag this post
Low-Level Hacks
blog.raycursive.com·10h·
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·22h
🔨Compiler Design
Flag this post
essential spectrum
ncatlab.org·3h
🌳Data Structures
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·4h·
Discuss: Hacker News
🔨Compiler Design
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·41m
🔨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·8h
🗄️Database Internals
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·2d·
Discuss: Hacker News
🔨Compiler Design
Flag this post
Free function to trait impl
reddit.com·13h·
Discuss: r/rust
🦀rust
Flag this post
When will `type A = impl Trait` where A is associated type become stable?
github.com·9h·
Discuss: r/rust
🛡️Memory Safety
Flag this post
Dive into Systems
diveintosystems.org·20h·
Discuss: Hacker News
⚙️Systems Programming
Flag this post