Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
Reply to @hannah@hai.z0ne.social
totally wired cell@cell@outerheaven.club (2026-10-07 19:54:42)
@hannah @sanek :cat_eyeonyou:
Lynne@lynne@mk.pars.ee (2026-10-07 19:54:17)
I think that this is the starting point where mathematics becomes an API, with Lean formalization coming first, which then gets distilled by agents (guided by humans, currently), fit inside giant Lean libraries, with the points that made the proof work extracted and taken as proven by other agents to prove more problems, 20 goto 10.
Agents will keep extending proofs further, like Turing-complete Navier-Stokes was, on their own (with human guiding for now).
It takes a fraction of the mathematics community to learn how to prompt and treat mathematics like a startup to completely disrupt everyone else. I keep seeing mathematicians in their "bargaining" stages of grief, so I feel like its happening.
Reply to @sanek@outerheaven.club
🍀🩹 [ちょろい]² :estelle_smug2:@hannah@hai.z0ne.social (2026-10-07 19:54:00)
@sanek@outerheaven.club so. you may not like the answer my therapist gave me.
sanek :wahoo: :hanaUwu: @sanek@outerheaven.club (2026-10-07 19:53:40)
How are you even supposed to self-manage/lower stress yourself when you notice it's high? No way breathing exercises are enough
ivy@ivy@misskey.id boosted:
@gavi@bagel.ing (2026-10-07 11:42:17)
I love this image sm
---Attachments---
image: https://bagel.ing/fileserver/01JT45DVBJPYZYJGC3MD68JXMA/attachment/original/01M4A3RVTTC7VWJ2FVHP5KPXP7.jpeg
Glorpi10 :GT10S: - :therwarn: :shar_bot:@Grat10@social.grat.gay (2026-10-07 19:50:39)
i ated the wrench react :aneobot_blink:
Layar Laut@layarlaut@misskey.id boosted:
@Mitu_32@misskey.day (2026-10-07 19:41:53)
ブラ絵チャ産いぬい
🏷️
#にじさんじ #にじさんじイラスト
#戌亥とこ #いぬいらすと
---Attachments---
image: https://misskey.day/files/webpublic-66ef4c6f-d434-4b46-946d-80107d1ccc79
ENIGMATICO :flag_bisexual: :flag_nonbinary:@enigmatico@mk.absturztau.be (2026-10-07 19:48:59)
Is that a Pokeball in your pants? Or are you happy to see me?
---Attachments---
image: https://misskey-taube.s3.eu-central-1.wasabisys.com/files/214ddc97-391f-48bf-aa61-f3e4e4afdca6.webp
Reply to @0x6e6174@mastodon.catgirl.cloud
💙🩷💜 Brett [he/him/any]@brettm@swarm.coiloptic.org (2026-10-07 19:47:19)
@0x6e6174@catgirl.cloud yep totally understandable
eri :neofox_flag_nb: :fox_floofing:@eri@mk.moth.zone (2026-10-07 19:47:01)
there should be a mantis emoji
SoN🔞@sonson11@misskey.io (2026-10-07 19:45:45)
村上さんが大変そうなのでプランを一段引き上げたぞ。
#io_support
---Attachments---
image: https://media.misskeyusercontent.com/io/0ee5ab8b-ba62-46da-b472-22523ad7a308.webp
Reply to @hannah@hai.z0ne.social
totally wired cell@cell@outerheaven.club (2026-10-07 19:42:17)
@hannah aaaaa :neocat_blush_hide:
Reply to @cell@outerheaven.club
🍀🩹 [ちょろい]² :estelle_smug2:@hannah@hai.z0ne.social (2026-10-07 19:41:57)
@cell@outerheaven.club my beef's too beefy and my cell's too cute
みつ@Mitu_32@misskey.day (2026-10-07 19:41:53)
ブラ絵チャ産いぬい
🏷️
#にじさんじ #にじさんじイラスト
#戌亥とこ #いぬいらすと
---Attachments---
image: https://misskey.day/files/webpublic-66ef4c6f-d434-4b46-946d-80107d1ccc79
totally wired cell@cell@outerheaven.club (2026-10-07 19:41:25)
i’m actually less inclined to eat beef nowadays; tastes too beefy and fatty and oily :aburgnom:
Reply to @alina@girldick.gay
alina🐾💖✨🏳️⚧️@alina@girldick.gay (2026-10-07 19:39:17)
>.ds-hc_production-object-storage-haproxy-001079: page 7051, scanned 705100, matched 623563, elapsed 1490s
wehhh go fasteeer
istg do i have to rewrite this as stateless highly available service for aggregated bandwidth
El Perro Negro@elperronegro@khumbu.social (2026-10-07 19:35:26)
And even when you let sleeping dogs lie, there is always a beady eye looking at you 😄
#dogs #dogsofmastodon
---Attachments---
image: https://khumbu.social/media/01a115ee-afa5-748d-bfaa-906f3f58d9d3/image.jpg
asya // wiltshire :v_trans: :v_lesbian:@cw1ltshire84@tech.lgbt (2026-10-07 19:33:25)
one of the tables in physics class
---Attachments---
image: https://media.tech.lgbt/media_attachments/files/117/399/170/942/779/866/original/4f20d82cd1351d51.jpg
独楽子@km7ko@misskey.design (2026-10-07 19:30:32)
Ogre
#inktober #inktober2026
---Attachments---
image: https://file.misskey.design/post/webpublic-790934c4-3b8a-4d6d-8ecf-f11a654c29ed.webp
Reply to @cell@outerheaven.club
totally wired cell@cell@outerheaven.club (2026-10-07 19:26:28)
the highball kinda sucks :meowOh:
don’t know if it’s the base whisky or the lemon contributing alot of astringent bitter flavors - makes me appreciate what suntory does with their kakubin and toki blends :blobcat_beer:
---Attachments---
image: https://nbg1.your-objectstorage.com/mediaheaven/ec9b76a33c387e1bc386b7f41d235e9943592ab1f6e69a579c73f3ffc020c30b.jpeg
Reply to @ganbold
lain@lain@fediffusion.art (2026-10-07 19:26:04)
@ganbold yes, and my experience is very similar to the one in that blogpost, although i usually don't use qwen for coding because i have the claude and openai subscriptions. i do use it for agentic work though, where i don't really care if it takes 30 seconds or 10 minutes.
Reply to @lain@fediffusion.art
underproofed ganbold@ganbold (2026-10-07 19:24:52)
seeing the stats especially the time to PR, I think qwen 3.8 flash next is good for like a "leisure PR" where you just queue an issue then it will fetch and work on a single issue at a time. opus is more like, immediate or something need to be patched right now vibes.
are you running the local inference with laptop, lain?
おゆざき:role_pixel_artist:@oyuzaki@misskey.io (2026-10-07 19:19:25)
:new_l:お仕事紹介:new_r:
下山田綾華さんのご依頼でご依頼で配信OP、EDアニメーション作成しました！
https://www.youtube.com/@shimoyamada-ayaka
---Attachments---
image: https://media.misskeyusercontent.com/io/d6bead2a-af74-4886-b40a-ef763ae74c3a.gif
image: https://media.misskeyusercontent.com/io/ea9c9c90-303b-49ee-84cd-b2a19b727ffe.gif
alina🐾💖✨🏳️⚧️@alina@girldick.gay (2026-10-07 19:18:57)
>.ds-hc_production-object-storage-haproxy-001079: page 1151, scanned 115100, matched 103834, elapsed 256s
scan scan scan scan
go faster go faster go faster
lain@lain@fediffusion.art (2026-10-07 19:17:42)
inteersting comparison between opus 5.5 and qwen 3.8 flash next on the same task: https://deepu.tech/local-ai-qwen3.8-flash-next-best-local-llm/
~n@nblr@chaos.social (2026-10-07 19:16:53)
This shall be interesting to watch:
"an open-source, clean-room reimplementation of Adobe Photoshop, rebuilt in pure Rust."
https://github.com/storytold/photocraft
The outcome of this experiment is beneficial for the world either way. The LLM copyright question pertaining to the clean-room myth will have to be addressed directly. With Adobe on the other side of the table - an adversary with the motive and means to do so thoroughly - there will be only winners, no matter how this plays out. 🍿
Reply to @hannah@hai.z0ne.social
totally wired cell@cell@outerheaven.club (2026-10-07 19:11:59)
@hannah @aetios @mametsuko you’ll get more than a hand reveal if we meet :0000:
totally wired cell@cell@outerheaven.club boosted:
@hannah@hai.z0ne.social (2026-10-07 19:09:15)
@cell@outerheaven.club @mametsuko@mk.absturztau.be @aetios@sns.minovsky.space hand reveal!!?!?
🍀🩹 [ちょろい]² :estelle_smug2:@hannah@hai.z0ne.social (2026-10-07 19:09:41)
puzzle games already exist
RE: https://mastodon.social/users/MattBinder/statuses/117396483434067510
Reply to @cell@outerheaven.club
🍀🩹 [ちょろい]² :estelle_smug2:@hannah@hai.z0ne.social (2026-10-07 19:09:15)
@cell@outerheaven.club @mametsuko@mk.absturztau.be @aetios@sns.minovsky.space hand reveal!!?!?
Older Notes