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.
投稿単体のミュート、まだマージされてないんじゃない?
【重要】keikについて
やはり当初思ってた通りヤバすぎる
・アカウント消せない
・投稿消せない
・投稿の途中経過まで記録され消せない
つまり予測変換で個人情報など出たら永遠に消せない
絶対にアカウント作らないことを勧めたい
投稿のミュートってできたっけな
ワロタ
永遠に同じ投稿が流れてくる
にゃーん
Löb’s theorem and provability predicates in Rocq. ~ Janis Bailitis1, Dominik Kirst, Yannick Forster. https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper17.pdf #ITP #Rocq #Logic #Math
uspol, ice
Towards modular composition of inductive types using Lean meta-programming. ~ Ramy Shahin. https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper64.pdf #ITP #LeanProver
비슷하게 해서 45kg까지 살을 뺀 적이 있는데 근육 그 때 다 빠진거 같더라고요.
그냥 3끼 잘 드세요... 
ぞーぺん、メッチャ進化したの、どんどん褒め称えるいいよ。
そして、これが継続利用してお金を払ってくれるユーザーにつながるのがいちばん大事だから、そういう結果をフィードバックできるよう、いろんな形で応援しようね！
XSSとかそこらへん出来ないかっていう面白そうなことやってる
虚無に対して共感している
서현아 다음엔 잘하자..이건 아니야.
???:이런건 아니야!!
오늘 산책 중에 반중력 조각배를 연상시키는 탈북한 초코 없는 초코소라빵을 봤어요!
わかる
投稿数が多いとクエリが弾かれるとかなんかでアカウント消せなくなるバグ、どうにかなったのかしら
自分のあたまをなぐるのにためらいがなくなってきた
アカウント消せないといえば
Verifying Z3 RUP proofs with the interactive theorem provers Coq/Rocq and Agda. ~ Harry Bryant et als. https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper67.pdf #ITP #Coq #Rocq #Agda
do not touch this Raspberry PI 😉 It is doing something important and you need not to concern about it. move along. okay?
そういうハラハラ感が味わいたくて登録してるんじゃないの？もっと出しなよ、個人情報をさ その方が興奮するだろ？
つよそう
こんなにくっきりした、虹を見たの、どのくらいぶりだろう。
HoTTLean: Formalizing the meta-theory of HoTT in Lean. ~ Joseph Hua et als. https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper25.pdf #ITP #LeanProver #HoTT
서현아 다음엔 잘하자..이건 아니야.
???:이런건 아니야!!
若干機能が少ない部分もあるけど、悪くないな
スライドの書式はそこそこ作りこめそう
RE: https://misskey.systems/notes/a8fgok34iv
every fep looks like this and it's not even a joke
錦糸卵
𝑩 𝒂 𝒏 𝒏 𝒆 𝒅 𝑬 𝒈 𝒈 𝒔
I love waking up stupidly early on a Saturday and Sunday before anyone else, drinking a fresh coffee, making a lovely Bacon sandwich and relaxing in absolute silence, no car noise, no people noise just me and my Kitty's. Absolute Bliss 😊
Happy #Caturday have an amazing weekend😻
Lean4Lean: Mechanizing the metatheory of Lean. ~ Mario Carneiro. https://msp.cis.strath.ac.uk/types2025/abstracts/TYPES2025_paper31.pdf #ITP #LeanProver
冷やし中華をつくるよ。これは錦糸卵になる予定
こんなにくっきりした、虹を見たの、どのくらいぶりだろう。
ハードウェアが良くてもソフトウェアが悪ければただのゴミだし
逆も然り
그리고 민간자격증의 문제에 대해 환기할 수 있다면 공공영역의 민간 외주화에 대해서도 이야기 할 수 있지 않을까?
🔁 사실... 철없을때 먹토 씹뱉 다해본 사람... <-
ㅠㅠㅠㅠ
Apple製品で使うならmacのほうがLinuxより軽い気がする (あたりまえ)
「このノートを見たことにする」ボタンが必要
이어폰 챙기는걸 깜박했네요..
んぬ
使い勝手良いな、フライパン振ってるblobchan絵文字
sublimer@あすてろいどん鯖管
상어학땡스 
🦊 
GENKI
(自律しろ) 
＠技術・雑談 
@
