What is Hackers' Pub?

몸이 찌뿌둥한 아침

사실 치긴가게도 옛말입니다. 치킨가게가 사업 아이템으로는 예전만 못하기 때문입니다. ​​

おはよーございます

Old (but definitely not busted, still relevant):

There is no cloud, only other people’s computers.

New:

there is no Claude, only other people's code

-- Michiel Leenaars in his FOSDEM keynote

😻

self-soothing my AI and fascism anxiety by texting my friends pet photos

my roommate got a package that's either a vinyl album, a laserdisc, or a calendar.

because for some reason those things are all the same size

Why invest energy in D&I work when it's being questioned everywhere?
Because barriers are real. Because Python is global. This is what not giving up looks like.
Check out my post: https://georgiker.com/blog/python-is-for-everyone/

@ReuvenReuven M. Lerner @juliobsJulio Batista Silva @brnsbNathan Bransby @riecatnorMarie Nordin @keanyaphelps @karobotcoKarobot

冷蔵庫の野菜室にからっぽの容器が転がってるなと思ったけどサラダに乗せるためにタマネギの薄切りを1枚つくったのが入ってたねw

Paragon accidentally uploaded a photo of its spyware control panel

Link: https://twitter.com/DrWhax/status/2021608609595945442
Discussion: https://news.ycombinator.com/item?id=46979819

why pay for mermaid.live when you can use Obsidian for $0

ジャ・ジャンクーが見つめた20年 『新世紀ロマンティクス』と辿る中国の変化 ｜ カルチャーメディアNiEW（ニュー） https://niewmedia.com/specials/jiazhangke_edani_wrani/
この映画は、見ておいて良かったと思ったね

All of our games are on sale in a bundle the price of a full price copy of Kitsune Tails: https://itch.io/s/180112/kitsune-games-bundle-february-2026

Kitsune Tails is SMB3 with lesbian fox girls, and Kitsune Zero is the prequel. Steal the bodies and abilities of defeated enemies in MidBoss, or solve hat based push puzzles in UHD

I want off Mr. Bones' Wild Ride ​​

相次ぐ公演中止。中国の若者たちの本音と日本のインディーズ音楽への渇望 ｜ カルチャーメディアNiEW（ニュー） https://niewmedia.com/specials/2602chugoku_ednmr_wrfsm/

タムトモチャンネルでインタビュー受けてた女の子が「高市さん笑顔がいい。安倍さんもそうですよね」とか言ってて高市推してたけど、本人は生活保護でグループホームに暮らしてて、自立するのにお金が足りないって言ってるのに、より自分を苦しい状況にする人間を推すっていう思考回路が本当に理解できない。
意味がわからない。
高市の支持率が７割って、ほとんどの日本人がこんな感じなんだよな。
日本語的な文脈壊れてるよな。
🫨

Holy shit.
I was just sitting on the sofa, considering what to do about dinner, when some guy whose face I didn’t see came up my steps and put something in my mailbox. He had a blue heeler waiting at the water bowl. By the time I got up and opened the door, they were gone. And this was in the box. 1/

다행이다..... 그래도 좀 잠들었어

日記。今年も恵方巻きの時期がやってきた。由来とか歴史はどうでもいい。僕にとっては、様々な種類の太巻きをたらふく食べられる一点においてのみ価値がある。
riq0h.jp/2026/02/11/221241/

Demo-Ankündigung
#München 28.03.2026
13:15 Uhr Odeonsplatz
#NOkings #NOfascism

恐らく統一教会の人なんだろうけれど、リベラル系の元国会議員さんの心を折ろうと必死になっているのがいますね😆

リベラル「保守」の人は要注意ですよ。連中は心の弱い部分を巧みに利用してマインドコントロールをかけてきますから。特に人の良さそうな人は絶好のカモです。

I want off Mr. Bones' Wild Ride ​​

I can vouch for the accuracy of this.

You can also add “smuggling people to safety like it’s the Underground Railroad” to this list.

https://social.xenofem.me/objects/d1c06424-1c6e-452c-819a-14dc015016ee

US decides SpaceX is like an airline, exempting it from Labor Relations Act

Link: https://arstechnica.com/tech-policy/2026/02/victory-for-elon-musk-us-labor-board-abandons-authority-over-spacex/
Discussion: https://news.ycombinator.com/item?id=46980474

Spite laundering

passed to me from a minnesotan on the ground in minneapolis, boiled down into bullet points

-- people are hiding others in their houses now.

-- ICE is following white people home from the store if they think they might be buying food for someone else.

-- ICE is supposed to be switching to night raids soon to avoid observers.

-- it's generally understood that if you're detained it's a mugging and if you're raided it's an armed robbery because they WILL steal your shit. phones are #1 obviously so they can find more victims, but anything they can steal and sell, they will. pass this on if you have anyone to pass it onto. i have been explicitly given the "PLEASE DO" of sharing on this. social media has slowed down not because it's gotten better but because people have gotten tired or bored and minnesotans are too busy fighting back and trying to survive.

視程10マイル未満いただきましたー!!

SPECI PHTO 112226Z 25006KT 5SM -RA BR SCT026 BKN035 OVC044 21/19 A3013 RMK AO2 P0008 T02110194
#METAR_PHTO #metarbot

Demo-Ankündigung
#München 28.03.2026
13:15 Uhr Odeonsplatz
#NOkings #NOfascism

Rado Kirov has been one of several people working through the exercises in my Lean formalization of my Analysis I textbook at https://github.com/teorth/analysis . For several months he proceeded by hand, teaching himself Lean; see https://rkirov.github.io/posts/lean3/ and https://rkirov.github.io/posts/lean4/ . But recently, he switched to using Claude Code, significantly accelerating the process, to the point where all the exercises in three section could be formalized in a weekend, with only a few hours of active intervention: https://rkirov.github.io/posts/lean5/ . This is already notable, but I found Rado's description of his precise workflow, and the carefully curated prompt at https://github.com/rkirov/analysis/blob/main/CLAUDE.md he used, to be particularly interesting, with an emphasis not on just solving the exercises, but aligning it to his desired writing style, and identifying "pitfalls" in the formalizing process (which were recorded separately at https://github.com/rkirov/analysis/blob/main/TACTICS.md ). These sorts of experiments suggest that using these automated tools to take over tedious tasks such as formalization may not necessarily reduce our own capability to achieve these tasks; with the proper workflows, they could actually enhance our understanding of the process.

SPECI PHTO 112226Z 25006KT 5SM -RA BR SCT026 BKN035 OVC044 21/19 A3013 RMK AO2 P0008 T02110194
#METAR_PHTO #metarbot

After creating my new #blog using @gohugoio I looked for a way to automate the deployment of the site to my @Podman_io server.

I created a #git action on my @forgejo server and documented it here: https://mbaehler.ch/posts/hugo-gitaction/

#podman #forgejo

​​​​

TIP: You need a sufficiently descriptive and instructive AGENTS/CLAUDE.md file and MCPs/Skills that give it access to the HIG and Documentation.

Linus Torvalds Rejects MMC Changes For Linux 7.0 Cycle: "Complete Garbage"

The Linux MultiMediaCard "MMC" subsystem was set to see some new hardware support, optimized support for secure erase/trim on some eMMCs, and a variety of other improvements. But all of the MMC changes are rejected and will be for the duration of the Linux 7.0 cycle due to an apparent lack of testing and vetting via linux-next that led Linus Torvalds to calling it "complete garbage" and "untested…
https://www.phoronix.com/news/Linux-7.0-No-MMC-Changes

I am so horrified and ashamed of our country.

最近の

​​
木曜日〜

最近の

당신은 사랑받기 위해 태어난 사람 당신은 받기 위해 태어난 사람 당신은 위해 태어난 사람 당신은 태어난 사람 당신은 난 사람 난 사람 당신은...?

RE: https://bsky.app/profile/did:plc:7fbikvxjgwiomstwwnd2gp42/post/3ma3qz3wcmc2w

한국인들은 모두 치킨 가게를 운영한다고 들었다

이거 요샌 최신화되서 버튜버입니다

RE: https://misskey.io/notes/aim5mje5gwvs05wd

The problem with global warming is that it’s going to melt the microplastics in our bodies. We’re all going to have big plastic feet.

@LoginBonusログインボーナスbot ログボ

I am so horrified and ashamed of our country.