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.
🛶
Simp, made simple. ~ Yaël Dillies Paul Lezeau. https://leanprover-community.github.io/blog/posts/simp-made-simple/ #ITP #LeanProver
You might think it's not a priority with all the doom happening around.
But the erosion of privacy rights is directly linked to the erosion of human rights, and the loss of democracy.
Privacy makes it safe for you to discuss, to organize, to resist, and to be your true self. This is exactly why fascists and authoritarians are attacking it.
If we lose privacy, we lose everything else. We have to defend it with all we've got.
Privacy rights are a priority.
Privacy has been an essential pillar of democratic society, even all the way back to Pericles' funeral speech:
"The freedom we enjoy in our government extends also to our ordinary life. There, far from exercising a jealous surveillance over each other, we do not feel called upon to be angry with our neighbour for doing what he likes..."
Another year, another “Spotify Wrapped is just infinitely more fun than Apple Music Replay”.
New from 404 Media: ChatGPT told a violent stalker to continue running his misogynistic and threat-filled podcast despite the “haters,” and to visit more gyms to find women. The man stalked women in multiple states, including touching and following from work
https://www.404media.co/chatgpt-spotify-brett-michael-dadig-indictment-harassment-stalking/
This is your last chance! Use code BF2025 to get 20% off all my books 😁
I know everyone has different ethics, etc and some companies are harder to boycott than others but I think "has the owner of this video game company literally ordered someone to be killed" is a good reason to not buy EA's video games or for people to review them if Saudi Arabia is going to be the new owner
Do you depend on Signal? Please donate to keep us growing
Settings > Donate
http://Signal.org/donate
Trump kippt entscheidende Grundlage für EU-US-Datentransfers: Personenbezogene Daten in den USA wieder offiziell vogelfrei.
https://digitalrechte.de/news/trump-kippt-entscheidende-grundlage-fuer-eu-us-datentransfers
German butter chicken isn’t what I’d call butter chicken but I’d still call it delicious. And cheap
On my morning constitutional
Durable FunctionsでAthenaのクエリ結果をポーリングする実装をコスト最適な形に書き換えてみた #AWSreInvent
https://dev.classmethod.jp/articles/poll-athena-query-result-by-durable-functions/
Make sure to check your robot friend's storage locker now and then for dangerous contraband. 
Chatkontrolle - schon vorbei?
Weit gefehlt - jetzt steht der Trilog an. 
@pneutigKonstantin Macher hat für uns mit 
@RadioCORAX darüber gesprochen wie es beim Thema #Chatkontrolle weiter geht und warum wir jetzt besonders wachsam sein müssen:
https://radiocorax.de/chatkontrolle-kommende-verhandlungen-zwischen-europaeischen-rat-und-parlament/
#ChatkontrolleSTOPPEN
What's the current status of SteamVR and GNOME Wayland?
Steam Deck lead reveals Valve is funding ARM compatibility of Windows games
Link: https://frvr.com/blog/news/steam-deck-lead-reveals-valve-is-funding-arm-compatibility-of-windows-games-to-expand-pc-gaming-and-release-ultraportables-in-the-future/
Discussion: https://news.ycombinator.com/item?id=46136901
RCE Vulnerability in React and Next.js
Link: https://github.com/vercel/next.js/security/advisories/GHSA-9qr9-h5gf-34mp
Discussion: https://news.ycombinator.com/item?id=46136026
Are we repeating the telecoms crash with AI datacenters?
Link: https://martinalderson.com/posts/are-we-really-repeating-the-telecoms-crash-with-ai-datacenters/
Discussion: https://news.ycombinator.com/item?id=46133141
Warum heißt es Management-Karriere und nicht Erschleichen einer Beförderungsleistung?
> According to Santa Ragione, Epic informed the developers that they won't distribute Horses about 24 hours before release, and denied a subsequent appeal 12 hours later.
Jesus fuckin Christ lmao, Tim Sweeney please dive head-first into a sewer
Epic ban Santa Ragione's Horses just before release, allegedly with a weird reminder that NFT games are fine though
🌈tmkちゃん
아니 미니오가 죽었어?
@north_wind홍대입구역의정신건강공원tv 이미 하도 밑장빼기를 해서 겨울방학때 이전계획 잡고있었는데 아예 확인사살을 해주네요 ㅋㅋㅋㅋㅋㅋㅋ
SlopStor(진짜 이름 아님)나 쓰라는 무책임함 + 돈에 미친 행보
MinIO is now in maintenance-mode
Link: https://github.com/minio/minio/commit/27742d469462e1561c776f88ca7a1f26816d69e2
Discussion: https://news.ycombinator.com/item?id=46136023
Critical RCE Vulnerabilities in React and Next.js
Link: https://www.wiz.io/blog/critical-vulnerability-in-react-cve-2025-55182
Discussion: https://news.ycombinator.com/item?id=46136067
아직도 세번째 수업만에 애들 얼굴 다 외우고 안 온 애들만 따다닥 출석 부르고 수업 들어가던 교수님만 생각하면 너무 무서움
Select a gender:
Ever wondered what goes on #InsideAFastlyPoP?
⚡ Speed, cache, and a little digital magic all in one place!
Noticing someone with a double-barrelled last name and long first name.
Made me remember a person I met with a triple hyphenated last name! Must've been tough to wield day-to-day!
A #poll…
For your regular every-day name, eg introducing yourself (not your full legal name) how many syllables does it take to say it?
Mapping Every Dollar of America's $5T Healthcare System
Link: https://healthisotherpeople.substack.com/p/an-abominable-creature
Discussion: https://news.ycombinator.com/item?id=46135008
Random question. If you were building a small personal app today, one that you will actually use and that want to be relatively robust and available. How would you deploy it? Would you use docker for packaging and deployment? Or something else?
[レポート][Code talk] AgentCoreを用いたAI機能をアプリに搭載するライブコーディングセッションに参加しました #MAM345 #AWSreInvent
https://dev.classmethod.jp/articles/awsreinvent-mam345-code-talk-agentcore-ai-with-strands-agents/
There's some progress 😀 #elk
크카카ㅏ카카카카카캌ㅋ
드디어 드디어!!!!!
교수가 항복했다(?)
요즘잘자쿨냥이
is a fortress just a girl fort
Ever wondered what goes on #InsideAFastlyPoP?
⚡ Speed, cache, and a little digital magic all in one place!
@shuuji3_dev Notification received 🤩 
@shuuji3TAKAHASHI Shuuji 
🌏🌈✨ 
@elk
【あっぷでっで】
先ほどはなみすきーのアップデートを行いました！Misskey最新リリース版 2025.11.1 相当まで追従しています
機能が正しく動作しないなどの問題が発生する場合は、Misskey内のキャッシュ削除機能やブラウザのキャッシュ削除をお試しください。
▼変更点は以下のサイト、またはアップデート時のダイアログで確認できます。
https://docs.misskey.flowers/changelog/web#_2025-11-1-hanami-28639-c07de8a4a9
As of now, we only need $18 USD donations to #PyLadiesCon to exceed the donations raised from last year. Who will be our hero / heroine?
Can we meet our goal of $2500 in donations this year?
Watch our Live conference stats at https://portal.pyladies.com/stats/
Today’s the day 🎉 Tailscale is teaming up with LaunchDarkly at #reinvent!
Come hang in the Lounge at The Rockhouse (Venetian Grand Canal Shoppes) today, 8am–5pm PT. Free food + drinks all day, keynote livestream, and plenty of good convo.
You might think it's not a priority with all the doom happening around.
But the erosion of privacy rights is directly linked to the erosion of human rights, and the loss of democracy.
Privacy makes it safe for you to discuss, to organize, to resist, and to be your true self. This is exactly why fascists and authoritarians are attacking it.
If we lose privacy, we lose everything else. We have to defend it with all we've got.
Privacy rights are a priority.
初投稿です 🌈のtmkちゃん このSNSの使い方がわからない #初心者
DevelopersIO 
맹꽁이
🌸 
Kat Marchán 🐈
Olivier Forget
Jeff Triplett
