Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.
Efficient program extraction in elementary number theory using the proof assistant Minlog. ~ Franziskus Wiesnet. https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper1.pdf #ITP #Minlog #Haskell #FunctionalProgramming #Math
macOS、なんかすごい軽い印象がある (語彙力消失)
♪
Tall and tan and young and lovely
The girl from 경기 안양 goes walking
And when she passes, each one she passes goes,
Ah
♬
すご
これ本当に頭悪くて好き。
국제밀면이 그렇게 마싯다는데
これ本当に頭悪くて好き。
すっかり忘れていた
そういえばmac miniをラックに組み込んでる話聞いたことあった
あー
にゃーんってかんじかも
電気ガス水道代を払った
"Confía en el tiempo, que suele dar dulces salidas a muchas amargas dificultades." ~ Miguel de Cervantes (1547-1616).
このサーバーを犠牲にmacOS呼び出そうかな
明日の技術書典＠池袋 に、私が寄稿した『Thinking Penguin Magazine Vol.0』が出ます！よろしくお願いします。
どのぐらい美味しかったかというとすごい美味しかった
くっきーおいしかった
BeRealをベリアルと読みがち
OK, Danke euch allen. 😁🤗
Auflösung: es geht natürlich um die Chiralität der Nudeln. D.h. in welche Richtung sie sich drehen.
Spiralnudeln können entweder rechtsdrehend oder linksdrehend sein. Das bezeichnet man als P- oder M-helikal, siehe Bild. Die DNA zum beispiel ist rechtsdrehend (also P).
Mein Survey hat ergeben: es gibt sowohl rechts- als auch linksdrehende Spiralnudeln zu geben. Die rechtsdrehende P-Form ist aber deutlich häufiger. 🍝
#FediLUG 第0号同人誌『Thinking Penguin Magazine Vol.0』表題・寄稿者一覧（敬称略）
・2025年こそLinuxデスクトップ元年を迎えよう（ 
@Yohei_Zuho@mstdn.y-zu.orgもちもちずきん🍆 ）
・notectlで始めるMisskeyモデレーション（ 
@esurio1673@c.koliosky.comEsurio ）
・鯖缶2年生、ここまで成長しています！？（ 
@naoki_wjm@k.my-sky.blue和条門 尚樹 ）
・Kamal を使ったリレーサーバの簡単デプロイ（ 
@S_H_@gamelinks007.netS.H.@Haloはいいぞ ）
・国漢文混用体から Hollo まで（ 
@hongminhee@hollo.social洪 民憙 (Hong Minhee) 
）
・私と同人活動と Fediverse（ 
@monaco_koukoku@fedibird.comモナコ広告 
＠技術・雑談 ）
・オブジェクトストレージ、そして弊サーバでの Wasabi運用状況（ 
@nt776@sv1.in-deep.blueNTSK ）
・中小規模 Misskey サーバーを2年間運営した感想（ 
@8mitsu@misskey.8mitsu.net好きな惣菜発表アルトリア・ペンドラゴン ）
https://techbookfest.org/organization/7JepZT0g3C6qbddiLmkAwp
今夜だ！ギリギリだと反映ズレとかで2.0.0が有料になってたりするとアレなので余裕もって買ってもらえると！
今夜だ！ギリギリだと反映ズレとかで2.0.0が有料になってたりするとアレなので余裕もって買ってもらえると！
みんな、 
Nightfox DAWN for mastodon v2.0.0でるよ！
もう承認通ってて、6/1にリリースだよ。
このバージョンから無料（機能制限）とサブスクリプション（毎月300円か年間3,000円）になるので、駆け込みでいいから、いますぐ買っておきなー。
あえてリリースを待って、毎月課金して応援するのもいいと思うけど！ [参照]
#FediLUG 第0号同人誌『Thinking Penguin Magazine Vol.0』表題・寄稿者一覧（敬称略）
・2025年こそLinuxデスクトップ元年を迎えよう（ @Yohei_Zuho@mstdn.y-zu.orgもちもちずきん🍆 ）
・notectlで始めるMisskeyモデレーション（ @esurio1673@c.koliosky.comEsurio ）
・鯖缶2年生、ここまで成長しています！？（ @naoki_wjm@k.my-sky.blue和条門 尚樹 ）
・Kamal を使ったリレーサーバの簡単デプロイ（ @S_H_@gamelinks007.netS.H.@Haloはいいぞ ）
・国漢文混用体から Hollo まで（ @hongminhee@hollo.social洪 民憙 (Hong Minhee) ）
・私と同人活動と Fediverse（ @monaco_koukoku@fedibird.comモナコ広告 ＠技術・雑談 ）
・オブジェクトストレージ、そして弊サーバでの Wasabi運用状況（ @nt776@sv1.in-deep.blueNTSK ）
・中小規模 Misskey サーバーを2年間運営した感想（ @8mitsu@misskey.8mitsu.net好きな惣菜発表アルトリア・ペンドラゴン ）
https://techbookfest.org/organization/7JepZT0g3C6qbddiLmkAwp
At T-DOSE this weekend!
Looking forward to sharing some of the technical things we do at Museum 
@EICAS this afternoon.
Readings shared May 30, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/30-readings_shared_05-30-25 #AIforCode #Agda #GenerativeAI #ITP #LeanProver #Math #Rocq
macOSって予測変換どういう感じで出てくるっけ
記憶では入力したらにゅうりょくってタイプした時点で入力とかに変換されるみたいな感じだった気がするけど
たい焼き片手に帰ってる
久々のﾏｯﾏの
で
に帰ってきたなという実感が
M6.3もあるし若干の海面変動も出ている
RE: c.osumiakari.jp/notes/a8fk5otknbewn5vl
【緊急地震速報(予報) 最大震度4】5月31日17時37分頃、釧路沖で推定最大震度4の地震が発生しました newsdigest.jp/earthquakes/eew/20250531173725 #NewsDigest
1700칼로리는 먹어야겠구나 😂 (오히려 좋아)
フリスク味の飲み物をくれるこころやさしいひとをさがしています
Keik、なんか見たことあるアイデアだなって思ったら本人だった
https://zenn.dev/arusyukuhai/articles/b3f8e507f33ec5
Time for another London photo thread! Mostly architecture and surreal urban settings, my usual suspects..
As always CC-BY-SA 4.0 by Jana M. Hemsing
#photography
でっかいくて美味しいクッキー
コマンドーみたいな映画を見て、あたま空っぽにするのがいいのでは
뚱이 대사중에 이런게 있었어요.
뚱이:어으 심하다 진짜.
라는 대사가 있었스빈다..
セイツェ #platistella #一次創作
【重要】keikについて
やはり当初思ってた通りヤバすぎる
・アカウント消せない
・投稿消せない
・投稿の途中経過まで記録され消せない
つまり予測変換で個人情報など出たら永遠に消せない
絶対にアカウント作らないことを勧めたい
#Linux User: Sometimes, I just want to grep for happiness 🥹
一般 Kyungmi Ahn ꉂꉂ(ᴖᗜᴖ*) 
상어학땡스 
🌸 
のえる
🦊 
