Home | Notifications | New Note | Local | Federated | Search | Logout
Federated Timeline
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 21:58:57)
チネチッタ？
God Emperor of Mastodon (future account)@michal@sapka.pl (2026-05-27 21:51:34)
I'm toying with Snac, using it more and more. It's an amazing peace of technology. It does what it does, and doesn't get in my way. Faster than mastodon, better looking (I have a custom theme!) than mastodon, and running in my infrastructure. It checks all the boxes.
It only lacks auto-complete of handles and tags.
#snac
Reply to @textoo@mastodon.social
Adële 🐁!@adele@social.pollux.casa (2026-05-27 21:47:21)
@textoo @Killator Je ne connais pas #Starling, mais il semble que l'api client (utilisé par SmolFedi) soit compatible Mastodon. #SmolFedi doit pouvoir fonctionner avec Starling.
Je veux bien un retour si vous testez ^^
Reply to @Coro@mstdn.maud.io
Coro@Coro@mstdn.maud.io (2026-05-27 21:38:19)
(国立科学館とか)前から言われてるが、公的学術機関が寄附を求めるのは、こう悲壮感あるな...
---
【わずか10兆分の1秒】超短パルスレーザーが明かす超高速スピンの正体 - YouTube
https://youtu.be/lJ1uQM0naGk
きゅーけー@tojoqk@mastodon.tojo.tokyo (2026-05-27 21:36:47)
新しい型チェッカーとして話題になっているRubyのRigorというソフトウェア。少なくとも現状の私の理解の範囲ではあんまり聞いていていい気持ちにならない…。
テストにかかれている情報を型推論に使うということだけど、それは存在命題の証明を得ているということであり、矛盾の存在を証拠にコード上のバグを検出できるということに価値はあると思う。
でも型システムとして一般に期待することは全称命題を型システムが証明してくれていることだと思うので、「型チェッカー」と聞いて期待するものと違いすぎるように思う。仮にこのような仕組みが「Rubyの型チェッカー」として広まるようなことがあれば、型チェッカーという言葉の価値が毀損されてしまうのではないか…。
これが「セマンティックなLinter」みたいなキャッチフレーズであったら何も思わなかったかもしれない。
Reply to @Coro@mstdn.maud.io
Coro@Coro@mstdn.maud.io (2026-05-27 21:28:45)
I Built My Monitor Into the Ceiling of My Dream Home Office - YouTube
https://youtu.be/4JBqJ-ax-lM
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 21:27:23)
やっぱ下りに入ると混むね
Coro@Coro@mstdn.maud.io (2026-05-27 21:25:24)
長距離用に光ファイバーで作られた USB-C ケーブルやdisplyport ケーブルがあるんだ。
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 21:24:54)
寝過ごしたら大宮
Reply to @Killator@framapiaf.org
TΞX@textoo@mastodon.social (2026-05-27 21:22:15)
@Killator a confirmer avec @adele mais il me semble que Smolfedi n'assure pas la partie serveur/instance, du coup Smolfedi + Starling ça peut faire une bonne stack
たかし@tak4 (2026-05-27 21:17:34)
2024年の梅雨頃、巻貝を飼育することに力を入れ始めた。今の時期は当時を思ひ出す。
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 21:17:13)
Ex-Otogibanashi - ryo (supercell), かぐや(cv.夏吉ゆうこ) & 月見ヤチヨ(cv.早見沙織) #NowPlaying #なうぷれ
検索
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 21:15:55)
船橋バンホーテン
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 21:14:21)
船橋なら何も考えずに行くけど
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 21:12:35)
幕張新都心は流石にきついな
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 20:59:34)
Remember - yuigot & 月見ヤチヨ(cv.早見沙織) #NowPlaying #なうぷれ
検索
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 20:57:26)
⬛別れました
M@T D.@Killator@framapiaf.org (2026-05-27 20:55:04)
Je suis vraiment tenté par me faire une instance Fediverse à l’aide des mini-serveurs qui voient le jour petit à petit :fediverse:
J’ai repéré Smolfedi : https://codeberg.org/adele/smolfedi
Et Starling, qui semble encore plus light: https://github.com/dfaria-eu/Starling
(Merci @sebsauvage pour la veille au passage)
Bref, je vais faire un double-run histoire de jauger par moi-même et j’aviserai.
withinity@withinity@mastodon.gamedev.place (2026-05-27 20:31:29)
Hi I am new to Mastodon, I don't really know what I am doing here yet. Does anyone know of any cool nonprofits or gamedev people to follow? Currently my feed is just the internet archive. I love that, but it might not lead to a very satisfying experience.
warabi餅@w4rabimochi@misskey.io boosted:
@w4rabimochi@misskey.io (2026-05-27 16:06:59)
前つくったアクスタ届いた！
:kawaiine__ooo:
---Attachments---
image: https://media.misskeyusercontent.com/io/webpublic-20246721-31c1-4248-a04c-c5d5af749796.webp
warabi餅@w4rabimochi@misskey.io boosted:
@melow_menow@misskey.io (2026-05-27 20:14:35)
すこしずつ色乗っけていく燐羽
---Attachments---
image: https://media.misskeyusercontent.com/io/05c8d478-c6c3-422d-9bf8-bfe1469106ff.png
小清水陽@C107新刊🍈委託中@melow_menow@misskey.io (2026-05-27 20:14:35)
すこしずつ色乗っけていく燐羽
---Attachments---
image: https://media.misskeyusercontent.com/io/05c8d478-c6c3-422d-9bf8-bfe1469106ff.png
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 20:04:54)
NaClになった
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz boosted:
@akane_shinonome@submarin.online (2026-05-27 20:00:28)
親の顔より見た502
https://x.com/patternrecoggni/status/2059298010417312183
しののめ あかね@akane_shinonome@submarin.online (2026-05-27 20:00:28)
親の顔より見た502
https://x.com/patternrecoggni/status/2059298010417312183
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 19:57:30)
都
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 19:57:11)
間もなくkwsk
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 19:55:13)
テノールバイエルン
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 19:53:55)
ゲリラCPK!
:hosimiya_mion::star_stroke:@hos1miya@misskey.0sakana.xyz (2026-05-27 19:51:09)
東海道線普通電車←？
Older Notes