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.
FYI, looks like an zero-day exploit just dropped that allows unauthenticated extraction of secrets from the memory of any MongoDB version going back 10 years, over the internet, automated exploit included: https://github.com/joe-desimone/mongobleed
Going to have mixed feelings about this one, but I feel obliged to point out:
Edit: Apparently not a zero-day, seems to have been reported a couple days ago already (but still very likely unpatched in most places for now)
Type systems question: is there a name for a type system which natively encodes state transitions? So not just that sum types which enumerate valid states, but also encode the transitions between those states as part of the type?
It's almost-but-not-quite the same as session types. So like, I feel like there must be prior art for this, but I don't know what to look for.
There is a major difference between the left and the right. And journalists need to stop ‘both sidesing’ things.
Because no matter how much you disagree with the left’s policy proposals, none of them set out to hurt people.
After 63 years of life, I have come to realise the single distinguishing issue - equality, parity, fairness.
The right is allergic to equality. Someone’s gain is always their imagined loss.
Calibre adds AI 'discussion' feature https://lobste.rs/s/3detwi #vibecoding
https://lwn.net/Articles/1049886/
GLM-4.7의 성능이 그렇게나 좋다고 들어서 요금제를 보니 상당히 파격적인 가격이라 조금 시도해 봤다. 우선 LogTape에 있던 이슈 하나를 수행하게 했고, 혹시 몰라서 Claude Code에서 Claude 4.5 Opus로 PLAN.md 계획 파일을 꽤 꼼꼼하게 만들게 한 뒤, 그걸 참고하게 했다. 그럼에도 불구하고:
Kat Marchán 🐈
export되는 API에 대해서는 JSDoc 주석을 써야 한다는 당연한 절차를 수행하지 않음 (코드베이스의 다른 코드는 다 그렇게 되어 있는데도 눈치가 없음)Deno.env 같은 특정 런타임에 의존적인 API를 씀 (코드베이스의 다른 코드는 그런 API 안 쓰고 있음)소문난 잔치에 먹을 게 없다더니, 역시나 벤치마크만 보고 모델을 골라서는 안 되겠다는 교훈만 재확인 한 것 같다.
Just in case you needed another reason to hate #AI.
"A stock market boom in artificial intelligence companies has added more than half a trillion dollars to the wealth of America’s tech barons in the past year, data shows."
The AI hype trainers will claim this tech will lead to a utopia of equality with no one needing to work; don't believe them. This is the mere tip of the iceberg of AI turbocharging already exorbitant #inequality.
Today in #Valheim 
@skyfire747Anthony 🐨🦘🪃🇦🇺🕯🌟🧙♂️🇺🇦🇨🇦 and I sat about in Lower Weston before rearranging some furniture in the community building.
Just saw an ad for Gemini AI where a couple ask the AI to arrange a tour of the museum they're in. How about read the signs and ask the staff to help find shit, and read the information boards next to the things to learn about them? Who is navigating the world around them so badly that they need this
I'm finalizing my OPNsense HA setup right now, and want to create an #IPv6 link-local address CARP VIP for each subnet/VLAN.
Is it okay to use fe80::1/64 for each subnet?
It will be uses as both the gateway and source of router advertisements.
미리보기 왜 안떠 ㅡㅡ
Type systems question: is there a name for a type system which natively encodes state transitions? So not just that sum types which enumerate valid states, but also encode the transitions between those states as part of the type?
It's almost-but-not-quite the same as session types. So like, I feel like there must be prior art for this, but I don't know what to look for.
さてさてそろそろ寝るぞい
I can't believe I finally closed this issue.
@mayintorontoMay Likes Toronto 
@pzmyerspzmyers 🕷 I came here to say this. I thought I was voting against the Conservatives wth 🤬 I have no spoons for this! I want a re-vote! 😩
@Em0nM4stodonEm 
@mayintorontoMay Likes Toronto @pzmyerspzmyers 🕷 The US being so bad and so visibly bad moves the Overton window and gives more space for other countries to be like this, while still claiming they are good.
💕 Kudos for the great work by 
@melvincarvalho
#SocialDocs is going direction where #ActivityPub desperately waited for us to come :)
🍒 Let tingle bells ring, my fellow #fedi, and aggregate more value to this precious :gem:
my thinkpad still has the 38c3 fahrplan open, i should probably clean up some tabs
This year, Grok was reprogrammed to say Elon Musk is better than everyone at everything, including blowjobs, piss drinking, playing quarterback, conquering Europe, etc.
https://www.404media.co/elon-musk-could-drink-piss-better-than-any-human-in-history-grok-says/
Abusers always try to test how far they can push the line, how far they can push you without consequences.
Billionaires, tech bros, and politicians you know well but that I will not name are the same.
Trying to "appease" or "ignore" them never works.
Anyone who has dealt with abusers before knows this. The only thing that does work is stating and enforcing strong boundaries firmly right from the start.
Right now, absolutely nobody is doing this with them. And so, the abuse will only escalate.
#0 #0 #BigBrother was watching you 👓
#1 #0 #BraveNewWorld ahead 🕸️
#0 #1 #TheMatrix's coming for #YOU 🤖
#1 #1 #AI #AI ...... we were too late 💥
(rhyme written freely by a bot obviously)
지금 United Airlines를 타고 뉴욕에서 시애틀로 가는 중인데 기내 인터넷이 되니 너무 좋네요. 더구나 함께 여행하는 일행의 T-Mobile 전화번호를 입력해서 무료로 쓰니 더욱 좋고요. ^^
쿠팡 '정부 지시' 주장에 경찰·국정원 "지시 없었다" 부인(종합)
www.yna.co.kr/view/AKR2025...
쿠팡이 국정원 지시 받고 조사 결과를 발표했다는 입장문을 오늘 냈는데,
경찰-국정원 모두 그런 사실이 없다고 부인하였습니다.
국정원은 업무협의 한 적은 있다고. 이제 국정원을 걸고 넘어지는 외국 기업을 다 보네요...
쿠팡 '정부 지시' 주장에 경찰·국정원 "지시 없었다"...
This institute, cofounded by Musk, circulated an email about me not just internally but to their "partners" a couple of years ago when I started calling them out as eugenicists in the TESCREAL bundle, as we wrote in our paper.
They didn't name me but it was clear they were talking about me, hence the reason someone forwarded me the email.
"Pressed on whether marketing an addictive AI chatbot to kids is ethical, Hardin shrugged: “I mean sure, but that’s not really our problem. That’s something parents or maybe lawmakers might want to look into.”
"AI safety" brought to you by the likes of The Future of Life Institute who are now armed with $700m+ thanks to crypto billionaires.
Other messaging includes insults like “stupid, smelly, squishy,” alongside the ominous statement: “It’s time for a human solution.”
KRON4 contacted Replacement AI and spoke with someone claiming to be the startup’s “humble unpaid intern,” Chase Hardin.
Coincidentally, Hardin shares a name with the communications director for the Future of Life Institute, a nonprofit focused on AI safety."
What did I tell you about so called "AI safety" and the Future of Life Institute?
This institute, cofounded by Musk, circulated an email about me not just internally but to their "partners" a couple of years ago when I started calling them out as eugenicists in the TESCREAL bundle, as we wrote in our paper.
They didn't name me but it was clear they were talking about me, hence the reason someone forwarded me the email.
"The ads, from a company calling itself Replacement AI, feature dark, dystopian taglines."
The ads, from a company calling itself Replacement AI, feature dark, dystopian taglines.
One reads: “AI does your daughter’s homework. Reads her bedtime stories. Romances her. Deepfakes her. Don’t worry. It’s totally legal.” Visitors to the Replacement AI website are greeted with a banner declaring, “Humans are no longer necessary.”
‘Stupid. Smelly. Squishy.’
Other messaging includes insults like “stupid, smelly, squishy,” alongside the ominous statement: “It’s time for a human solution.”
KRON4 contacted Replacement AI and spoke with someone claiming to be the startup’s “humble unpaid intern,” Chase Hardin.
Coincidentally, Hardin shares a name with the communications director for the Future of Life Institute, a nonprofit focused on AI safety."
What did I tell you about so called "AI safety" and the Future of Life Institute?
We will be at #39C3 and we brought something exciting: Invitation codes for the beta phase of Air, our new secure messenger based on MLS! ✨
Hit us up if you’d like to join the beta with your friends.
You can also follow 
@airmessengerAir, where we’ll post updates over time.
I finished a five-year project yesterday. Not collective farming, but CNC work for an abstract sculptor. We finished about 35 pieces over that period, including enough really successful pieces that he decided he had enough for a gallery show in NY. So the show is next month, and I get a long break.
One piece from this project was exhibited publicly last summer:
"The ads, from a company calling itself Replacement AI, feature dark, dystopian taglines."
The ads, from a company calling itself Replacement AI, feature dark, dystopian taglines.
One reads: “AI does your daughter’s homework. Reads her bedtime stories. Romances her. Deepfakes her. Don’t worry. It’s totally legal.” Visitors to the Replacement AI website are greeted with a banner declaring, “Humans are no longer necessary.”
‘Stupid. Smelly. Squishy.’
Joan Didion and Kurt Vonnegut had something to say. We have it on tape
Link: https://www.nytimes.com/2025/12/19/books/james-baldwin-joan-didion-92ny-recordings.html
Discussion: https://news.ycombinator.com/item?id=46351836
What is your favourite Canadian organisation defending privacy and digital rights? 🔒🇨🇦
최소한 물로 헹궈야하지 않을까 세균의 양식이 될 수 있어서?
세상의 발전이란건 참 빠르구나... 라는 생각이 새삼 들었어요 한 30년쯤 전에는 프로그램이 메모리와 장치에 직접 접근할 수 있었고 협조 안 해주면 혼자서 CPU를 다 먹을 수 있는 시대가 있었다는게 믿기지 않지 않아요??
Gender-diverse sunrise, and that's OK. #Photography
We need more #terminal apps like btop, so dense with information and visually compelling as well.
おめでとー!!! 
#鏡音誕生祭2025 #鏡音リン #鏡音レン
양치하고 자기 전에 마셨을때 말이야
보리차는 물처럼 마시는 차잖아 그치만 보리차는 마시고 양치 해야하지 않아? 왠지?
그러고보니까 더불어민주당 줄임말이 어느 순간부터 더민주가 아니라 민주당이 된 것 같은데 왜 그렇게 된 건지 궁금하다
Also I met a cat on my walk today. Hello cat.
いつ有事が起きてもいいようにしてる
Double pattern.
"The ads, from a company calling itself Replacement AI, feature dark, dystopian taglines."
The ads, from a company calling itself Replacement AI, feature dark, dystopian taglines.
One reads: “AI does your daughter’s homework. Reads her bedtime stories. Romances her. Deepfakes her. Don’t worry. It’s totally legal.” Visitors to the Replacement AI website are greeted with a banner declaring, “Humans are no longer necessary.”
‘Stupid. Smelly. Squishy.’
내년 지선에도 민주당 1명 국힘 1명 나올 것 같은데 민주당에서 저사람이 나오면 난 도대체 누굴뽑냐? 국힘을 뽑으면 당연히 안되고 차라리 오세현 vs 차라리 기권 밸런스게임이네
Jenniferplusplus
Chris Siebenmann
잇창명 EatChangmyeong💕🐱
