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.
I really don't know how to keep saying this so cis people understand.
The Nazis in 1933 came for trans people. They burned our libraries to the ground. They raided and bombed our hospitals. They declared our existence illegal. And then they put us in concentration camps and gassed us.
The Nazis in 2025 came for trans people. They're burning our books. They're raiding and bombing our hospitals. They're declaring our existence illegal. And they're building concentration camps.
There's no fucking nuance here. There's no metaphor to be found. There's no allegory. There's no need to draw "similarities" between the Nazis then and the Nazis now, because it's the same people doing the same shit for the same reasons. It's not "similar". It's the same fucking thing.
And if you can't see that, if you've had blinders on for the last 92+ years, I just don't know how to fucking help you with that. If you think the Nazi attacks on trans people are somehow "recent", blame a Nazi, because Nazis are the reason you think that.
https://en.m.wikipedia.org/wiki/Institut_f%C3%BCr_Sexualwissenschaft
I think the phrase is "riddled with abusesโ or is this a usage that's new to me?
https://newsie.social/@ProPublica/114144156331103955
Hackers' Pub์ ์๋จ ๋ค๋น๊ฒ์ด์ ๋์์ธ์ ๋ฐ๊ฟจ์ต๋๋ค. ๊ธ์ฐ๊ธฐ ๋ฒํผ์ด ์ต์์๋ก ๋์ค๊ฒ ๋์์ด์.
#ไบๅใใซ ้้ญ
๏ผๅนดๅๆใใ๏ผผ๏ฝฑ๏ฝฏ๏ฝถ๏พ๏ฝ๏พ/ใชใกใคใฏใใฆใฟใ
โ2025๏ฝ2018โ
Extrinsic termination proofs for well-founded recursion in Lean. ~ Joachim Breitner. https://www.joachim-breitner.de/blog/816-Extrinsic_termination_proofs_for_well-founded_recursion_in_Lean #ITP #LeanProver
Today is Microsoft's March 2025 Patch Tuesday, which includes security updates for 57 flaws, including six actively exploited zero-day vulnerabilities.
Here's a quick structlog release before my travel frenzy! It seems like the boring fix to type hints of bind() et al is a fan favorite, though.
Special thanks to Klaviyo and Privacy Solutions for sponsoring my work at The Dedicated Organization level!
Navigating between points with registers. ~ Daniel Liden. https://www.danliden.com/notes/20250308-registers-1.html #Emacs
DeepSeek vs. ChatGPT vs. Claude: A comparative study for scientific computing and scientific machine learning tasks. ~ Qile Jiang, Zhiwei Gao, George Em Karniadakis. https://arxiv.org/abs/2502.17764 #LLMs #Math
Bitte boostern!
Finanzielle Unterstรผtzung fรผr Amali*, eine schwangere Frau auf der #Flucht, gesucht!
Wir wollen Amali* finanziell in einer #Notlage unterstรผtzen. Sie hat in Deutschland #Asyl beantragt, ist #schwanger, und soll abgeschoben werden. Deswegen bekommt sie zur Zeit keine finanzielle Unterstรผtzung und keine medizinische Versorgung.
Hier geht's zum #Spendenaufruf:
https://www.betterplace.org/de/projects/150475
ใใใงใใฎ็ญ่บซๅคงๆฑใๆใพใ ใผ๏ผ
ไธไบบใงๅฏใใฎใคใพใใใใใใใงใใๆฑใๆใซใใฆๅฏใใ
LLMs can find mathematical reasoning mistakes by pedagogical chain-of-thought. ~ Zhuoxuan Jiang et als. https://arxiv.org/abs/2405.06705 #LLMs #Math
้ขจๅใ ใใฉๅฏใใใใช
ใญใฟ
1ๆฅไธญใฒใผใ ใใฆๅคๆดใใใใฆ6ๆใใใใซๅฏใฆใใฎใพใพ13ๆ้ใๅฏใฆใใใใงใฏ๏ผ
ไผใฟใฎๆฅใซใชใใจไฝๆตฎไธใซใชใ่ฌ
ใทใฃใฏใผๆตดใณใ
ไผใฟใฎๆฅใซใชใใจไฝๆตฎไธใซใชใ่ฌ
ใซใใผ
Some great points here about email newsletters โ including that email open stats are starting to become unreliable due to AI and big tech like Apple screwing around with the inbox (no, email is not immune to enshittification!). All this is part of why I moved away from calling my site Cybercultural a "newsletter". I'm not exactly sure how to define Cybercultural currently, but it will involve fediverse as a community-driver going forward. #IndieWeb #WebLife2025
I really appreciated the opportunity to take part in the first ever #FediverseHouse at #SXSW. Online connections are good, and then IRL connections deepen the trust. Thanks to the 
@Flipboard team for getting it together (and 
@surf is looking excellent, nice work!). Thanks to 
@swfSocial Web Foundation for helping me to join the event. Many many individuals all made it a great in-person ideas jam. 2025 is looking strong for our communities.
Would you be interested in starting a cooperative business helping ๐ช๐บ European companies and organizations migrate away from โ๏ธโ๐ฅ cloud platforms from USA? Let's talk ๐ฌ If you think someone in your network might, please boost ๐
Knuth Bendix solver on Z3 AST. ~ Philip Zucker. https://www.philipzucker.com/knuth_bendix_knuck/ #SMT #Z3
Returning Fishing Boats (1883) by Winslow Homer (1836-1910).
https://stellar-art.pixels.com/featured/returning-fishing-boats-1883-winslow-homer-1836-1910.html
#art #ArtHistory #watercolor #sea #fishing #vintage #MastoArt
With boosts and small donations we can get there so quickly!
We have the power to help people survive via collective action and not let oppression win ๐
Perhaps more of the MAGA folks would buy Cybertrucks if they made a version that ran on coal instead of batteries.
Every time I get a journalist call for comment now I close my remarks with โmembers of a government that believes it is not bound by the rule of law are not entitled to its protection.โ
Fun break and excited for the meetup talks :)
The most underrated skill in tech engineering is the ability, or maybe the *willingness*, to be an idiot. Sometimes the best way to debug a problem is to forget everything you think you know and re-test the most basic things from ground zero. Sometimes the only way to design a good interface is to look at what you've made through eyes that have no idea what they're looking at. You know too much. Your users don't know anything. Be a user. If you can't be a user how can you make a thing users want
Often I complain about things in software and get baffled replies like, okay, but you can fix this arcane problem with [arcane solution], you know that right? And possibly I did know it but complain anyway because *I shouldn't have had to know it*. Your software shouldn't have needed a Theory of Operation. Your software shouldn't have required *learning*. Let me reserve my executive function for performing Useful Tasks and not like, configuring interface minutae. For a moment, let me be an idiot
The most underrated skill in tech engineering is the ability, or maybe the *willingness*, to be an idiot. Sometimes the best way to debug a problem is to forget everything you think you know and re-test the most basic things from ground zero. Sometimes the only way to design a good interface is to look at what you've made through eyes that have no idea what they're looking at. You know too much. Your users don't know anything. Be a user. If you can't be a user how can you make a thing users want
One of the high points of #FediverseHouse for me was getting to meet @deadsuperhero and @damon IRL. I'm so lucky to be working on this movement with people like them.
@evanEvan Prodromou 
@damon meeting both of you has made my year. Iโm not sure itโs possible to accurately say how much this meant to me.
Sometimes, I kind of look at everything and get bogged down by some of the big problems we have yet to solve. I think our movement is very fragile at times, almost distressingly so. But, the energy I get from spending time with people like you makes it all worth it, and gives me an energy to keep going.
There were a lot of moments where I kind of just said to myself โScrew whatever mundane thing I was doing before, I want to work with these people for the rest of my life.โ
ใใใทใงใใFANBOX๐ใใฆใใพใ
FANBOX ๐ https://possummachine.fanbox.cc/
Pixiv ๐ https://www.pixiv.net/users/79535659
Twitter ๐ https://twitter.com/Posseposs99/
Misskey ๐ https://misskey.io/@Posse99
Contact ๐ posseposs99@gmail.com
Fedi, you remember this one? https://phpc.social/@luciledt/114100889558486300
Well I have a new handbag which is fully customisable!
Please give me your recommendations on shops / people selling cool #badges to put on it ๐ฎโจ
The most underrated skill in tech engineering is the ability, or maybe the *willingness*, to be an idiot. Sometimes the best way to debug a problem is to forget everything you think you know and re-test the most basic things from ground zero. Sometimes the only way to design a good interface is to look at what you've made through eyes that have no idea what they're looking at. You know too much. Your users don't know anything. Be a user. If you can't be a user how can you make a thing users want
Every time I get a journalist call for comment now I close my remarks with โmembers of a government that believes it is not bound by the rule of law are not entitled to its protection.โ
Bjรถrn and Folkert created a Rust replacement for the bzip2 compression library, using c2rust to translate the C code. Read about the translation and cleanup experience in Folkert's blog: https://tweedegolf.nl/en/blog/151/translating-bzip2-with-c2rust
@trifectatechTrifecta Tech Foundation
@folkertdevFolkert de Vries
@bjorn3
One of the terms we use when talking about the social web is "decentralisation".
I realised during the talks at #FediverseHouse that social networking is *already* decentralised; our data, our connections, and our attention are spread across a dozen social platforms.
We need RE-centralisation; I want my social networking experience to be centred on *me*. Starting with an account on a platform I choose, and radiating out to friends, family, neighbours and colleagues, communities, topics.
@evanEvan Prodromou PEOPLE ๐๐ผ NOT ๐๐ผ PLATFORMS ๐๐ผ
Well I'll tell you this for nothing - you cannot parboil potatoes in kettle water ๐
Whisper it, the showdown over Apple encryption is THIS WEEK โฑ๏ธ
๐ค A secret tribunal will hear the appeal against the UK governmentโs order to carve a backdoor into Appleโs encrypted services.
๐ Our cybersecurity and privacy shouldnโt be decided in the shadows.
#encryption #Apple #privacy #cybersecurity #security #e2ee #ukpolitics #ukpol
I completely forgot to monitor mentions of theblue(dot)social on Bluesky ๐คท๐ญ #buildinpublic
Whisper it, the showdown over Apple encryption is THIS WEEK โฑ๏ธ
๐ค A secret tribunal will hear the appeal against the UK governmentโs order to carve a backdoor into Appleโs encrypted services.
๐ Our cybersecurity and privacy shouldnโt be decided in the shadows.
#encryption #Apple #privacy #cybersecurity #security #e2ee #ukpolitics #ukpol
ใใธใใใใซใใไฝตๅๅฎฃ่จใ ใใใใซใฏๅงๆซใซ่ฒ ใใชใใชใ
Linear
Glyph
Ian Wagner
