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.
Formal methods only solve half my problems
Link: https://brooker.co.za/blog/2022/06/02/formal.html
Discussion: https://news.ycombinator.com/item?id=46473400
自分がキリスト教に持っている好感とフェミニズムに持っている不信感が不倶戴天の敵同士ということがはっきりした
TAGOのケーブルもこもこになってきた（冬仕様）
Letzte Amtshandlung an Trailer 2. Snif.
光学83倍ってどんな感じ？というと、こう
バーニスヒール鬼高いから走るの大変そうだなーと思ってひたすらモーションみてただけですよ
RE: https://front-end.social/@stephaniewalter/115853940079196608
This is a nice way to visualize differences in fonts.
It’s also got a nice technical base. TIL about the t-SNE algorithm to place N-dimensional data in a 2-D space.
寝ようねぇ
あ〜＾〜
Effortless animations with CSS view transitions https://lobste.rs/s/zpwlya #css #web
https://giacomocavalieri.me/writing/effortless-animations-with-css-view-transitions
A4 Paper Stories
Link: https://susam.net/a4-paper-stories.html
Discussion: https://news.ycombinator.com/item?id=46525888
The death toll from flash floods in Indonesia’s North Sulawesi have risen to 16, with 3 people still unaccounted for. https://www.thestatesignal.com/death-toll-from-flash-floods-in-indonesias-north-sulawesi-at-16/
#thestatesignal #news #floods #weather #environment #climate #government #internationalnews #localnews #indonesia #flashfloods #sulawesi #breakingnews
にっにう～
の再掲が流行ってるって聞きました
Date is out, Temporal is in
Temporal is the Date system we always wanted in JavaScript. It's extremely close to being available so Mat Marquis thought it would be a good idea to explain exactly what is better about this new JavaScript date system.
連合とモデレーション
コンテンツに国ごとの法規制等の問題がついて回るようになったし、日本は緩い側だからなあ。
ネコの腎臓病新薬、早ければ年内にも実用化へ 治験終了、4月には国に承認申請 https://www.itmedia.co.jp/news/articles/2601/07/news125.html#utm_term=share_sp
自分は女性を憎んでいるとは絶対に言わない
自分の話を聞いてくれた女性、優しさを掛けてくれた女性、気持ちに寄り添ってくれた女性がいることを覚えているから
ラディカルフェミニズム支持しない、というだけ
소프트웨어 엔지니어 채용중입니다. https://careers.linecorp.com/ko/jobs/2961/ Rust(도) 하는 팀입니다.
훌륭한 프로그래머인 
Grok is being used to remove clothes from random peoples' photos. Journalists think they got the chatbot to 'apologize'. What are you doing? An LLM cannot apologize. It doesn't know what is happening. Journalists doing this is a form of AI psychosis. Full ep here: https://www.youtube.com/watch?v=zT9lEyHnZIk
早めに寝ちゃお
そういえば、昔、mstdn.jpにリレー（連合リレー）参加を打診したことがあるんだけど、流量がどうとかではなく、規約上参加は難しい、という結論だったんだよね。
ThreadsのActivityPub参加も、当初目指していた機能・相互に交流できる状態が、負荷や実装上の難しさじゃない理由でいろいろと実現できなくなってしまったらしく。
The difficulty trying to convince myself that the orange clown show isn't actually going to devolve into WW3 gets harder and harder with each passing day.
たとえ「そっちのほうがまとも」と思えなくても、ましなほうを選択せよ｜ウィックジェイ(K/G40xWlKJ) https://note.com/k_g40xwikj/n/nbd30f3c953c7
Prepare for updates #mastoadmin
Okay, whoever the fuck at cisco decided that ios-looking operating systems should no longer support "wr mem" in favor of "copy run start" should feel bad and have legos randomly scattered where they'll be barefoot at least a few times.
wr mem: easy to type. Unambiguous. Hard to fuck up. I've been using it since, what, 1994 or something so it's deeply ingrained muscle memory. And I never have to worry that I've somehow typed "copy start run" instead of "copy run start"
RE: https://front-end.social/@stephaniewalter/115853940079196608
This is a nice way to visualize differences in fonts.
It’s also got a nice technical base. TIL about the t-SNE algorithm to place N-dimensional data in a 2-D space.
So I'm buying a chair
You got it easy kid
RE: https://hachyderm.io/@thomasfuchs/115854453599100931
And yes we had full-on IBM compatible PCs in this form factor even in the 1980s, e.g. Schneider Euro PC.
The form for proposing contributions for FluConf 2026 is now live. Read all about it in the accompanying blog post:
https://fluconf.online/blog/now-accepting-proposals-for-fluconf-2026/
I felt that Microsoft Copilot, formerly known as Office, could use a mascot. So I asked Copilot to design something in the spirit of Clippy.
Let me introduce you to Sloppy, a cheerful slightly gooey assistant with glasses and a headset.
Everyone hates OneDrive, Microsofts cloud app that steals and deletes files
Link: https://boingboing.net/2026/01/05/everyone-hates-onedrive-microsofts-cloud-app-that-steals-then-deletes-all-your-files.html
Discussion: https://news.ycombinator.com/item?id=46526376
How is anyone expected to get enough sleep in the hour between 
@alice🅰🅻🅸🅲🅴 (🌈🦄) wishing fedi a good night and 
@babetits romney wishing us lovelies a good morning?
it has been 0️⃣ days since the definitionally 100% foreseeable event of a certificate expiration caused a minor disaster
if your logitech mouse stopped working today on macintosh, you need to manually download and install a fix for the dead certificate. https://www.macrumors.com/2026/01/07/logitech-certificate-breaks-macos-apps/
Logitech Blames 'Inexcusable Mistake' After Certificate Expiry Breaks macOS Apps
Logitech users on macOS found themselves locked out of their mouse customizations yesterday after the company let a security certificate expire, breaking both its Logi Options+ and G HUB configuration apps. Logitech devices like its MX Master series mice and MX Keys keyboards stopped working properly as a result of the oversight, with users unable to access their custom scrolling setup, button mappings, and gestures.
www.macrumors.com · MacRumors
Link author: 
MacRumors.com@macrumors@mastodon.social
The Asus 27" RGB Stripe OLED might be the first monitor I'd consider using for both Mac work and PC (and I guess console) gaming. The only compromise you are making is not full retina on Mac, but all the other specs seem right on for a do everything monitor.
https://www.youtube.com/watch?v=3nNerw97PVU
Software Heritage endorses United Nations Open Source principles https://www.softwareheritage.org/2026/01/07/software-heritage-united-nations-open-source-principles/
Not sure where to start with Mastodon? Here's some new year coverage from 
@TechCrunch that provides a great overview. 🫶🏻
Want to learn even more? There's a fantastic community ready to help you level up your Fediverse skills. 🎉
Hey security people: How much consideration is given to cameras capturing people's hands as they type passwords on their laptop?
朝４時にスピキもらえる！
リクエストありがとうございました！
タイムラプス（期間限定全体公開） 作品ページ
@adminJaypee Self-boost without shame! It's actually good to boost a post at a different time of the day, since the timeline is chronological. It helps reaching out to new people who are active at different times.
@Em0nM4stodon@infosec.exchangeEm 
@admin@mastodon.drjpdns.comJaypee밤 늦게 께어있었는데 불쾌한 경험만 함 😒 그냥 잘게요 다들 잘 자요
[[후기가 증명하는 커스텀 키보드 전문노예 슬릿]] 2026년 1월 1달간 마지막 신청을 받고 2월에는 완제품 발송 및 커미션 정리를 하려고합니다. 하루종일 두드리는 키보드 내 최에 컨셉이라면 얼마나 좋을까<로 시작해서 생각보다 많은 분들이 관심을 가져주셔서 기뻤습니다!! 3차 오픈은 언제일지 모르겠어서 생각이 있으시다면 1월중 신청을 추천드립니다 자세한 공지는 아래 링크 확인부탁드립니다 catkin-gardenia-6d7.notion.site/2686bf69dd04... RP이밴트가 존재합니다-☆
Jævnlig påmindelse om - at booste de indlæg, du kan lide - for at holde Fediverse i live ♥️
VI er algoritmen her
h/t @Em0nM4stodonEm
아 스샷이 뭔가 해변가에 억지로 끌려와서 그래도 수영복은 입었지만 물에는 안 들어가고 밖에서 구경하는 소극적인 성격처럼 찍힘 ㅋㅌㅋ큐ㅠㅠ
wakest ⁂
(自律しろ) 
lionhairdino
Jenniferplusplus
