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

@evanEvan Prodromou I chose to interpret this question in an idealistic way, ie. as I'd like society to be. And as part of my premise would be some kind of guaranteed basic income, so everyone wouldn't have to sell their labor-power on a market and could choose their commitments in dialogue with a wider community. Given that, I picked 32 hours or more.

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 ​​

@evanEvan Prodromou Zero to ~150 hours.

Beyond 150ish hours is of course possible, but I believe adequate sleep and rest should be had for obvious reasons.

相次ぐ公演中止。中国の若者たちの本音と日本のインディーズ音楽への渇望 ｜ カルチャーメディア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/

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

@evanEvan Prodromou SHOULD is a really heavy word, especially around “unpaid”.

I want it to be easy and possible for devs to maintain OSS.
I want it to be the norm & a cultural value that it happens.

Private companies should sponsor more OSS maintenance to make it easier and more possible for more people.

日記。今年も恵方巻きの時期がやってきた。由来とか歴史はどうでもいい。僕にとっては、様々な種類の太巻きをたらふく食べられる一点においてのみ価値がある。
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 ​​

OH MY GOD —! I cried out when I saw myself like this this morning. My face is pale and colorless, my body is thin and trembling from my foot injury, anemia, and malnutrition, and I'm about to lose my leg because treatment is no longer available. I will never forgive being looked at like this, being ignored, and being passed over without even a single word from them.
Who can help me with my campaign? Thank you to everyone who stands by me.
https://chuffed.org/project/133500-support-diyaa-a-home-a-future-and-hope-lost-in-gaza
#gaza #palestine

중국이 멀쩡한 나라라고는 생각하지않음 특히 거대한 정부에의한 억압적인 방식은 여전히 문제. 후커우 제도나,빠른 발전으로 교육시장이 과열되고 빈부격차가 커지고 저출산이 가속화되니까 귀농을 권장한다던지.. 이게 게임업계의 규제에도 나타나고 있는데 영어표기에대한 규제가 심해짐. 영문표기가 많다 하면 판호가 안나와서 텍스트뿐만아니라 텍스쳐도 중국어로 바꿔야함. 이건 과거에 영어가 가난박멸로 권장되었었지만 지금은 미국과의 마찰도 있지만 과도한 교육열(쌍감, 사교육금지)과 남아도는 고학력자 문제와도 연결됨..

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

MIT Tech Review: 燃料・安全性・コスト——次世代原発に関する読者の疑問に答える

（無料で読めるようにしてあります）

https://www.technologyreview.jp/s/377363/three-questions-about-next-generation-nuclear-power-answered/?id=QuM-wn8z-d0gcPM8HT58d07xIgCE5WFpHlLJC2WTaMc&article=377363&nonce=13652&timestamp=1770849703&signature=geWDErTglJvX6uPAAsLu9I9MJ7cLs9HOypHSnvxngCa

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.

Don’t be fooled by Ring’s latest attempt to make mass surveillance and real-time identification the new norm in our neighborhoods. https://www.eff.org/deeplinks/2026/02/no-one-including-our-furry-friends-will-be-safer-rings-surveillance-nightmare-0

Thoughts and prayers or whatever https://wtfdetective.blog/republican-mayor-cant-believe-deportation-50/

macOS 26.3 just dropped and with it, Apple’s iCloud Passwords extension now works with Waterfox!

視程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

Multi-round Desktop Linux distribution showdown.

This is the final round.

The distros were chosen based on the results of a previous poll.

Please consider boosting to obtain a larger sample.

Final Round: fight!

#poll #linux #distro #debian #nixos

I am so horrified and ashamed of our country.

最近の

@evanEvan Prodromou as much as they want, they're unpaid.

​​
木曜日〜

最近の

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

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

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