Transducer: Composition, Abstraction, Performance
funktionale-programmierung.deΒ·2dΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.comΒ·3d
πŸ“Emacs
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.orgΒ·2d
πŸ•ΈοΈKnowledge Graphs
Flag this post
Creating Lisp Systems
renato.athaydes.comΒ·2dΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
Introducing a Go linter bringing Rust style exhaustiveness checking of sum types to Go interfaces.
reddit.comΒ·20hΒ·
Discuss: r/golang
πŸ“Emacs
Flag this post
Show HN: Kumi – a portable, declarative, functional core for business logic
kumi-play-web.fly.devΒ·1dΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
Array Programming the Mandelbrot Set
jcmorrow.comΒ·4hΒ·
Discuss: Hacker News
❄NixOS
Flag this post
My query languages library pivot
dev.toΒ·19hΒ·
Discuss: DEV
πŸ•ΈοΈKnowledge Graphs
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blogΒ·2dΒ·
Discuss: r/programming
πŸ“Emacs
Flag this post
100 Techniques for Writing Readable Rust Code
github.comΒ·2dΒ·
Discuss: r/rust
πŸ“Emacs
Flag this post
My tutorial and take on C++20 coroutines (2021)
scs.stanford.eduΒ·7hΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
Go Generics: Use Cases and Patterns
dev.toΒ·23hΒ·
Discuss: DEV
❄NixOS
Flag this post
Exceptions in Cranelift and Wasmtime
cfallin.orgΒ·15hΒ·
Discuss: Lobsters, Hacker News, r/rust
πŸ“Emacs
Flag this post
<p>**Abstract:** This paper proposes a novel framework, CodeRefactorAI, for automated code refactoring and quality enhancement within large-scale microservice a...
freederia.comΒ·14h
βš™οΈDotfiles
Flag this post
Free Weather Data with National Weather Service API
clojurecivitas.github.ioΒ·9hΒ·
Discuss: Hacker News
❄NixOS
Flag this post
Moves Are Broken
youtube.comΒ·14hΒ·
Discuss: r/cpp, r/rust
❄NixOS
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.comΒ·4dΒ·
Discuss: Hacker News
❄NixOS
Flag this post
GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel βŠ—
lightcapai.medium.comΒ·17hΒ·
Discuss: Hacker News
πŸ“Emacs
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.devΒ·18h
βš™οΈDotfiles
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
bsky.appΒ·19hΒ·
Discuss: Bluesky
πŸ“Emacs
Flag this post