🔗 Go Generics

Type Parameters, Interface Constraints, Performance Impact, Design Trade-offs

Golang runtime type dispatch to generics
reddit.com·20h·
Discuss: r/golang
🦉Swift Generics
Preemption in Go (2021)
hidetatz.github.io·16h·
Discuss: Lobsters, Hacker News, r/programming
🔄Go Scheduler
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·1d
📞Session Types
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·1d·
Discuss: Hacker News
🏗️Calculus of Constructions
Generics and Variance with Java
dev.to·3d·
Discuss: DEV
🗂️Type Indexing
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·1d·
Discuss: Hacker News
🪆Embedded DSLs
Explicit Memory Reclamation in Scala
systemf.epfl.ch·1d
🗑️Garbage Collection
Mastering Go Memory Benchmarking: Practical Tips for Better Performance
dev.to·7h·
Discuss: DEV
📊Memory Profilers
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·2d
🌿Trie Structures
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·23h·
Discuss: Hacker News, r/Zig
⚡Zig
Web socket hub best practices
reddit.com·1d·
Discuss: r/golang
🌍HTTP Servers
Swift Extensions Guide: Add Power and Flexibility to iOS Code
bugfender.com·23h
🦉Swift Interpreters
ashvardanian/StringZilla
github.com·7h
📋JSON Parsing
The Ktor roadmap and previews
blog.jetbrains.com·14h
🚂Cranelift IR
User Defined Types and Custom Metadata in DataFusion
datafusion.apache.org·16h·
Discuss: Hacker News
📊DataFrame Types
The Compiler's Magic Trick That Makes Your Code Crash-Proof
dev.to·17h·
Discuss: DEV
🚂Error Propagation
Hacking OpenAI's Internet Search
onyx.app·18h·
Discuss: Hacker News
🎮Language Ergonomics
Polymorphism for Beginners
roscidus.com·3d·
Discuss: Hacker News
🎭Polymorphic Variants
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5d·
Discuss: Hacker News
😴Lazy Evaluation
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·1d
🪢Rope Data Structures