Go Generics: Use Cases and Patterns
dev.to·10h·
Discuss: DEV
Scala
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·1d
🎮Game Development
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·2d·
Discuss: Hacker News
Scala
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.dev·1d·
Discuss: Hacker News
Scala
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·4h·
Discuss: Hacker News
🎯Game Theory
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·1d·
Discuss: r/programming
Scala
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·1d
🎮Game Development
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.app·7h·
Discuss: Bluesky
Scala
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.com·8h·
Discuss: r/golang
Scala
Flag this post
Creating Lisp Systems
renato.athaydes.com·1d·
Discuss: Hacker News
🎮Game Development
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·2d
🎮Game Development
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·8h·
Discuss: DEV
🎮Game Development
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·4d·
Discuss: Hacker News
🎮Game Development
Flag this post
My query languages library pivot
dev.to·6h·
Discuss: DEV
🎮Game Development
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·3d
Scala
Flag this post
AILA--First Experiments with Localist Language Models
arxiv.org·15h
Scala
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
mchav.github.io·1d·
Discuss: r/programming
Scala
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1d·
🎮Game Development
Flag this post
map-of-shame - Unsafe operations on type-erased maps (Experimental)
github.com·13h·
Discuss: r/golang
Scala
Flag this post
I’ve indexed all Strange Loop conference talks so you can use semantic search to find relevant videos
devblogs.sh·1d·
Discuss: r/programming
🎮Game Development
Flag this post