Pain Points of OCaml
🦀Rust Macros
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·22h
λFunctional Programming
Flag this post
PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·2d
📐Type Theory
Flag this post
Creating Lisp Systems
🏭Code Generation
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·22h
🔨Incremental Compilation
Flag this post
Show HN: Suites – modern unit tests framework for TypeScript back ends
✅Property Testing
Flag this post
How to build a Heapless Vector using `MaybeUninit<T>` for Better Performance.
⚠️Rust Unsafe
Flag this post
are-dependent-types-actually-erased
🔗Dependent Types
Flag this post
Build your own GPG in Rust
🦀Rust
Flag this post
Loading...Loading more...