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.
3초만에 머리감는법!
1. 머리에 물을 뿌린다
2. 샴푸질을 한다
3. 변기에 머리를 박고 물을 내린다
へー。出て間もないみたいだが1kg1000円くらいなのか。使い道の幅が出て量産体制が広がればもう少し下がりはしそうだな。
ジャガイモ米 中国の主食市場に進出 写真1枚 国際ニュース：AFPBB News
https://www.afpbb.com/articles/-/3576725
>「ジャガイモ米」は高カリウム・低ナトリウムというジャガイモの栄養特性を受け継いでいるだけでなく、雑穀を配合することによって栄養価もアップしています。韃靼そば粉を加えることで食物繊維の含有量が大幅にアップし、トウモロコシ由来のカロテノイドが「ジャガイモ米」の見た目を黄金色にし、分解過程が雑穀に近いため、ダイエットを目指す人々にとっては理想的な選択肢となります。同時に、生産過程でジャガイモの中の水分が除去され、本来わずか数日だったジャガイモの保存期間が最長1年ほどに伸び、新鮮なジャガイモは腐りやすいという産業上の難題もクリアしました。
もっとゆっくり食べたかったけど急に混み出して無理だった
A graphical interface for category theory proofs in Coq. ~ Luc Chabassier. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu24.2.pdf #ITP #Coq #Rocq #CategoryTheory
있지도 않은 파일들 엑세스하려는 놈들이 무척 많은데..
에러 페이지에다 시진핑 모욕짤을 붙여 놓을까...
어차피 봇들이라 못보겠지만.
Proof assistants for teaching: A survey. ~ Frédéric Tran Minh, Laure Gonnord and Julien Narboux. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ThEdu24.1.pdf #ATP #ITP #IsabelleHOL #LeanProver #Coq #Rocq #Education
すきなにおい
にゃーん
Is there a Mastodon plushie made in the #EU? I want one, but buying from USA is not possible.
이거 왤케 웃기지 ㅋㅋ
잠시 '신'의 작품을 감상하고 가시겠습니다...
나의 안목은 틀리지 않았어...
🍀 KD님 (@ merryjunewithkd)
We merged the first PR on our fedidb-nuxt repo 🥳
While the web frontend is open source, we are working to release the backend source so you can run the full FediDB platform yourself 🚀
そもそも吉村なんて死ぬまでイソジンイソジンお前の名前は磯仁太郎と指さして嘲笑われないといけない存在なのに「ようやってはる」の声しか聞こえない体たらくで何が大阪が反権威の笑いの街かと。
We merged the first PR on our fedidb-nuxt repo 🥳
While the web frontend is open source, we are working to release the backend source so you can run the full FediDB platform yourself 🚀
ないた
あめふってるんですけど！！！！
독수리가 불타면..
한화 이글스..
이글이글..
Modelling and verifying neuronal archetypes in Coq. ~ Abdorrahim Bahrami, Rébecca Zucchini, Elisabetta De Maria, Amy Felty. https://arxiv.org/abs/2505.05362 #ITP #Coq #Rocq
おかいもの
Hier mal eine kleine Erinnerung, dass unter https://pxlfed.de eine kleine deutsche Pixelfed Instanz zu finden ist, die noch Platz für neue User hat.
1972년 지구 궤도를 벗어나는 데 실패했던 옛 소련의 금성 탐사선 ‘코스모스 482호’가 이번 주말 지구로 추락할 것으로 예상된다.
수정 2025-05-09 10:25 www.hani.co.kr/arti/science...
“첨벙, 쿵, 비명 중 하나”…495kg 금성 탐사선,...
なんかリアクションしたら自分のリアクションが増殖した
비퀴어 청년 남성분들 제일 신기한점 억울한 건 되게 많은데 그럼 님을 글케 힘들게 하는 이 사회의 문제점을 진지하게 말해 보라고 하면 갑자기 억울징징은 어디가고 기득권 팬보이 모드가 돼서 AI 쓰는 게 기업 입장에선 좋긴 하다 한국 남자면 군대 가는 게 당연한 거다 복지한다고 무조건 좋은 게 아니다 이럼 하지만 넌 기업가도 아니고 장교도 아니고 나랏님도 아니잖아...
#新日本海フェリー 
は日本最速フェリーのはまなす/あかしあがまもなく引退なので今のうちに乗っておくのがおすすめ
エンジンのパワーが強すぎて船内は常に小刻みに揺れ続けてるので、食堂ではプルプル震えるそば等が食えます
갑자기 섹계한테 팔로우를 받아서 당황스러웠는데 1분 지나고 다시 보니까 정지됐네 🤣
還給我0ne-drive 
Yesterday I learned about https://cartes.app, a new AGPL 
@openstreetmap app that has an impressive PWA!
Thanks to 
@Bristow_69Cdrik ⏚🌻 for sharing!
https://framapiaf.org/@Bristow_69/114466716762089709
New report from Doublethink Lab: The Impact of TikTok on Taiwanese Youth and PRC perceptions: A 2025 TikTok User Study
#Taiwan #China #SocialMedia #TikTok #InformationWarfare #台灣 #中國
When Godwin's Law went hilarious by politicians
https://www.upmedia.mg/news_info.php?Type=2&SerialNo=229813
아이폰 15 시리즈 벌써 2년 됐구나 ㄷㄷㄷ
From Haskell to a new structured combinator processor. ~ Yukang Xie et als. https://pure.hw.ac.uk/ws/portalfiles/portal/149643713/TFP-2025-Author-Submitted-Manuscript.pdf #Haskell #FunctionalProgramming
당장 여성들은 어떤 주장을 하냐: 여성을 대상으로 한 온/오프라인 성범죄 및 여성혐오 범죄를 제대로 처벌하라, 여성이란 이유로 채용 차별하지말고 동등한 노동권 보장하라, 여성의 성적 권리를 치부로 여기지 마라, 여성을 성적 도구로 여기거나 성적 목적을 위해 돈으로 사고파는 재화로 취급하지 마라 등등 당장 떠오르는것만도 이정도인데 정작 2030남성들은 뭘 주장함? 알페스는 불법이다웅앵웅? 히이익 저 엄지검지는 해로운 손이다!!!! 하는 진상민원? 군인권도 지들 내킬때만 갖고오지 진지하게 얘기하려고 하면 너만 힘드냐? 이난리나 치면서
그리고 원래 OLED 디스플레이를 굉장히 싫어했는데 아이폰12 쓰면서 그게 깨져버림.. 애플 올레드는 분명 삼성꺼 받아쓰는건데 왜 번인이 안보이는가
물론 언젠가 번인이 오긴하겠다만 그때쯤이면 배터리가 먼저 뒤져있을듯
雨ふりそ…
이거 중요하다
2030남들은 지들딴엔 자기네가 3등시민(ㅋㅋㅋㅋ)이라고 주장하지만
정작 3등시민(ㅋㅋㅋ)의 처우개선을 위해 어떤게 필요한지 찾아서 이것들을 요구하는게 아니라
매번 지들눈에 꼬와보이는 다른 집단이 좆되게 해달라고만 주장하는 걸 보면
쟤네는 3등시민이 아니라 누구보다도 철저한 기득권들일 뿐임
2030남들이 586기득권 욕할게 못됨
RE: https://bsky.app/profile/did:plc:vulw5mr6dy7kreqn6zsb6xkr/post/3loq2yclct222
그리고 원래 OLED 디스플레이를 굉장히 싫어했는데 아이폰12 쓰면서 그게 깨져버림.. 애플 올레드는 분명 삼성꺼 받아쓰는건데 왜 번인이 안보이는가
기자의 쓰레기같은 질문에 비해 소년의 대답이 너무 훌륭했다.
아이가 무사히 있기를.
그리고 전쟁은 하루빨리 끝나기를.
RE: https://bsky.app/profile/did:plc:adywzg7ar6r6jd3ngkc7y7ln/post/3looevjuz5226
When Godwin's Law went hilarious by politicians
https://www.upmedia.mg/news_info.php?Type=2&SerialNo=229813
『ハルビン』本予告来た。リリー・フランキーのこの台詞が、韓国でも印象的な名台詞として評価を得たやつですね。
https://www.youtube.com/watch?si=yj3jvbVKj9yt-cU2&v=DbA45uu9n2E&feature=youtu.be
This is how close to impossible it would be to read the terms & conditions from social media platforms.
Do you know what you're agreeing to?
麦入り米がスーパーで売っているのを見て、ｱﾚは見事に戦前戦中の日本を取り戻したなと感じた。
이거 왤케 웃기지 ㅋㅋ
이거 중요하다
2030남들은 지들딴엔 자기네가 3등시민(ㅋㅋㅋㅋ)이라고 주장하지만
정작 3등시민(ㅋㅋㅋ)의 처우개선을 위해 어떤게 필요한지 찾아서 이것들을 요구하는게 아니라
매번 지들눈에 꼬와보이는 다른 집단이 좆되게 해달라고만 주장하는 걸 보면
쟤네는 3등시민이 아니라 누구보다도 철저한 기득권들일 뿐임
2030남들이 586기득권 욕할게 못됨
RE: https://bsky.app/profile/did:plc:vulw5mr6dy7kreqn6zsb6xkr/post/3loq2yclct222
상어학산타 
초크
dansup
SparklingOutlaw🍉
