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.
Mostly Automated Proof Repair for Verified Libraries via 
@pushcxPeter Bhat Harkins https://lobste.rs/s/r4icum #pdf #formalmethods #ml
https://kirancodes.me/pdfs/sisyphus-pldi23.pdf
날고 기는 월스트리트 갱들도 시장 수익률을 못 이기는데 지가 뭐라고 시장을 이겨 대박을 쳐보겠다고 하지 말고 걍 지수추종 ETF로 모든 주식을 다 사게 자동화 해놓고 잠이나 자다보면 돈이 복사가 되어 있는데 왜 다들 이걸 안 하는지 참
We #streaming #chirstmas games tomorrow and friday!! Including Elf?? For GBA?? Like the movie elf. That exists.
Suggest more if you got 'em.
Also hiring someone who can make OBS layouts/stream ad templates like this, ideally in a Paper Mario + princessly + lavender style.
Not that my Original Character has anything to do with P*per M*rio.
I should just look on Vgen, place seems legit right?
(메모메모)
선물을 주면 안된다
선물은.................................
..........하지마세요.
필요한 자원을 안정된 시기와 가격에 공급받고 싶어하는 곳에서나 써먹는 거래에요. 그걸로 차익을 내려고 하는 순간 진짜로 죽어요.
상품의 거래시기와 가격을 고정시키고 시작하는 싸움인데, 그 두 선택지가 사라진 이상 여기에 돈벌려고 들이받은 인간이 할 수 있는 건 기도 빼고는 없어요.
챗지피티 뭔가 이상함. 나한테 뭘 느끼고 있는거임? 어이가 없네.
하이고 힘빠진다...
팔레스타인을 수익화 하려는 거 막는건 좋은데....
저래봐야 어차피 나중에 트럼프가 빨대 박아버릴것 같단 말이지...
정부24 요즘 너무 깔끔해져서 눈물이 나
ﾝﾆｬｺﾞｺﾞｺﾞｺﾞｺﾞｺﾞ
선물은.................................
..........하지마세요.
필요한 자원을 안정된 시기와 가격에 공급받고 싶어하는 곳에서나 써먹는 거래에요. 그걸로 차익을 내려고 하는 순간 진짜로 죽어요.
상품의 거래시기와 가격을 고정시키고 시작하는 싸움인데, 그 두 선택지가 사라진 이상 여기에 돈벌려고 들이받은 인간이 할 수 있는 건 기도 빼고는 없어요.
(이탈리아 석유회사)에니는 12월 2일 이탈리아의 한 방송사에 보낸 공문을 통해 “향후 이 지역에서 활동에 참여할 계획이 없다"고 밝혔다. 에니는 앞으로 팔레스타인 해역에서 가스를 탐사할 의사가 없고, 컨소시엄에서도 탈퇴할 것으로 보인다. 이는 BDS 운동의 중요한 승리이고 고무적인 진일보이다. 성명 전문보기: t.co/hDSxqFr9BS
次の就職先決まったの褒めてええええええええ
Women with care duties have very little "pure” leisure to themselves. Often, it is spent w/ kids or those they’re caring for. Early time-use researchers—all men—initially coded child care as leisure. They assumed women were at home having fun with the kids. https://www.thepersistent.com/women-leisure-time-hobbies-taking-back-me-time/
サンタトニー 
今日（と明日）こそ使い時だな
（といいつつ年中使っているけど
giving side-eye to certain tech executives for giving ketamine a bad name
look. it's not the ketamine. it's their values and beliefs doing that
【悲報】ワイ氏、痔が再発
【朗報】病院きた
"게임은 질병이 아니다"… 5년의 추적, 억울한 누명을 벗기다
콘진원 대규모 실증 연구, "뇌 손상·지능 저하 근거 없으며 과몰입은 일시적 현상일 뿐"
2025-12-23 17:12:09
www.thisisgame.com/articles/410...
"게임은 질병이 아니다"… 5년의 추적, 억울한 누명을...
CGV에 아바타 3D로 보러갔다가 3D안경 상태가 나빠서 기분 상했다는 후기가 많다.
그 안경 세척을 하기는 하는걸까?
세척을 한다면 좋아졌다 나빠졌다 자주 해야 할텐데, 갈때마다 안좋아지는거 보면...정말 안하는지도? ㅋㅋ
그냥 세척 없이 1년2년 쓰다가 다리떨어지거나 렌즈가 이건 안되겠다 싶으면 교체하는 식 아닌지 의심된다.
슬로우뉴스 통해 풀어본 2025년의 키워드 12개.
국제: 분노미끼, 식스세븐, 캐버노식 검문, 인종학살, AI 버블, 감당할 수 있음.
국내: 내란척결, 윤어게인, 위험노동, 개인정보, 조짐의 즐거움, 케데헌 뽕.
그리고 늘 그랬듯, 좋은 저널리즘 몇가지 기억해두기.
slownews.kr/150979
2025년 12개 키워드: '분노 미끼'에서 '케데헌 ...
GLM-4.7: 코딩 역량을 한 단계 끌어올리다
------------------------------
- *GLM-4.7* 은 다국어 코딩, 터미널 기반 작업, 복합 추론 등에서 전작 대비 성능을 크게 향상시킨 대규모 언어 모델임
- *SWE-bench* , *Terminal Bench 2.0* , HLE 등 주요 벤치마크에서 각각 +5.8%, +16.5%, +12.4%의 향상치를 기록함
- *UI 생성 품질* 이 개선되어 더 깔끔하고 현대적인 웹페이지와 정확…
------------------------------
https://news.hada.io/topic?id=25273&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
ぼくと契約して業務委託になってよ
尾崎先生マジか…。
We #streaming #chirstmas games tomorrow and friday!! Including Elf?? For GBA?? Like the movie elf. That exists.
Suggest more if you got 'em.
It would be nice if the world started to try improving human rights worldwide for a little while, instead of killing and exploiting each other.
It would be nice if tech started to improve our lives and listen to users' needs for a little while, instead of stealing our data and tracking us everywhere.
It would be nice if people worked on being kinder and more empathetic with each other for a little while, instead of always trying to pick fights and downvote others.
It would be nice.
@Em0nM4stodonEm 
Yes, boycott any corporation or platform that violates any of your rights. The power of American consumer is vast, but not used enough currently.
I left FB 15yrs ago. Never regretted it. I don't use LinkedIn or Insta or TikTok.
95% of my friends message through Signal rather than Meta ie Messenger (FB) or WApp
One of my dearest friends refuses to get a Signal account and leave Meta/WApp bc she says "it's another app to download and they're all the same". Im in Aus. She's in UK. I don't want to lose touch but I want to close WApp.
Give me sthg WATERTIGHT to convince her Meta/WApp is fucked.
(이탈리아 석유회사)에니는 12월 2일 이탈리아의 한 방송사에 보낸 공문을 통해 “향후 이 지역에서 활동에 참여할 계획이 없다"고 밝혔다. 에니는 앞으로 팔레스타인 해역에서 가스를 탐사할 의사가 없고, 컨소시엄에서도 탈퇴할 것으로 보인다. 이는 BDS 운동의 중요한 승리이고 고무적인 진일보이다. 성명 전문보기: t.co/hDSxqFr9BS
最近香港電視台ViuTV的新劇集《存酒人》，氛圍好像《十月堂舊書事》喔。
改編自香港作者的同名小說，罕有地找原作者做編審，應該不會偏離原著太遠吧。一家很有格調的酒吧同時經營存酒服務，超有個性的老闆堅持遵守諾言，即使存放期限過了，還是不惜工本找出當初把酒存在這裡的人，於是掘出了一段又一段既是酒、又是人的故事。第一集的最後，老闆宣布酒吧會在三個月後結業，這是他要把一枝又一枝存酒送還的原因…
看來通篇會以單元劇形式展開。畫面拍得超美，第一集男女主在街外樓梯抽煙、男主在酒吧吹色士風…全部都美侖美奐，對白不多但充滿想像空間。
無論書店還是酒吧，這種不停有人流動的地方，真是寫故事的好題材。
そもそもVivaldi Technologies設立メンバーの1人も日本人だったはず
【NHKニュース速報 10:09】
プロゴルフ 尾崎将司さん死去７８歳
男子国内ツアー最多 通算９４勝
#ニュース #NHKニュース速報
そもそもVivaldi Technologies設立メンバーの1人も日本人だったはず
「ゴー！シュー！！」
ばるんっ❤️ばるんっ❤️ばるんっ❤️ばるんっ❤️ばるんっ❤️ばるんっ❤️ばるんっ❤️ｺﾞｯ!!!!
「ちくしょー！また負けた！」
「パイブレードは楽しいぜ！！！」
私が取り上げるべきものじゃないかもしれないが
「尾崎違い」でよく話題に出していたジャンボ尾崎こと尾崎将司さんが亡くなられたそうです。
合掌……🙏
지피티 뭔가 유행한다고 하면 꼭 한번은 해보는 사람...
나 평소에 무슨 대화를 해온거지...(?)
would this app be of use to any of you?
https://hachyderm.io/@samhenrigold/115771589663895589
'국장 복귀' 서학개미엔 비과세…개인 '선물환 매도'도 가능
(세종=연합뉴스) 이준서 안채원 기자 = 해외 주식을 팔고 국내 주식에 장기 투자하면, 해외주식 양도소득세(20%)를 한시적으로 비과세하는 방안...
https://www.yna.co.kr/view/AKR20251224043900002
Texas app store age verification law blocked by federal judge
Link: https://www.macrumors.com/2025/12/23/texas-app-store-law-blocked/
Discussion: https://news.ycombinator.com/item?id=46370012
Texas App Store Age Verification Law Blocked by Federal Judge
A Texas federal judge today blocked an App Store age verification law that was set to go into effect on January 1, 2026, which means Apple may not have to support the changes after all. The Texas App Store Accountability Act (SB2420) requires Apple and other app marketplaces to confirm user age when a person creates an Apple Account. Apple Accounts for users under 18 would need to join a Family Sharing group, with new controls available for parents and restrictions for minors.
www.macrumors.com · MacRumors
Link author: 
Juli Clover@julipuli@mastodon.social
料理をしようとレシピを見たら「春を春雨にしておきます。」って書いてあって「え？」と思う夢を見ました。
My 2026 Open Social Web Predictions: includes fediverse predctions focuesed on work being done by: 
@dansup 
@surf 
@Mastodon 
@piefedadmin 
@ghostexplore 
@rimu @activitypub.blog 
@anewsocial 
@fed.brid.gyBridgy Fed 
@altstore See what you think. What did I miss? https://www.timothychambers.net/2025/12/23/my-open-social-web-predictions.html
드라코
Fullmetal Alejandro
しゅいろ
愚痴をこぼしても一人 
（仮）
Emelia 👸🏻
dansup