Mastodawn

George Z 1d ago

Type Theory Forall 1d ago

George Z 6d ago

New blog post! And new paper (I guess) announcement!

https://blog.grgz.me/posts/sigbovik25-programmatic-planned-obsolescence.html

SIGBOVIK'25: Programmatic Planned Obsolescence - Asymptotically Typeable

George Z Apr 28

tante Apr 28

A team from the University of Zurich manipulated people on a subreddit for months with their AI bots to see "if they could change people's minds". Their bots pretended to be victims of sexual assault, pretended to be black people against the Black lives matter movement etc. massively maipulative shit. And they did not inform anyone. Nobody on that subreddit consented to being experimented on.

Their excuse "psychological manipulation of OPs on this sub is justified because the lack of existing field experiments constitutes an unacceptable gap in the body of knowledge".

When I say that I don't believe that academia is a huge help in us curbing the negative effects #AI will have, this is what I mean. The thing went through ethics boards and shit. Disgusting.

https://www.reddit.com/r/changemyview/comments/1k8b2hj/meta_unauthorized_experiment_on_cmv_involving/

George Z Apr 28

Brian Sletten Apr 27

Maybe we are on the cusp of AGI…

#agrokinference #ai #agi #naturalstupidity

George Z Apr 28

I feel so stupid writing this in #Rust

```
if let SomeCons(_) = x { true } else { false }
```

anyone knows of some better solution?

I just need to do that in one place, so I don't think that hiding this dirty code under a method just for that one call is a good solution.

George Z Apr 27

Djoerd Hiemstra 🟥Apr 25

Holy sh*t. This is a real xkcd, not funny, disturbing, and also one that must be shared

https://xkcd.com/3081/

PhD Timeline

xkcd

George Z Apr 27

The Cloud Jan 2

Hannah Montana Linux is supposedly for youth outreach but the theming is so outdated that almost no actual children today will understand the reference. Therefore I propose a new solution to the youth outreach issue in FOSS operating system communities: SkibidiBSD,

George Z Apr 27