🔗 Go Generics

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

Generating Consistent Imagery with Gemini
towardsdatascience.com·7h
✨Gleam
Python Tuples: The Ultimate Guide to Immutable Sequences
dev.to·1d·
Discuss: DEV
🧩Persistent Vectors
Space-Deniable Proofs
eprint.iacr.org·1d
📜Proof Languages
Do any of the Rust folks out there know of any Rust issues for "async fns increase *code size* nonlinearly"?
bsky.app·11h·
Discuss: Bluesky
🔒Rust Borrowing
Introducing PatchLens: Deep Behavior Risk Analysis for Go Module Updates
reddit.com·3h·
Discuss: r/golang
📦Monorepos
What if we could scale our TypeScript monolith without the microservice DX hell? A crazy idea.
reddit.com·20h·
Discuss: r/typescript
📦Monorepos
Let the domain guide your application structure
rednafi.com·3d·
Discuss: r/golang
🌉Cross-Platform FFI
From Rust to Reality: The Hidden Journey of Fetch_max
questdb.com·7h·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🦀MIR Optimization
Why Does Concurrency Have to Be So Hard in Java After 20 Years?
dev.to·1d·
Discuss: DEV
🔗Concurrency Primitives
Identity Types
bartoszmilewski.com·1d·
Discuss: Hacker News
🎯Type Theory
LongCat-Flash-Thinking, LLM from Meituan (China's Equivalent of Uber Eats)
github.com·20h·
Discuss: Hacker News
💬Interactive REPLs
GPT-5’s Enhanced Reasoning Comes With a Steep Hidden Cost
thenewstack.io·14h
🎭Program Synthesis
Theory Meets Practice for Bit Vectors Supporting Rank and Select
arxiv.org·1d
🎯Bit Vectors
The Reverse File System: Towards open cost-effective secure WORM storage devices for logging
arxiv.org·1d
📏Linear Memory
A Generalized Bisimulation Metric of State Similarity between Markov Decision Processes: From Theoretical Propositions to Applications
arxiv.org·1h
⚖️Weighted Automata
Selective Population Protocols
arxiv.org·1d
📡Async Channels
What’s the max amount of compilation time you have experienced in a single Go monolithic codebase?
reddit.com·11h·
Discuss: r/golang
🤖Embedded Go
Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas
arxiv.org·1d
🎯Finite Automata
Advanced Debugging in Elixir with IO.inspect
blog.appsignal.com·16h·
Discuss: Hacker News
✨Code Formatters
A Knowledge Graph and a Tripartite Evaluation Framework Make Retrieval-Augmented Generation Scalable and Transparent
arxiv.org·1h
🏷️Attribute Grammars