Magos Logis Logan @jmw150@qoto.org

@ColinTheMathmo

Not dying of curable diseases. ✔️

@thenewoil

Makes sense. There was a significant brain drain after the iron curtain lifted during the cold war. There are not a lot of smart people left in Russia.

@eno

I, Robot itself illustrated how its laws do not work, and this general lazy reasoning has such problems.

So that seems like kind of a glib response. 😅

@eno

It is a civilization ender.

@eno

Artificial intelligence, and 2001: A Space Odyssey robot nearly killing a person.

@johnabs

I do that too sometimes, as in it gets thinner. For that, it always starts growing again as soon as I stop having so much stress.

Hairline receading being accelerated by stress is different though. Sorry if that is what is happening.

@stux

I think I remember that anime.

@deprecated_ii

Right?

@H3CAT3 @Curator

"The government is my religion" vibes

@Curator

It is like being offended by the concept of ownership claims.

@downey

I am fond of the fact that both are pushing for more chip production. No company or country should monopolize part of a tech stack.

@eno

AI

Hmm.. maybe not that

@ieure

Looking for a server that provides end-to-end is not a bad plan for them either. That or using

https://element.io/

or its protocol, for more discord like personal chats, but with such security added by default.

People seem to be adding professional models though.

Model theory types are pretty clear. Composites of types are pretty easy to think about like:

const int a = 1;

It is possible to even extend them to Ada like:

subtype Capital_Letter is Character range 'A' .. 'Z';

https://modeltheory.fandom.com/wiki/Type

The Model Theory wiki is great. Its definitions so far have been really clear.

https://modeltheory.fandom.com/wiki/O-minimality

@cassolotl

Ah, I thought federated was pretty much global except for blocked instances, like bot testing servers.

@Amikke

I wonder if that is still true with cold brew coffee. You can make a fairly concentrated concoction.

@worldsendless @lupyuen

Yeah. A TDD design gives types and then instances of types. It is in everyday programmers hands, so it is not as often logically sound, as a type system outside of direct human contact would be. But it is a lot better than people give it credit for.

@Uros

🐘