GPT-4 Functions as Monoidal Structures: Sequential ∘ and Parallel ⊗
🧮Functional Programming
Flag this post
My tutorial and take on C++20 coroutines (2021)
🌳Elm
Flag this post
Java is an incredible language in that it got literally every single thing wrong.
🧮Functional Programming
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
🧮Functional Programming
Flag this post
SVG participates in UNESCO 14th Youth Forum in Uzbekistan
searchlight.vc·4h
🦀Rust
Flag this post
Embedding TypeScript
📐Haskell
Flag this post
GPTF-8: A tokenizer-based character encoding
lesswrong.com·4h
Flag this post
Rust after six months: my impressions on language features, tooling and ecosystem
crocidb.com·2d
🦀Rust
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🧮Functional Programming
Flag this post
Stop vibe coding your unit tests
📐Haskell
Flag this post
Stainless Docs Platform — Early Access
🦀Rust
Flag this post
Loading...Loading more...