Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·18h·
Discuss: r/golang
🔀Category Theory
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🔀Category Theory
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·2d
🔀Category Theory
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
🔀Category Theory
Flag this post
Go Generics: Use Cases and Patterns
dev.to·20h·
Discuss: DEV
🔀Category Theory
Flag this post
Array Programming the Mandelbrot Set
jcmorrow.com·2h·
Discuss: Hacker News
🔀Category Theory
Flag this post
GHC Developer Blog: GHC 9.14.1-rc2 is now available
haskell.org·3d
🔀Category Theory
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
🔀Category Theory
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
lightcapai.medium.com·15h·
Discuss: Hacker News
🔀Category Theory
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🔀Category Theory
Flag this post
Embedding TypeScript
andrews.substack.com·20h·
Discuss: Substack, r/programming
🔷C#
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·3d·
Discuss: Hacker News
🔷C#
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
🔷C#
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·2d·
Discuss: DEV
🔀Category Theory
Flag this post
Moves Are Broken
youtube.com·12h·
Discuss: r/cpp, r/rust
🔷C#
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.dev·16h
🔷C#
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·2d·
Discuss: r/C_Programming
🔀Category Theory
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·14h·
Discuss: Hacker News
🔀Category Theory
Flag this post
TwIST: Rigging the Lottery in Transformers with Independent Subnetwork Training
arxiv.org·2h
🔀Category Theory
Flag this post
100 Techniques for Writing Readable Rust Code
github.com·2d·
Discuss: r/rust
🔀Category Theory
Flag this post