🔗 Go Generics

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

Golang runtime type dispatch to generics
reddit.com·12h·
Discuss: r/golang
🦉Swift Generics
Preemption in Go (2021)
hidetatz.github.io·8h·
Discuss: Lobsters, Hacker News, r/programming
🔄Go Scheduler
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·21h
📞Session Types
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·20h·
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·19h·
Discuss: Hacker News
🪆Embedded DSLs
Explicit Memory Reclamation in Scala
systemf.epfl.ch·1d
🗑️Garbage Collection
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·15h·
Discuss: Hacker News, r/Zig
⚡Zig
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·1d
🌿Trie Structures
Mastering Go Interfaces: Memory Overhead and Optimization Tips
dev.to·5d·
Discuss: DEV
⚡Interpreter Optimization
Web socket hub best practices
reddit.com·20h·
Discuss: r/golang
🌍HTTP Servers
User Defined Types and Custom Metadata in DataFusion
datafusion.apache.org·8h·
Discuss: Hacker News
📊DataFrame Types
Hacking OpenAI's Internet Search
onyx.app·9h·
Discuss: Hacker News
🎮Language Ergonomics
Polymorphism for Beginners
roscidus.com·3d·
Discuss: Hacker News
🎭Polymorphic Variants
Reinforced Generation of Combinatorial Structures: Applications to Complexity Theory
arxiv.org·21h
🪢Rope Data Structures
The Ktor roadmap and previews
blog.jetbrains.com·6h
🚂Cranelift IR
Proof Rules for MetaSMT
philipzucker.com·2d
🧮Theorem Provers
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5d·
Discuss: Hacker News
😴Lazy Evaluation
Scaling Speculative Decoding with Lookahead Reasoning
hao-ai-lab.github.io·1d
🔄Subinterpreters
The Compiler's Magic Trick That Makes Your Code Crash-Proof
dev.to·9h·
Discuss: DEV
🚂Error Propagation