Pain Points of OCaml
🐪ocaml
Flag this post
[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·5h
🦀Rust
Flag this post
Bitcoin Core now has an interface for its consensus code - TheCharlatan
github.com·7h
🦀Rust
Flag this post
are-dependent-types-actually-erased
📐Type Theory
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·5h
💻programming
Flag this post
Disciplined Biconvex Programming
arxiv.org·20h
🔧functional programming languages
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·1d
🔧functional programming languages
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·4h
⚠️Error Handling
Flag this post
Low-Level Hacks
🦀Rust
Flag this post
Scala vs. F#
🔧functional programming languages
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
🦀Rust
Flag this post
There is no truthy or falsy in Rust
joschuba.com·5h
🦀Rust
Flag this post
Loading...Loading more...