maxiepoo

7 ms·

1.
by maxiepoo 6d ago
Am I missing something or did the anecdote at the beginning have nothing to do with the rest?
2.
by maxiepoo 11mo ago
Clearly a Kool-aid enjoyer
3.
by maxiepoo 1y ago
do you really have 20+ tabs of LLMs open at a time?
4.
by maxiepoo 1y ago
Isn't it more differential geometry?
5.
by maxiepoo 2y ago
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 actually integrate with any existing JavaScript code or librar
6.
by maxiepoo 3y ago
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, but these don't have great implem
7.
by maxiepoo 3y ago
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 not using these languages, especially when comb
8.
by maxiepoo 3y ago
It is very bad that abortion is illegal but thousands of people have not been imprisoned for violating abortion laws afaik.
9.
by maxiepoo 3y ago
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.
10.
by maxiepoo 3y ago
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 the 90s and then finally in the late 2000s various people
11.
by maxiepoo 3y ago
> 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 mathematics and what role foundations actually play in m
12.
by maxiepoo 3y ago
Even emscripten, which compiles LLVM to WASM has to use a relooper algorithm to get around the lack of jumps.
13.
by maxiepoo 3y ago
Austrian economics is truly indistinguishable from parody
14.
by maxiepoo 3y ago
This would allow you to do things like compile other assembly languages to webassembly.
15.
by maxiepoo 3y ago
One of the main reasons it's not really an assembly language is that it doesn't support jumps! This is fixing a defect!
16.
by maxiepoo 3y ago
nonsense trends like an "assembly" language supporting jumps?
17.
by maxiepoo 3y ago
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 compilation target.
18.
by maxiepoo 3y ago
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 adjoints preserve limits and more generally, Kan extensio
19.
by maxiepoo 4y ago
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 mathematics. Category theory from the very beginning was developed
20.
by maxiepoo 4y ago
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 is the pervasive use of traits and `#[derive(...)]` wh
21.
by maxiepoo 4y ago
For context, Matt Might is formerly a professor whose research was in programming languages/program analysis. Professors like to code too!
22.
by maxiepoo 4y ago
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. Category theory isn't really a replacement for s
23.
by maxiepoo 4y ago
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 subtract them satisfying some nat
24.
by maxiepoo 4y ago
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 -> B) that has a left-inverse,
25.
by maxiepoo 4y ago
"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 contains math. Ignore if math makes you mad. If &
26.
by maxiepoo 4y ago
Not sure about unloading the dishwasher but unpacking was pretty fun: https://www.unpackinggame.com/
27.
by maxiepoo 4y ago
Sure but it's worth emphasizing that Go language designers gave these built-in collections the exorbitant privilege of being parameterized by a type and declaring that any new type created by a mere programmer has to be monomorphic.
28.
by maxiepoo 5y ago
> The mushroom is an ideal food...Low in fats, sugars and calories... It's funny to see "low calorie" as a positive for an ideal food. From the perspective of getting people enough food to live, things like grains, corn&#x
29.
by maxiepoo 5y ago
Oh I see, so still pretty large since both countries are large, but if one of the bordering countries were small the distance would be small.
30.
by maxiepoo 5y ago
Wouldn't that make countries like the USA and Canada extremely far apart because they are both large countries? The distance you would get is the distance from Hawaii to somewhere on the northeastern edge of Nunavut/Newfoundland&#

More ›