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.
a poll about uspol for concerned US folks
hey, where are you at
Hey, I'm aly, a neurospicy trans chaosqueer.
I like thinking about hard and soft #tech, I have silly sometimes creative ideas and #cooking is my zen. I also occasionally make some bleeps and bloops. Oh and I'm terminally online and apropriately memebrained at times.
Want to be my enemy? How about being mutuals or just chatting a little? Or would you like to beep or meow at me?
Schreibt mal alle eine kurze Mail an diese Leute, die gerade über die Legalität der Sexarbeit verhandeln. Im Betreff soll sichtbar sein, wo ihr steht. Möglichst keine anonyme Junk-Adresse nutzen. Danke.
Lars.Klingbeil@bundestag.de
Achim.Post@bundestag.de
Matthias.Miersch@bundestag.de
Baerbel.Bas@bundestag.de
Hubertus.Heil@bundestag.de
Boris.Pistorius@bundestag.de
manuela.schwesig@spd-mv.de
a.rehlinger@spd-saar.de
Nous connaissons actuellement un achalandage très élevé. Il se peut que certaines fonctionnalités soient plus lentes ou temporairement inaccessibles. Nous sommes au courant de la situation et travaillons activement à trouver une solution.
Désolé pour les inconvénients occasionnés et merci de votre compréhension. 💜
In case anyone else is as obsessive as me about spreading out your boosts instead of boosting everything at once when you see it: I made a thing to deal with that 
https://src.opensuse.org/fl4nn/mstdn-boost
It's basically like one of the Hourly $animal bots but for boosts: give it a list of posts and it will boost one every hour until it runs out.
depol, Aufruf zum Handeln, dringend/heute!
Es heißt jetzt, dass es sehr wichtig ist, JETZT eure SPD-Abgeordnete – insbesondere den Verhandler*innen – mit einem Brief gegen das Nordische Modell anzuschreiben.
Sind dir die Rechte von trans Menschen wichtig, sollten auch dir die Rechte von Sexarbeitenden wichtig sein. Die Gegner von beiden sind die gleichen Leute. Trans Menschen sind auch überproportional in der Sexarbeit vertreten. Schreibt bitte noch HEUTE!
Bitte boostet!
https://chaos.social/@dpk/114229753928926960
Set up by 
@KittyDas Metal Kitty 
, 
@bestiaexmachinaSciasm and 
@thomasTom 
, Musicians Day is a bi-annual event celebrating music by indie artists in the Fediverse. Musicians and listeners are encouraged to share their work or music they like.
As a federated music magazine with a sharp focus on Fedi music and Fair Music Platforms here are some of the things you will find on nham.co.uk:
How to Use Em Dashes (–), En Dashes (–), and Hyphens (-)
Link: https://www.merriam-webster.com/grammar/em-dash-en-dash-how-to-use
Discussion: https://news.ycombinator.com/item?id=43497719
⚠️1.10.3b contains a critical firefox security update which fixes a vulnerability in sandboxing.
Please update your browser asap!
Read more here https://www.mozilla.org/en-US/security/advisories/mfsa2025-19/
Update on this:
Support from the scan company (SecurityMetrics) was prompt and helpful. They agreed with the false positives and now my scan passes.
@thatgalsilverSyl (Sylvia Bun) 
This was the commission I was working on! Designing and drawing a PNGtuber for SylviaTwo fascinating new papers on LLM interpretability from Anthropic
https://simonwillison.net/2025/Mar/27/tracing-the-thoughts-of-a-large-language-model/
Thanks to 
@Vivisector@outerheaven.clubVivisector 
I have officially become a PNG!
Say hello to one of the many iterations of Sylvia! Now on the internet! She will be premiering on a stream at some point soon, but it will likely be after April since I am going to be very busy.
There's more poses and seeing her in motion will be great, but I gotta get that all set up first! 
ネーム全話・演出の一部を担当させていただいた、WEBTOON版「誰ソ彼ホテル」最新9話が配信開始されました✨
一休みして、食堂で雑談を始めた塚原と大外。
大外は自分のことを「親不孝者」と語り始め──
🌇アプリ版
https://comipo.app/series/web/58695/
🌇Web版
https://www.dlsite.com/comic/work/=/product_id/BJ01808960.html
#誰ソ彼ホテル #たそほてマンガ
https://x.com/comipo_edit/status/1905092413393445257
@stefanoStefano Marinelli Ciao Stefano! Mi piacerebbe cambiare il mio account da mastodon.social al bsd.cafe. Come lo faccio?
윤석열이 격앙된 목소리로 대국민 담화를 하고 있었다. 나와 아버지는 아무 말도 하지 못하고 멍하니 화면만 봤다. 정말 '계엄'이라는 단어을 꺼내는지 직접 확인해야 했다. 종북좌파니, 반국세력이니하는, 기념일 연설마다 반복하던 헛소리에 이어 "비상계엄을 선포합니다"라는 그 말이 나왔다.
최루탄이 터지는 6월 항쟁 자료영상들과 군인이 민간인을 폭행하는 5.18 광주에서의 사진들이 머릿속에 스쳐갔다. 오늘 이 시간부로 끝을 알 수 없는 암흑기가 시작된다는 생각부터 수 십년이 지난 훗날, 독재가 당연해진 한국 사회에서 이 순간을 돌아보는 상상까지 했다.
아버지는 국회가 계엄을 해제할 수 있다고 말씀하셨지만, 나는 계엄을 해제해도 우리가 절대로 계엄 이전으로 돌아갈 수는 없을 것만 같아서 암담했다.
수많은 사람들이 작년 12월 3일 밤을 뚜렷하게 기억하고 있다. 윤석열이 파면될 것이라고 믿어 의심치 않지만, 그 결정의 기간이 길어지는 것 자체가 위협이 된다. 시간이 지날수록 친위 쿠데타를 옹호하는 이들은 점점 고무되어 응집하고, 무관심한 이들은 피로감으로 인해 흩어져 버린다.
Did a shit run. But got to hang out with some nice people. And then in an unprecedented turn of events I went to the sports club bar with them where they all had showers and got changed and ate dinner like monsters. Feeling a bit more chipper though. Small h hurrah said in a quiet voice. ❤️
충격적인 경험을 한 날은 그날의 인상적이지 않은 순간들까지도 모두 기억에 남는다. 작년 12월 3일도 그랬다. 출근 둘째 날이었고, 이것저것 교육을 듣느라 종일 정신이 없었다.
7시쯤 퇴근해 저녁을 먹고 TV를 보면서 내 인사 정보를 작성하고 있었다. 그런데 갑자기 대통령이 비상계엄을 선포했다는 슬랙 메시지가 왔다. PD수첩이 나오고 있는 MBC를 비롯해, 지상파 어디에서도 속보조차 뜨지 않아 가짜뉴스에 낚였다고 생각했다. 네이버 뉴스에 들어가자 단신이 몇 개 올라오고 있었다.
내가 "어?"하는 소리를 내자 옆에 있던 아버지가 나를 돌아보셨다. "윤석열이 계엄 선포했어요", 아버지는 되려 그런 가짜뉴스 보지말라며 웃으셨다. 그리고 바로 리모컨을 잡고 YTN을 틀자...
윤석열이 격앙된 목소리로 대국민 담화를 하고 있었다. 나와 아버지는 아무 말도 하지 못하고 멍하니 화면만 봤다. 정말 '계엄'이라는 단어을 꺼내는지 직접 확인해야 했다. 종북좌파니, 반국세력이니하는, 기념일 연설마다 반복하던 헛소리에 이어 "비상계엄을 선포합니다"라는 그 말이 나왔다.
최루탄이 터지는 6월 항쟁 자료영상들과 군인이 민간인을 폭행하는 5.18 광주에서의 사진들이 머릿속에 스쳐갔다. 오늘 이 시간부로 끝을 알 수 없는 암흑기가 시작된다는 생각부터 수 십년이 지난 훗날, 독재가 당연해진 한국 사회에서 이 순간을 돌아보는 상상까지 했다.
아버지는 국회가 계엄을 해제할 수 있다고 말씀하셨지만, 나는 계엄을 해제해도 우리가 절대로 계엄 이전으로 돌아갈 수는 없을 것만 같아서 암담했다.
荒野をはしる 死神の列♪
Je recherche des testeurs pour ma première application iOS. Elle bloque 11,5 millions de numéros de téléphone liés au démarchage, à la publicité et au spam, basés sur le plan de numérotation de l'ARCEP.
L'application est open source !
Si vous souhaitez tester l'application : https://testflight.apple.com/join/CFCjF6d2
The Creature loves all the murals around town!
#Compton #LosAngeles #California #Art #Merchtodon #Mural #Photo #Photography #Plushtodon
ぺろっ、このIPアドレスはCloudflareさんわねってwhoisしたらMircosoftさんだったしこれはAWSさんわねって思ったのもMicrosoftさんだったし←
겜 상태 좀 에반데...
tzdata-legacy入れたらたぶんアメリカのタイムゾーンへのシンボリックリンク帰ってくるんだろうけど
The great virtue proof assistants, more than verifying correctness, is the ability to organize mathematical knowledge so that it is recorded and can be inspected to any level of detail by just following links.
Before I used proof assistants, I recorded my thoughts on paper notebooks, like everybody else. Then whenever I wanted to write a paper based on these thoughts, I had to both organize the thoughts and check them again. This becomes a problem if these were thoughts of 5 years ago. In TypeTopology I have thoughts recorded from 5 years ago, or more, that I didn't have time to publish yet, but I won't need to check them again or reorganize them too much when I find the time to write a paper based on them.
I find proof assistants, in particular Agda, the one I use, to be perfect blackboards/notebooks.
Another great virtue of proof assistants is that it allows for collaboration with people who you don't need to trust based on their reputation. If their code passes the proof assistant, then it is correct. So when I look at a pull request in TypeTopology from a new contributor I haven't met before, I can just "referee" it for style, relevance etc., leaving the correctness to the proof assistant.
As you know, it is easier to write proofs you've come up with than to read somebody else's proofs. It is invaluable that the proof assistant checks somebody else's proof for me, and I can concentrate on their ideas instead.
I tried making artificial sunlight at home
Link: https://victorpoughon.fr/i-tried-making-artificial-sunlight-at-home/
Discussion: https://news.ycombinator.com/item?id=43497394
Evan Prodromou shared the below article:
Evan Prodromou @evanprodromou@socialwebfoundation.org
Mallory and I were lucky enough to participate in a study on New Paradigms in Trust and Safety: Navigating Defederation on Decentralized Social Media Platforms by the Carnegie Endowment. Published a few days ago, the paper goes into detail on the uses and misuses of server-to-server blocking, called defederation, on the Fediverse today. I'm looking forward to feedback from the moderator and user community on the Social Web.
Read more →everyone's complaining about spammers bypassing even the most advanced and irritating "are you a human" captchas, but i haven't seen anyone discussing this solution. i was watching this documentary last night, i was half asleep so i don't remember much about it. it was narrated by this guy who sounded kinda like indiana jones if he hadn't slept in two days.
anyway in the documentary they used a new kind of captcha called a voight kampff test. they ask you questions about how to keep a pet turtle or something and it can tell whether you're a human or not. it needs webcam access to see your eyes for some reason, but it seemed pretty reliable. it seemed a lot less annoying than selecting all the motorcycles at least
@stefanoStefano Marinelli we bought new Miele appliances which are quite upmarket, and while they do have "connected" features they work 100% without them. They are also really good quality. We got 25 years of service out of our previous ones and gave them away to relatives in working condition.
@lproven
Evan Prodromou @evanprodromou@socialwebfoundation.org
Mallory and I were lucky enough to participate in a study on New Paradigms in Trust and Safety: Navigating Defederation on Decentralized Social Media Platforms by the Carnegie Endowment. Published a few days ago, the paper goes into detail on the uses and misuses of server-to-server blocking, called defederation, on the Fediverse today. I'm looking forward to feedback from the moderator and user community on the Social Web.
Read more →Central timeって言われたんだけどTZ=America/どこ
@stefanoStefano Marinelli Not surprising though. I think it's a specific case of https://en.m.wikipedia.org/wiki/Gell-Mann_amnesia_effect - they're probably not *more* wrong about this than they are about any other topic.
First-of-its-kind trial enables paralysed man to stand via stem cell injection
Link: https://www.nature.com/articles/d41586-025-00863-0?linkId=13622861
Discussion: https://news.ycombinator.com/item?id=43463779
ミュンヘン郊外に住んでた時はちょくちょく飛行機雲が見えてしやわせだったなあ
home screen keeps glitching what the hell
The internet of things is truly a wonder. 😝
Much of the Signal discussion is overlooking a key point: an entire apartment building was leveled to kill one guy.
How many civilians died? Is this a war crime?
The religious language—“prayer,” “God bless,” “Godspeed to our Warriors”—makes it all the more revolting, like a game of Battleship from the safety of a church basement.
Dagger: A shell for the container age
Link: https://dagger.io/blog/dagger-shell
Discussion: https://news.ycombinator.com/item?id=43486881
so sometimes when you're reading a dictionary definition of a word, you need to look up another definition. e.g. if you don't know what "smoothly" means, and the dictionary defines it as "having the property of being smooth", and you also don't know what "smooth" means, you have to look that up too.
but what if you also didn't know what "property" meant? you'd have to look up three words (smoothly, smooth, property) to understand one word (smoothly).
what if you only knew the definitions of the 10,000 most commonly used english words? which definition in the dictionary would require you to look up the most words to understand it?
It is intuitively plausible that formalization can help detect errors in mathematical papers. I discovered today that more old-fashioned numerics can also achieve a similar goal. In a paper I just uploaded at https://arxiv.org/abs/2503.20170 , I claimed an upper bound on a certain number-theoretic function t(N), and gave a proof. But, inspired by a nascent crowdsourced effort at https://terrytao.wordpress.com/2025/03/26/decomposing-a-factorial-into-large-factors/ to get enough estimates on this quantity for medium values of N to verify some explicit conjectures of Guy and Selfridge, I decided to plot this upper bound against the known values of t(N), and found a few places where the upper bound was actually *smaller* than the known value. This was of course distressing, but by isolating the smallest counterexample and numerically verifying key intermediate claims in my proof, I found where the error was (I was "off by one" in a certain estimate involving the floor function). This will be patched in the next revision of the paper of course, but is another example of how computer assistance (this time in the form of traditional numerics) can help detect and fix errors in papers.
Seeking: things you do while anxious to help be less anxious
跟風玩了一下AI吉卜力圖，想了想這對於人類會有什麼負面影響。如果產圖如此容易，是不是會降低人類對真實技術的學習，例如未來的人都不學繪畫了，反正下指令給AI就畫得出來。然後人類就不會（或很少）有新的風格創作產出，大家用的永遠都是末代人類創作的那幾套風格。會變成這樣嗎？
It is intuitively plausible that formalization can help detect errors in mathematical papers. I discovered today that more old-fashioned numerics can also achieve a similar goal. In a paper I just uploaded at https://arxiv.org/abs/2503.20170 , I claimed an upper bound on a certain number-theoretic function t(N), and gave a proof. But, inspired by a nascent crowdsourced effort at https://terrytao.wordpress.com/2025/03/26/decomposing-a-factorial-into-large-factors/ to get enough estimates on this quantity for medium values of N to verify some explicit conjectures of Guy and Selfridge, I decided to plot this upper bound against the known values of t(N), and found a few places where the upper bound was actually *smaller* than the known value. This was of course distressing, but by isolating the smallest counterexample and numerically verifying key intermediate claims in my proof, I found where the error was (I was "off by one" in a certain estimate involving the floor function). This will be patched in the next revision of the paper of course, but is another example of how computer assistance (this time in the form of traditional numerics) can help detect and fix errors in papers.
今日も家sshdにYubiKey待たせちゃってるおじさん
これすき
ベイビーわるきゅーれ エブリデイ！
第1話 10年後も一緒に死体凍らせよ
https://tver.jp/episodes/eplt32pjtf
wakest ⁂
巣 
Emelia 👸🏻
José A. Alonso
