🔗 Go Generics

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

Golang runtime type dispatch to generics
reddit.com·5h·
Discuss: r/golang
🦉Swift Generics
Preemption in Go (2021)
hidetatz.github.io·2h·
Discuss: Lobsters, Hacker News, r/programming
🔄Go Scheduler
Compositional Interface Refinement Through Subtyping in Probabilistic Session Types
arxiv.org·15h
📞Session Types
Program Optimisations via Hylomorphisms for Extraction of Executable Code
drops.dagstuhl.de·14h·
Discuss: Hacker News
🏗️Calculus of Constructions
Generics and Variance with Java
dev.to·2d·
Discuss: DEV
🗂️Type Indexing
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·13h·
Discuss: Hacker News
🪆Embedded DSLs
Explicit Memory Reclamation in Scala
systemf.epfl.ch·21h
🗑️Garbage Collection
Why Zig Feels More Practical Than Rust for Real-World CLI Tools
dayvster.com·9h·
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·4d·
Discuss: DEV
⚡Interpreter Optimization
Web socket hub best practices
reddit.com·14h·
Discuss: r/golang
🌍HTTP Servers
User Defined Types and Custom Metadata in DataFusion
datafusion.apache.org·1h·
Discuss: Hacker News
📊DataFrame Types
Hacking OpenAI's Internet Search
onyx.app·3h·
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·15h
🪢Rope Data Structures
Proof Rules for MetaSMT
philipzucker.com·1d
🧮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·23h
🔄Subinterpreters
The Compiler's Magic Trick That Makes Your Code Crash-Proof
dev.to·3h·
Discuss: DEV
🚂Error Propagation
AI Innovators: How JAX on TPU is helping Escalante advance AI-driven protein design
cloud.google.com·3h
🎭Program Synthesis