Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·2h
🔧programming language design
Flag this post
Scala vs. F#
🔧programming language design
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·6h
🔧programming language design
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔧programming language design
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·4d
🦀Borrow Checker
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
🔧programming language design
Flag this post
Geonum – geometric number library for unlimited dimensions with O(1) complexity
🧮Algebraic Effects
Flag this post
Dive into Systems
🔧programming language design
Flag this post
Understanding Federated Learning: Best Practices for Implementing Privacy-Preserving AI in C# Projects
📲local-first software
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·1d
🔧programming language design
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
🔧programming language design
Flag this post
A self-rewriting AI from KAUST revives Jürgen Schmidhuber’s vision of a Gödel Machine
the-decoder.com·1h
🔧programming language design
Flag this post
Loading...Loading more...