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.
@eWalthertEdgar Walthert 
@sthottingalSanthosh Thottingal hell yeah! Thanks for the tag. Amazing work Santhosh! Insta followed!
Join us for another interesting edition of OTel in Practice. This time, Dakota Paasman of Bindplane will show us how they scaled KafkaLog Ingestion for OTel by a whopping 150%.
📅 Sep 24, 10:00 PDT / 17:00 CEST
👉 RSVP here → https://community.cncf.io/events/details/cncf-opentelemetry-presents-otel-in-practice-how-we-scaled-kafkalog-ingestion-for-otel-by-150/
Would you like to play an early version of Saturday Morning Marble Game and give some feedback?
Let me know in the replies if you'd like to participate and soon, I'll send invites via Private Mention for the playtest Discord server. (No Discord? We'll figure it out!)
I might not be able to invite everyone, but I'll do my very best.
Got some AI browser ad for a different company emailed by 1Password where I have a paid account...
What's your favorite alternative for password management? Bonus points for open source and/or family management. Paid is very ok
If anyone has any issues federating with my instance, please let me know. I'm currently working on getting the settings on Cloudflare dialed in, to block any and all crawlers regardless of who they report back to. I'm also NOT trying to block legitimate servers who are doing nothing malicious, obviously.
over on Bluesky, a complete stranger from France used this meme I made in an en Français reply thread… and credited me! 🥰 that was so cool and I’d totally forgot about making this
WASM 3.0 Completed
Link: https://webassembly.org/news/2025-09-17-wasm-3.0/
Discussion: https://news.ycombinator.com/item?id=45279384
PTSDってなんなんだろう
自分が仕事やってる時に思い出すものがそれ？
The past tense of ‘to go’ is ‘went’, but this form used to belong to the verb ‘to wend’.
We call verbs like ‘to go’ suppletive: they’re cooperations of seperate verbs.
Surprisingly, ‘to bring’ is suppletive too: ‘brought’ comes from a different verb than ‘bring’.
Because of their similarity, these closely related verbs merged long ago – and they did so in most Germanic languages.
My new graphic tells you all about their past.
In certain varieties of English, people say ... 1/
The "AI for math fund", that I previously posted on last year at https://mathstodon.xyz/deck/@tao/113601015790417846 , has just announced its first round of funded projects: https://www.renaissancephilanthropy.org/news-and-insights/ai-for-math-fund-announces-18-million-in-grants-to-accelerate-breakthrough-discoveries-in-mathematicsnbsp (I serve on the advisory board on this fund.) Due to a large number of high quality submissions, the fund has doubled the total size of its awards from $9 million to $18 million. Another call for applications will likely take place later this year.
I’ve taken this as common knowledge but maybe it’s not, so, PSA: yes your #Apple devices are /expected/ to run like crap for a bit in the wake of a software update!
Don’t make any inferences about a new release’s performance until it’s been a day or so.
https://infosec.exchange/@ubernostrum/115220985700307223
アリウス本編ネタバレ含むので注意 感想
私特攻、でした
田舎と都会、富むものと恵まれないもの、リベラルとは何か、なかったことに出来ない過去
本当に刺さる内容でした。
世界、特にアメリカがこんな分断が起こっている中でこのストーリーは本当に刺さった
勉強とは何か、どうしてやらなければいけないか、その答えを提示しているのも良かった
APIが無の状態でActivityPub実装すると面倒になるので先に実装してからかな
FediDB can be used to share server recommendations by query params.
Open Loops servers: https://fedidb.com/software/loops?registration=open
Open + Mature Lemmy servers in NA: https://fedidb.com/software/lemmy?region=north-america®istration=open&mature=1
Open + Mature Mastodon servers in Europe: https://fedidb.com/software/mastodon?region=europe®istration=open&mature=1
Robert Redford on Richard Nixon's death. Not much changes, I guess.
First-version of My ActivityPub Implemention
WASM 3.0 Completed
Link: https://webassembly.org/news/2025-09-17-wasm-3.0/
Discussion: https://news.ycombinator.com/item?id=45279384
DeepSeek writes less secure code for groups China disfavors
Link: https://www.washingtonpost.com/technology/2025/09/16/deepseek-ai-security/
Discussion: https://news.ycombinator.com/item?id=45278740
Formalizing dimensional analysis using the Lean theorem prover. ~ Maxwell P. Bobbin, Colin Jones, John Velkey, Tyler R. Josephson. https://arxiv.org/abs/2509.13142 #ITP #LeanProver
"the reason people hate artists is because artistic talent can't be taught or learned" jesus fucking christ
re: that 1password / perplexity thing
@eramdamdamien 🥖🐈⬛🧣 As someone that works in marketing, "partnership" has lost all meaning to me now lol. It's the most vague possible term for "we worked with another company".
Claude can (sometimes) prove it. ~ Mike Dodds. https://www.galois.com/articles/claude-can-sometimes-prove-it #ITP #LeanProver #Math #AI #LLMs #Claude
Oh my goodness. I think this is the only place on the internet nerdy enough to help me locate this info.
My parents met on a what was effectively an unofficial chat room hosted by capital radio (London). In the 1980s, Capital Radio used to leave their switchboard open at night (unintentionally, they didn’t realise it was happening) and people would call the regular radio phone and just end up in what was effectively a giant group call for Londoners late at night. (I say Londoners due to the reach of the radio rather than the phone line itself, people wouldn’t know the number unless they listened in).
I understand they changed how the phone system worked later in the 80s and closed this loophole off.
So what I’m after is…
- the nature of the switchboard that allowed this to happen
- what change would have blocked this later on
- any historic info on the period it was left open, or personal accounts.
#radio #capitalradio #phreaking #VintagePhoning #1980s #retrochatroom
FLOSS Weekly Episode 847: This is Networking
https://hackaday.com/2025/09/17/floss-weekly-episode-847-this-is-networking/
X, Facebook, Threads, Instagram, and now TikTok – not to mention much of legacy media – are aligned with the despotic regime in the US.
It's never been more important to have a mindful media diet.
We, who are already on fedi, must help our friends and family migrate to better platforms and news outlets.
Ruckus is running pretty loud at this point...
Tinycolor supply chain attack post-mortem
Link: https://sigh.dev/posts/ctrl-tinycolor-post-mortem/
Discussion: https://news.ycombinator.com/item?id=45278657
slutty, but like, in a responsible way
A lot of people will start learning very fast about privacy on Discord.
Or rather, that there is no privacy on Discord. 
> Five hours after Charlie Kirk was shot this week, an Atlanta man got a phone call from an Illinois police officer asking about a photo he shared with a couple of close friends on a private Discord chat.
https://www.kenklippenstein.com/p/charlie-kirk-assassination-sparks-6da
If you run any kind of project or community and use Discord, this would be a very good time to reconsider your choice of a platform.
overlay filesystems
Permalink: https://wizardzines.com/comics/overlay-filesystems/
It’s adenocarcinoma stage 3. I’m coping right now. Treatments will start soon. Send all the healing energy, vibes, and cat purrs you can spare my way.
Now (September 2025) https://romain.codes/2025/09/09/now/
I was almost 40 when I learned than one can pipe concatenated commands
(date; date) | wc -l
me: releases breaking change, noting "surely nobody relies on this"
me, days later: who the fuck broke th— oh.
LB: https://queer.party/@maffsie/115220978890072647
Ten Forward will welcome any queer.party members who wish to make Ten Forward their new home on the fediverse.
Make sure to mention that you are coming from queer.party in the signup form.
Odin Gets A Carrot, With Sound #dog #dogs #dogsofmastodon
You can't test if quantum uses complex numbers
Link: https://algassert.com/post/2501
Discussion: https://news.ycombinator.com/item?id=45248628
Americans want AI to stay out of their personal lives https://www.theverge.com/ai-artificial-intelligence/780184/pew-research-americans-want-ai-out-of-their-personal-lives
No thankyou
AI can forecast your future health – just like the weather
- 레딧은 구글, OpenAI와 더 깊은 AI 파트너십을 협상하고 있으며, 단순한 라이선싱 거래를 넘어서고 있음
- 6천만 달러 구글 계약 이후, 레딧은 자사 데이터가 AI 응답에 필수적이 될수록 더 많은 대가를 받는 동적 가격 책정을 원함
- 단순히 답변만 추출하는 것이 아니라 사용자들이 포럼에 적극적으로 참여하도록 유도하는 파트너십을 추구
Reddit Seeks to Strike Next AI Content Pact With Google, OpenAI - Bloomberg
https://www.bloomberg.com/news/articles/2025-09-17/reddit-seeks-to-strike-next-ai-content-pact-with-google-openai
An AI-focused tactic for language learning. ~ Robert Y. Lewis. https://www.renaissancephilanthropy.org/an-ai-focused-tractic-for-languag-learning-1 #AI #Math #ITP #LeanProver
A dataset of modern formalized theorem statements. ~ Kevin Buzzard. https://www.renaissancephilanthropy.org/a-dataset-of-modern-formalized-theorem-statements #ITP #LeanProver #Math
What it's all about.
| 🍶🦊 
かちかちなまこ
José A. Alonso
Andy Piper
+ 
Cat 🐈🥗 (D.Burch) 
pkg update
