Considerations on Codecrafting · Scour

1SubML: Plan vs Reality

blog.polybdenum.com·5w·Lobsters, Hacker News

PolySubML is broken

blog.polybdenum.com·26w·Lobsters, Hacker News

X Design Notes: Pattern Matching II

blog.polybdenum.com·33w

X Design Notes: Pattern Matching I

blog.polybdenum.com·34w·Hacker News

X Design Notes: GADTs

blog.polybdenum.com·35w·Hacker News

X Design Notes: Parameterized Types and Higher Kinded Type Inference

blog.polybdenum.com·36w

X Design Notes: Nominal Types, Newtypes, and Implicit Coercions

blog.polybdenum.com·37w

X Design Notes: Unifying OCaml Modules and Values

blog.polybdenum.com·38w·Lobsters, Hacker News, r/programming

You Need Subtyping

blog.polybdenum.com·59w·Hacker News

The problem with type aliases

blog.polybdenum.com·63w·r/rust

Designing type inference for high quality type errors

blog.polybdenum.com·64w·Lobsters, Hacker News, Hacker News, r/programming

Four limitations of Rust’s borrow checker

blog.polybdenum.com·72w·Lobsters, Hacker News

The ineffable types of Rust: how to make self-borrows safe

blog.polybdenum.com·81w·Lobsters, Hacker News, Hacker News, r/programming

What are GADTs and why do they make type inference sad?

blog.polybdenum.com·114w

Identifying Rust’s collect::<Vec>() memory leak footgun

blog.polybdenum.com·121w

How I came second out of 999 in the Salem Center prediction market tournament without knowing anything about prediction markets, and what I learned along the wa...

blog.polybdenum.com·141w

How I came second out of 999 in the Salem Center prediction market tournament without knowing anything about prediction markets, and what I learned along the wa...

blog.polybdenum.com·145w

Tokio, FuturesUnordered, and the Thundering Herd Problem

blog.polybdenum.com·156w

Log in to enable infinite scrolling