What is Hackers' Pub?

hey friends if you are at #PyConUS we semi desperately need volunteers so it would be super cool of you to step up 💞 https://us.pycon.org/2025/volunteer/volunteering/

アプリ作りたいけどコード書きたくなくてもがいてる

窓開けてたらいつのまにか机が水滴だらけになっちゃってた

Auch mal ein kleiner Scherz am Rande.

Das mit der ganzen Alpha Männlichkeit finde ich als ☢️Radiochemiker☢️ auch deshalb so lachhaft, weil Alphas bei uns folgende Eigenschaften mitbringen:

- geringste Penetrationskraft
- der Bragg "Höhepunkt" ist quasi sofort
- schon im geringen Mengen toxisch

Und ich denke damit ist auch schon alles gesagt 😂

아 맨날 5번 찍으면 표 분산된다고 1찍 왜 안 하냐고 뭐라고 하는 것만 듣다가 극우 쪽은 4번 찍으면 표 분산된다고 2찍하라 소리 듣는다는 거 알고 나니 개웃김 ㅠ

Spending the rest of my afternoon captioning the next month worth of IG posts because I am Zuck's bitch.

I feel dirty still having a presence on IG and FB. I wish my clients weren't there.

I’ll open a brewery that caters to the compiler engineer audience.

Our first beer will be “The Target Tripel”. We’ll brew it as a Dubbel, Tripel or Quadrupel.

ive been forced to forward this to you, the unsuspecting victim, by circumstances beyond my control

with deepest apologies

14官民ファンドで累積赤字 総額1900億円超、検査院|47NEWS（よんななニュース）
https://www.47news.jp/12588131.html

아 맨날 5번 찍으면 표 분산된다고 1찍 왜 안 하냐고 뭐라고 하는 것만 듣다가 극우 쪽은 4번 찍으면 표 분산된다고 2찍하라 소리 듣는다는 거 알고 나니 개웃김 ㅠ

Ja, das wär echt schön gewesen, hätte jemand etwas davon in die Verfassung geschrieben! Wieso kennt eigentlich Friedrich Merz die Verfassung nicht? Könnte man ihn dafür abschieben?

연합우주 서버비 이야기하면 한달에 삼백만원 낸 정원사가 와서 이놈 한다

Official statement regarding the EU’s first DMA antitrust fines | Vivaldi Browser https://vivaldi.com/blog/news/official-statement-regarding-the-eus-first-dma-antitrust-fines/

The State of Mobile App Accessibility Report https://arctouch.com/state-of-mobile-app-accessibility

Enhancements to the proposed permission element | Blog | Chrome for Developers https://developer.chrome.com/blog/enhancements-to-permission-element

What Disabled People Have to Give Up in the Name of Accessibility https://accessaces.com/what-disabled-people-have-to-give-up-in-the-name-of-accessibility/

Deque Axe Assistant - First impressions https://www.craigabbott.co.uk/blog/deque-axe-assistant-first-impressions/

FTC Approves Final Order Requiring accessiBe to pay $1 Million https://www.ftc.gov/news-events/news/press-releases/2025/04/ftc-approves-final-order-requiring-accessibe-pay-1-million

Use CSS reading-flow for logical sequential focus navigation | Blog | Chrome for Developers https://developer.chrome.com/blog/reading-flow

EAA: Only 11% of organisations confident they will meet June deadline https://abilitynet.org.uk/news-blogs/eaa-only-11-organisations-confident-they-will-meet-june-deadline

Digitalizing Wick's theorem. ~ Joseph Tooby-Smith. https://arxiv.org/abs/2505.07939 #ITP #LeanProver

"AI가 다 해줄거니까" MS나 구글까지 입사한 사람들을 1만명씩 자른다는 이야기 보고 계속 생각함. 저러다가 분명히 역사에 남을 실패 사례가 나올 거라고. 솔루션 하나로 뭐든 해결할 수 있다는 만능주의는 반드시 크게 넘어짐. 직원 잘라서 인건비 줄여서 주가 올리자는 = 경영진 보너스 = 발상이 아마 AI 시대에 적응하자~ 보다 더 크게 작동하고 있을 것. 그런 이유로 사람을 자르니까, 소비자가 직접 대하는 원드라이브나 오피스, 윈도우 업데이트가 버그랑 오역 투성이인 것. 세계적 대기업이 번역기 써서 로컬라이징을 하다니...

覚え書き更新 Raindrop.io Bookmarks 05/17/2025 https://kidachi.kazuhi.to/blog/archives/042952.html

パパ活ウォッチャー

そろそろSkeb宣伝用ノート新しいの作るか

Graceful Shutdown in Go: Practical Patterns via @RunxiYuRunxi Yu https://lobste.rs/s/n8wg1s #go
https://victoriametrics.com/blog/go-graceful-shutdown/

Programming in Martin-Lof's Type Theory: An Introduction (1990) via @fanfTony Finch https://lobste.rs/s/20gz72 #book #pdf #plt
https://www.cse.chalmers.se/research/group/logic/book/

엔씨소프트가 직원들이 오후 8시 이전 퇴근하면 기존에 무상 제공하던 저녁을 안 주기로 했다는 뉴스 보고... 언제나 그렇지만 저러면 항상 그리고 반드시 가장 유능한 인재가 이직을 하거나 창업을 함......

우리나라는 아마 의료법 때문에 안 될텐데.. 사모펀드가 소유한 병원은 맹장 같은 기본적인 수술 후 한 달 이내 사망 가능성이 42%나 높았다고. 이익만 추구하는 자본이 병원을 소유하면 우리 모두 사이버펑크물에서 살게 된다는 사례. www.marketwatch.com/story/medica...

Medicare surgical patients in ...

​​

にゃああ

なんか今日はお下品ノートをよく見かける気がする。みんな疲れてるんだ

Will computers prove theorems? ~ Kevin Buzzard. https://podcasts.ox.ac.uk/will-computers-prove-theorems #ITP #LeanProver #Math

한편 저런 짓을 벌인 계정들을 모아둔 문서가 있어서 같이 공유: docs.google.com/document/d/1...

Loser accounts to block

좀 더 조사해보니 이번 건은 - soyjak party라고 불리는 커뮤니티에서 조직적으로 벌어졌고, 사이트 내에 Grok에게 이스라엘 국기를 그려달라 요청할 때 쓰는 프롬프트들을 공유하고 있음 - 이 커뮤니티는 극우적인 성향이 짙어보이고 특히 트랜스젠더를 굉장히 혐오하고 멸시함 - 계정 제재당해도 임시이메일을 통해 새로 가입하는 등의 팁도 돌아다님

Formalizing the future: Lean’s impact on mathematics, programming, and AI. ~ Leo De Moura. https://podcasts.ox.ac.uk/formalizing-future-leans-impact-mathematics-programming-and-ai #ITP #LeanProver #Math #CompSci #AI

**중요 공지!**

Krll에서 아동 성 착취 미디어가 포함된 웹사이트들을 발견하였습니다. FBI에 보고하였으며, 요청 시 가능한 모든 정보를 수사 기관에 제공할 예정입니다.

**불법 링크를 단축하지 마세요!**

#雨の日は青空の写真を貼ろう

I'm mad that sodiboo's birthday was yesterday

today's my birthday but it's weird now cause everyone was celebrating sodi yesterday...

弊鯖のストレージです

@sunwoo1524맹꽁이 가, 갖고싶다!

**중요 공지!**

Krll에서 아동 성 착취 미디어가 포함된 웹사이트들을 발견하였습니다. FBI에 보고하였으며, 요청 시 가능한 모든 정보를 수사 기관에 제공할 예정입니다.

**불법 링크를 단축하지 마세요!**

にゃ

current status: thanks to E2 and very indiscriminate packing algorithm of “just throw in everything I could possibly need”, I now get to experience the classic “plz help me put my suitcase up there” on the train for the first time

な

ぽいにゃ

**Major Notice!**

We found illegal websites containing child sexual exploitation media. We reported them to FBI, and we will send as much as possible information about them to investigative agencies.

PLEASE DO NOT SHORTEN ILLEGAL LINKS!

ひどかった、がただしいのか?

むこうのほう、そんなにひどいのか

んぬー