> "matrices"

Saying that AI is "matrices" is like saying human cognition is "neurons." Maybe true at some level, but it's a low-level implementation detail. The important part of a language model is the function that maps tokens to contextual embeddings. You could compute this function using analog computing, biological neurons, or any other substrate.

It isn't an implementation for neurons, unless you believe in a designing god.

Matrices are an implementation detail in reconstructing the surface of human knowledge. It's a complex surface, but it's a regurgitation.

What's the argument here? It's not about the implementation method, it is about the behavior that emerges from it. You could calculate the next token by hand on paper if you had enough time.

Good luck, `hoplite` triggers a ton of Minecraft media for me and that name has been around 10 years.

This gives me "why build dropbox" energy.

We never know when a revelation or unmet customer niche arrives around the corner. Never bet against it.

...to have C0ndi on the board to allow the gov't complete access and data retention for ever and ever under a mountain

As someone intimately familiar with Python and not so much with "algebraic abstractions", I looked at your examples and can't figure out how they work (and why the abstraction is useful).

Am I missing something?

I think it comes down to some people having a strong aesthetic aversion to imperative programming and the practical value of side effects (including exception bubbling), often manifesting in vain attempts to write 'perfect code'.

I don't know, Andrew "Smelley" Kelly has some big beginner energy..

I was taking this semi-seriously until I read his CLI complaints.

Author is unhinged.

Here's your Lean proof https://github.com/google-deepmind/formal-conjectures/pull/4...

> the ruby code: ``` cat = Cat.new cat.meow ```

As a non-Ruby user, this confuses me. Why can't `Cat.new` be a function reference? Does Ruby explicitly disallow this (i.e. passing around a function)?

You can do this, but there's no syntax. Instead, call the `method` method with `:new` as its argument.

I can't find the source for `mine`. Do you have a link?

Looks like Mine is part of Coalton's repo. https://github.com/coalton-lang/coalton/blob/main/mine/READM...

I agree.

There's also a universe where he could've written it Linux Torvald-style and still come across as passionate but justified.