Viewing profile — maxiepoo

Clearly a Kool-aid enjoyer

do you really have 20+ tabs of LLMs open at a time?

Isn't it more differential geometry?

Basically, Evan decided he wanted Elm to be a pre-packaged closed ecosystem where it was easy to develop very simple standalone apps, but made it very difficult to impossible to ac…

You can do something like this with OCaml/SML's module system. And certainly from an abstraction point of view you can do this in any dependently typed language like Idris/Agda/Coq…

Typed functional languages like Haskell (data)/ML (type) do have a built-in way to define new tree types, and so does Rust (enum). It's one of the biggest things I miss when I'm no…

It is very bad that abortion is illegal but thousands of people have not been imprisoned for violating abortion laws afaik.

I'll be surprised if none of the bigger beer companies ends up buying it for the brand and history alone. But maybe it doesn't have as much name recognition as I thought.

It really is remarkable. I think the most remarkable fact about it is that the intensional identity type was invented by Martin Lof in the 70s, the groupoid model was discovered in…

> How can roots be changed without a redo of the universe? This is a very interesting question and I think reflects a mismatch between how we commonly think about of foundations of…

Even emscripten, which compiles LLVM to WASM has to use a relooper algorithm to get around the lack of jumps.

Austrian economics is truly indistinguishable from parody

This would allow you to do things like compile other assembly languages to webassembly.

One of the main reasons it's not really an assembly language is that it doesn't support jumps! This is fixing a defect!

nonsense trends like an "assembly" language supporting jumps?

WASM is not really an assembly language. Before this, WASM didn't have jump at all, and so tail calls are adding a form of jump (jump with arguments). This makes WASM a much better…

Basic results that are useful on a day-to-day basis: 1. Yoneda's Lemma, and the corollary that objects defined by universal property are unique up to unique isomorphism 2. Right ad…

It sounds like category theory likely has no direct impact on your life. So you can move on. But please do not let this bleed into a criticism of category theory as used in mathema…

It doesn't have to be one or the other :). OCaml and Haskell are two great languages that the Rust designers were familiar with. The big thing IMO that makes Rust feel like Haskell…

For context, Matt Might is formerly a professor whose research was in programming languages/program analysis. Professors like to code too!

I think OP is really overstating things. "the definitive underlying field of math replacing set theory" is something Lawvere was trying in the 60s and it never really took off. Cat…

I think the concept you are looking for is a ["torsor"]( https://en.wikipedia.org/wiki/Principal_homogeneous_space ). Basically, 1. You have a 0 time delta, and you can add and sub…

I have to plug my favorite "explanation" of the Y combinator, which is called "Lawvere's fixed point theorem". In a cartesian closed category, if there is a function p : A -> (A ->…

"Just Wrong" is a bit harsh. Monads are there to simulate side effects within the language, as opposed to the side effects that are built in to the language. WARNING: the below con…

Not sure about unloading the dishwasher but unpacking was pretty fun: https://www.unpackinggame.com/