Home | Notifications | New Note | Local | Federated | Search | Logout

Federated Timeline


underproofed ganbold@ganbold (2026-09-20 19:09:30) after years of using deepl to translate japanese <=> english, I am starting to doubt them as in they are using something like LLM to run the translation. I admit there is no proper machine translation for japanese, and deepl something that closer to it, but it's not quite right.

starting from today, I'll get back to my old dictionary

totally wired cell@cell@outerheaven.club boosted: @sun@shitposter.world (2026-09-20 11:51:46) 640x480, 16 VGA colors, about 385 sprites per level. I didn't actually reach the peak of sprites before it looked bad, I just stopped adding. there were skipped frames periodically but they're not noticeable. ---Attachments--- video: https://media.shitposter.world/shitposter.club/2d/69/3b/2d693be8c76822e68b61aff3862d96ab51b8b305d01a58069ee2f09ad79d0dc4.mp4?name=50UA6e3303ZFBg.mp4

Blurry Moon@sun@shitposter.world boosted: @sun@shitposter.world (2026-09-20 11:51:46) 640x480, 16 VGA colors, about 385 sprites per level. I didn't actually reach the peak of sprites before it looked bad, I just stopped adding. there were skipped frames periodically but they're not noticeable. ---Attachments--- video: https://media.shitposter.world/shitposter.club/2d/69/3b/2d693be8c76822e68b61aff3862d96ab51b8b305d01a58069ee2f09ad79d0dc4.mp4?name=50UA6e3303ZFBg.mp4

Gombang@gombang@social.nancengka.com boosted: @PavelASamsonov@mastodon.social (2026-09-19 08:52:10) Frieren: Beyond User Journey's End ---Attachments--- image: https://files.mastodon.social/media_attachments/files/117/294/726/022/169/992/original/f9c542f2f898c8bf.webp

Reply to @aeva@mastodon.gamedev.place p@p@hj.9fs.net (2026-09-20 19:00:30) ooh, sorry, i didnt make this, this was made by ori

Reply to @cell@outerheaven.club Blurry Moon@sun@shitposter.world (2026-09-20 18:55:18) @cell @kaia get admin role

Long march through the institutions

Reply to @cell@outerheaven.club boreal@eal@shinonome.technology (2026-09-20 18:54:14) @cell this is yukari ---Attachments--- image: https://shinonome.technology/media/08/d9/f5/08d9f58676138be0f22cfbbb679babfef90069e6c2cfb099059b8c09f209916a.webp

Reply to @eal@shinonome.technology totally wired cell@cell@outerheaven.club (2026-09-20 18:52:56) @eal is this etti

boreal@eal@shinonome.technology (2026-09-20 18:51:42) oh I love purple girls ---Attachments--- image: https://shinonome.technology/media/d8/33/8f/d8338f5b1fb886a21b3001ea5251575c9ec208793dec785b54936d03a1a9f378.webp

ivy@ivy@misskey.id (2026-09-20 18:48:44) tech mall ---Attachments--- image: https://obj.misskey.id/media/0a45f022-cabe-4710-b4e4-268934f8fd35.webp

cheeseburgerally :neocat_rainbow:@cheeseburgerally@plasmatrap.com boosted: @ShibaEveryHour@mas.to (2026-09-20 12:00:48) ---Attachments--- image: https://media.mas.to/media_attachments/files/117/301/133/103/699/746/original/90ee8958eb36efb6.jpeg

Reply to @lain@lain.com totally wired cell@cell@outerheaven.club (2026-09-20 18:44:03) @lain i can't believe i have to be the one who has to stand up for purple haired girls now
sanek has fallen..

lain@lain@lain.com (2026-09-20 18:42:18) purple girl supremacy on the TL

totally wired cell@cell@outerheaven.club (2026-09-20 18:35:47) sanek has a new avatar that is not a purple haired girl; i didn’t realize it was him :FernShock:

Reply to @sun@shitposter.world totally wired cell@cell@outerheaven.club (2026-09-20 18:30:51) @sun @kaia if i get banned i want to do it for something worthwhile like mario emoji real on outerheaven

Matteo Capucci@mc@mathstodon.xyz (2026-09-20 18:30:16) Grant Sanderson wrote a guest post on Tao's blog:
> If math is more than proof, we need to better celebrate the rest of it https://terrytao.wordpress.com/2026/09/18/if-math-is-more-than-proof-we-need-to-better-celebrate-the-rest-of-it/

It's really nice! My fav kind of essay about math's existential crisis are those the put the accent on the inadequacies of current mathematical institutions and socio-scientific practices (prize culture & big problem fetish).

Sanderson also mentions Chow's notion of an 'open exposition problem', which he defined as follows:
> Solving an open exposition problem means explaining a mathematical subject in a way that renders it totally perspicuous. Every step should be motivated and clear; ideally, students should feel that they could have arrived at the results themselves.

This reminds me of Leinster's extended definition of 'category theory', from one of my favourite essays
> https://golem.ph.utexas.edu/category/2010/03/a_perspective_on_higher_catego.html

Leinster doesn't give a tweetable definition of what the calls the 'second meaning' of category theory, so one might summarize it as 'leveraging abstraction to reach clarity'; or 'making the trivial trivially trivial', as some used to say.

After a couple of years in applied category theory, I started accepting that CT was unlikely to make me prove striking results in mature areas of math, and that we should really embrace it's *clarifying* power as the real value of the categorical approach. This means embracing it in teaching and in exposition, and hopefully one day even in papers and grant applications (current AI turmoil might have the effect of making this much much easier).

Reply to @bartholin@fops.cloud totally wired cell@cell@outerheaven.club (2026-09-20 18:28:51) @bartholin Ja, genau, naturlich ein Freund!

Reply to @cell@outerheaven.club Blurry Moon@sun@shitposter.world (2026-09-20 18:27:13) @cell @kaia countdown until you get banned and have to come back in shame

Reply to @cell@outerheaven.club bartholin (what month is this arc)@bartholin@fops.cloud (2026-09-20 18:26:59) @cell Germans still want us to speak German

Reply to @cell@outerheaven.club totally wired cell@cell@outerheaven.club (2026-09-20 18:24:48) on the flip side some of my friends would be speaking german instead of french now 😱

Reply to @chjara@akko.tuxcrafting.xyz totally wired cell@cell@outerheaven.club (2026-09-20 18:23:54) @chjara indeed, and the empires that fell had a rot deep within them that wouldn’t have survived any major conflict

but i’m just saying, the aftermath of the war could have been managed better; on all sides 🤔

Yukari :role_nsfw: :verified:@y@misskey.id boosted: @Takatsu_Gizami@misskey.io (2026-09-03 17:37:46) 遊戯王OCGファンアート
キスキルちゃん! ---Attachments--- image: https://media.misskeyusercontent.com/io/f6cd5bd2-8908-4f16-ae0e-33081fdb88ae.webp

Reply to @snowy@suya.place totally wired cell@cell@outerheaven.club (2026-09-20 18:22:40) @snowy :cat_magnificent:
that is a deep rabbit hole to get into

Yukari :role_nsfw: :verified:@y@misskey.id boosted: @nunosaki@nunosaki.net (2026-09-20 17:47:32) うちの子のアルカちゃんがいるわよ #シルバーウィークだから銀髪キャラを見せてね人類 ---Attachments--- image: https://pub-00c6006b485c400da48e564efde4671a.r2.dev/media/webpublic-c3b3ab4b-15aa-4727-90b4-e06b4a14b5bf.webp
image: https://pub-00c6006b485c400da48e564efde4671a.r2.dev/media/webpublic-67428747-8d81-43f1-9757-bc5941e0cab9.webp
image: https://pub-00c6006b485c400da48e564efde4671a.r2.dev/media/webpublic-aead1e8b-4d0c-40ca-951f-fcc39074581d.webp

Reply to @kaia@pleroma.soykaf.com totally wired cell@cell@outerheaven.club (2026-09-20 18:20:42) @kaia i had to come to outerheaven for the hot takes to finally mature :0000:

Reply to @cell@outerheaven.club Snežana@snowy@suya.place (2026-09-20 18:18:31) @cell hoi4 kaiserreich is for you

Reply to @cell@outerheaven.club chjara ☭ :lesbian_mode_el: :true_progress_flag: :blobcat_3d_stretcher:@chjara@akko.tuxcrafting.xyz (2026-09-20 18:17:55) @cell Alas, the gears were in motion long before the Archduke just did that.

Reply to @cell@outerheaven.club Kaia@kaia@pleroma.soykaf.com (2026-09-20 18:16:22) @cell first the boob post, now this? trying to get can-cell-ed? :sck:

∷ccccel△♪ :asakusaSit: :sakurazaka46:@celbri@misskey.id boosted: @Laszlo@pixelfed.social (2026-09-20 17:55:04) Bachstelzen

#birds ---Attachments--- image: https://pxscdn.com/public/m/_v2/305979241479147520/f0975049d-79c41a/jRZagkTUsk23/dXVvtsq5D0txzrPRDUh6Wlx33iVFjNSLHMJHldxb.jpg

Reply to @cell@outerheaven.club totally wired cell@cell@outerheaven.club (2026-09-20 18:15:04) i’m starting to think the wrong side lost world war i
:cat_si:
Older Notes