What is Hackers' Pub?

Learning Lean in the age of Artificial Intelligence. ~ Adolfo Neto. https://youtu.be/plpPffJOKu8 #ITP #LeanProver

アイアンゴーレムトラップの効率が良くなったあたりから鉄は割と簡単に無限化できるし、鉄と司書ガチャした村があればダイヤはもう殆どいらなくなるので

粉丝数破推特粉丝数我就把头像换成 Monstercat Best of 2023
因为已经被这玩意跳脸无数次了

규모 7.7의 지진이 미얀마를 강타한 지 일주일이 흐른 4일 사망자는 3100명을 넘어섰습니다. 유엔은 이번 지진으로 900만명 이상이 심각한 피해를 입었다고 추산했습니다.

미얀마 지진 일주일…“얼마나 죽었는지 묻지도 못해”

Nintendo delays Switch 2 pre-orders in response to Trump tariffs https://www.polygon.com/nintendo-switch-2/553133/pre-orders-delayed-trump-tariff

有人拿开联角色跟洛克人做比较（
（真是双厨狂喜行为（什

교실에도 울려 퍼진 '파면 선고'‥"정치 교육 강화해야" 입력 2025-04-04 19:55 | 수정 2025-04-04 19:57 imnews.imbc.com/replay/2025/...

교실에도 울려 퍼진 '파면 선고'‥"정치 교육 강화해야...

これなー

아니 그래도 이제 파면된 대통령 모임 하면 모일 사람도 생겼네

Some foreign media use the expression "short-lived imposition of martial law" when referring to the recent impeachment of the Korean president. I firmly believe that "short-lived" is an inappropriate term in this context. The duration of martial law—whether short or long—does not matter. What matters is that we do not accept the imposition of martial law in a peaceful, everyday society, especially when it is used for political purposes or to deploy military forces against civilians. #SouthKorea

びーるのみたい

お風呂でた

ビール飲みたい

Unfortunately I need to cancel the #SocialCG #ActivityPub issue triage today. I had a travel mixup and won't have a quiet, private place to hold the meeting. Sorry for the late notice, and please plan on attending next week.

진짜 그리스 비극 그 자체다. 청와대에 들어가면 죽는다. 라는 예언을 믿고 용산으로 갔는데, 실은 그 예언이 의미는 대통령이 되면 죽는다는 거였고. 무당이 계엄은 실패할거라 신언을 전하니, 그럼 방법이 있다며 강행했다가 실패했다. 거기에 대왕고래까지...

RE: https://bsky.app/profile/did:plc:pruiueewvzesklle63peqvtl/post/3llya7afhpc2o

やりたいこと、メモしないと絶対に忘れるのに大体しないせいで忘れる

うにゃ

I was the only foreign media reporter allowed inside South Korea’s Constitutional Court for the verdict today to remove impeached President Yoon Suk Yeol from office. Here’s what it was like:

당 소속 대통령이 탄핵을 당했으면 그 대통령 지지하던 파벌이 몰락해야 할 것 같은데 거기는 오히려 탄햑 찬성파를 제거하자고 하네

めがねふきのある生活で、QOLがあがっている。毎日あくらふさんちの子と対面しているのもよい。
QT: https://m.aqr.af/@Aqraf/104365483367104173

我可能是开联第三高技术力

다들 하도 mcp 이야기를 해서 뭔가 하고 보니 nsa의 새로운 옵트인 감시프로그램이라고 해도 믿겠다.

说到底第一次知道开心超人是搁优酷看德国 boy 鬼畜

Pitfalls of Safe Rust

Link: https://corrode.dev/blog/pitfalls-of-safe-rust/
Comments: https://lobste.rs/s/reznwf

Good comparison by @laurenshof of two #Bluesky / #ATProto video apps and the differences between their approaches: https://fediversereport.com/bluesky-report-110/

주력 장르가 딱히 있는건 아니지만... 적당히 흐름 따라 이것 저것 보고있어요!

커피와 사진, 그리고 이곳 저곳 다니는걸 좋아해요. 자세한건 고정 노트를 확인해주세요! #파면_기념_연친소

「能寫是幸福，不能寫便是苦楚。」替自己爭取維持能自由寫作的幸福的台灣

https://blueskuei.me/2025/04/04/%e3%80%8c%e8%83%bd%e5%af%ab%e6%98%af%e5%b9%b8%e7%a6%8f%ef%bc%8c%e4%b8%8d%e8%83%bd%e5%af%ab%e4%be%bf%e6%98%af%e8%8b%a6%e6%a5%9a%e3%80%82%e3%80%8d%e6%9b%bf%e8%87%aa%e5%b7%b1%e7%88%ad%e5%8f%96%e7%b6%ad/

#筆桿接力罷免到底

开心超人联盟：好想法，坏表现

If you're making zines and books, and it's in the range of a few hundred copies or less, I can't recommend DIY enough. Each of our ink tank printers are about $250 each, ink refills are about $15 (and last soooo much longer than cartridges), and paper is $6-20 a packet depending on color and quality.

So each zine we make costs $1 or less in supplies (not counting buying the printer), and our 120ish page full size book is about $2.50 per copy.

그래. 이참에 민주당은 현재 하는 일에 맞는 보수 자리로 돌아오고 진보 자리는 진짜 진보정당에게 돌려주면 좋겠다. 지금 보수 자리에 있는 범죄자들 말고.

一応、発表資料は大体終わった。次は練習をしなければ。

재게시 해주시면 감사합니다 !!
친구의 부탁으로 올려보는 글이에요 ~

늘어나는 생성형 AI 사용에 대한 인터뷰에 응해주실 웹툰 작가, 일러스트레이터, 혹은 관련 업계 종사자를 구합니다!
인터뷰이 사례금 있음(1인당 4000원)
신분 정보 공개X 전부 익명 처리

open.kakao.com/o/sTrymqph

私が生まれた頃ギリギリ存在したかよくわからないぐらい古い方式のハードディスクの復元を為そうとして試行錯誤しております。Archive[.]org漁りながら頑張る。

人は自分が初めたころのマイクラのプレイ方法の流行りを一生続けるといわれている

若くなりたいというか活力が欲しい

​​

　ほんとにメタンガスで＼ボン！／とかあり得るんじゃないの？さあさあ。みなさんよっといで、トランプさんも、ネタニヤフさん、プーチンさんも、たのしいたのしい万博のはじまりだよ〜。

万博のブラジルパビリオンで出火　天井や配線燃える　けが人なし
https://digital.asahi.com/articles/AST4445CNT44OXIE09HM.html?iref=comtop_7_04

US labour watchdog halts Apple cases after US picks group's lawyer for top job

Link: https://www.ft.com/content/ad7fcc22-343e-47e3-a6f3-58bfd4294c9d
Discussion: https://news.ycombinator.com/item?id=43555696

​​

Some foreign media use the expression "short-lived imposition of martial law" when referring to the recent impeachment of the Korean president. I firmly believe that "short-lived" is an inappropriate term in this context. The duration of martial law—whether short or long—does not matter. What matters is that we do not accept the imposition of martial law in a peaceful, everyday society, especially when it is used for political purposes or to deploy military forces against civilians. #SouthKorea

諸事情により、携帯電話番号を6つ、全てアクティブにしておく必要があります。

デュアルSIMで2つずつ接続し、3台の端末で音声通話に応答できるようにしています。

しかし端末が３つあるので普通に重たいです。

6つとも要件が違うため、すべてを統一すると、いろいろとかなり不味いことになります・・・

こまった。

proxmox入れようかな​​

Strinova動かなくなるんだけど​​

보이저 정식 서비스 전환 안내

여행자 여러분, 안녕하세요.

페일 블루 보이저 네트워크는 2024년 4월 1일 가동을 시작한 이후 약 1년 간 베타 상태로 운영되어 왔습니다. 지금까지 서버가 안정적으로 운영되었고, 본격적인 운영을 위한 준비가 되었다고 판단하여 보이저 컴패니언은 2025년 4월 28일 보이저를 정식 서비스로 전환하려 합니다. 4월 중으로 정식 서비스를 위한 기반이 업데이트됩니다. 앞으로도 잘 부탁드리겠습니다. 감사합니다.

맨날 눈뜨면 하던 파면되겠지 라는 걱정이 사라지자 내 앞가림 걱정이 더 선명하게 남았다....... . . .

Why does Britain feel so poor?

Link: https://martinrobbins.substack.com/p/von-6-why-does-britain-feel-so-poor
Discussion: https://news.ycombinator.com/item?id=43581672

有一说一 X 和联邦宇宙简直是两坨，毕竟林子大了什么鸟都有，还没算上另外一坨 Atmosphere 呢

윤석열은 대통령 집무실 앞 역대 대통령 초상화 자리에 초상화를 걸어주면 안 된다고 생각함. 대신 새까맣게 먹칠한 캔버스 위에 금색 글씨로 “윤석열은 국가를 내란에 빠트리려는 군사정변을 획책하여 엄히 처단되었다” 한 문장 적은 그림을 걸어놓는 게 제일 적당하다. en.wikipedia.org/wiki/Marino_...