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.
Assignments and strategies in democratic forking analysed with Isabelle/HOL. ~ Jan-Georg Smaus. https://hal.science/hal-05428166/document#page=219 #ITP #IsabelleHOL
First case of Apple Notes real-time sync producing logical garbage from constituent conflict data of our shopping list:
Lleis
8- 66 fack
henelchs
Nudom
Caelat
raak, owhe X rohiren, Rucolao. Ron Aldi- Sahecis-Saenlre Essif bssez 2x
Aedi
This is your reminder that CRDTs don’t solve or avoid conflicts for you, they just predictably converge into nonsense.
宿の近くで一杯😇🍺
In Deutschland ist oft unklar, welche Websites wirklich von Bundesbehörden stammen und welche nicht. Die Bundesregierung stuft entsprechende Domain-Listen sogar als geheim ein – was Betrug und Desinformation erleichtert. Deshalb veröffentlichen wir mit Tim Philipp Schäfers eine Liste offizieller Bundes-Domains: https://fragdenstaat.de/artikel/exklusiv/2025/12/geheimsache-domains/
洪 民憙 (Hong Minhee) shared the below article:
Juntai Park @arkjun@hackers.pub
최근 인프라 구성과 서비스 운영 전반에서 (늦었지만…) Terraform과 Kubernetes를 본격적으로 사용해 보았고, 생각보다 경험이 꽤 좋아서 기록 겸 공유해 둔다.
이걸 왜 이제 썼지. 진작 써볼 걸. (feat. 관리할 서버가 많아질수록 체감이 큼)
내 경우는 NCP(Naver Cloud Platform) 를 사용했는데, 지원하는 리소스 범위가 제한적이라 일부는 여전히 웹 콘솔에서 수작업이 필요했다.
그럼에도 불구하고, Terraform을 도입한 만족도는 꽤 높았다.
雨宮凪沙/nagiko
yaml파일로 관리할 수 있는 점이 매우 편리이번에 느낀 또 하나의 큰 포인트는 AI의 존재감이었다.
결과적으로,
요약하자면,
부록) K8S, 다음에도 바로 쓸 것인가?
정리하면
어 그러고보니 저도 오늘 복권 샀어요 근데 번호보니까 당첨될 상이 아님(?)
宿の近くで一杯😇🍺
Tacq: Context aware tactic recommendation for Rocq. ~ Jules Viennot, Guillaume Baudart, Emilio Jesús Gallego Arias, Marc Lelarge, Theo Stoskopf. https://hal.science/hal-05428166/document#page=205 #ITP #Rocq
月月火水木金金やって勝った海軍はありません。
コーラ飲んでアイス喰ってる海軍の方が勝つ。
ちなみにワシは職場で年越しします。
SNSで議論、よく分かんない
自分が中身のないことばっか言ってるからかもしれない
あと得体のしれない人だからかもしれない
식탁보 1.15.0 버전을 출시했습니다. 1년여만의 대규모 업데이트로, .NET 10 적용과 함께 커뮤니티에서 불편 사항으로 여겨졌던 Windows Sandbox의 vGPU 기본 사용 문제, 언어 표시 문제, 그리고 인스톨러 간소화 등 성능과 기능 간소화는 물론, 코드의 분량을 대폭 간소화했습니다.
추후 TableCloth3 프로젝트에서 개발 중인 Avalonia 기반 프론트엔드로 쉽게 전환할 수 있도록 땅 다지기 작업도 같이 진행해두었고 계속 업데이트해나갈 예정입니다. 그리고 이번 업데이트부터 ARM64 빌드도 정식으로 제공됩니다.
꾸준한 관심과 성원에 늘 감사드립니다.
This is really cool! Full body tracking in a dedicated box. It's a ToF sensor (Kinect 2 style) with on-board ML processing. Same concept as using an iPhone for ARKit face tracking (not just a camera, but also all the smarts).
I always want streaming to be as friction-free as possible, so the idea of having to put on trackers never sat well with me... this looks like a great alternative! ✨️
謝謝茄子
#年末だしフォロワーに感謝する
#AcademicJournals to follow:
ACADEMIC PUBLISHERS
@HelsinkiUPress 
@milanoupMilano University Press
JOURNAL PLATFORMS
@episciences
@PeerCommunityIn
ANTHROPOLOGY
@suomenantropologiSuomen antropologi (journal)
BIOLOGY & MEDICAL
@ActaCrystFStructBiolCommunications 
@AnnBotAnnals of Botany 
@biorxiv_paleobioRxiv Paleontology 
@CellChemicalBiology 
@Co_Biologists@Co_Biologists 
@eLife 
@EvolLettersEvolution Letters 
@GenomeBiolEvol 
@molbioevolMolecular Biology & Evolution 
@PLOSBiology 
@TrendsCellBioTrends in Cell Biology 
@TrendsEcolEvoTrends in Ecology & Evolution
GEOGRAPHY
@sub_urbansub\urban
HISTORY & ARCHAEOLOGY
@aap_saaorgAdv in Archaeological Practice
MATHEMATICS
@quantumjournal
PHILOSOPHY
@PhilosophicalPsychology
🧵 1/2
坂本真綾, FGO 최종장 주제가 MV
www.youtube.com/watch?v=BGUR...
10년 이상 가챠가 있는 게임을 하게 만드는 시나리오와 캐릭터란.
スマートフォン向けRPG『Fate/Grand Order』...
C107お品書きです！
1日目、東5 ハ-45a ”性遺物”にてお待ちしております。
歴代既刊とグッズ、無配ペーパーを持っていくので遊びに来てください😉
お隣（東ハ-45b）のブルアカ実妹合同にモモミドで健全イラスト1枚寄稿してます。見てね
Michael Franks - Summer In New York
#JazzDeVille #Jazz #NowPlaying #MichaelFranks
Formalisation de la stabilité de l’erreur d’estimation de l’inclinaison d’un robot. ~ Lynda Bentoucha, Reynald Affeldt. https://hal.science/hal-05428166/document#page=194 #ITP #Rocq
내년 3월에는 파팡F가 있군.
행사 홈페이지 : https://ffonlyfanfare.creatorlink.net/
원트윗 : https://x.com/ffonly_fanfare/status/1916070884470886826?s=20
Put together my 2025 round-up!
Highlights:
+ Celebrated Dev & I's 9th year living aboard pino, and 10 years of Hundredrabbits
+ Released 5 rabbit waves pages
+ Sailed to Ucluelet
etc.
In this talk at an #AI conference, you only need to watch the conclusion at the end. Only watch 2 secs. until you heard this..
> Software is a human endeavor [..] AI changes everything about how we code. But in fact I don't think it changes *anything* about how #software fails.
https://www.youtube.com/watch?v=eIoohUmYpGI&t=1060s
-- The Infinite #SoftwareCrisis – Jake Nations, Netflix
---
💥 BOOM.. #CodingIsSocial. Period.
Human endeavor to satisfy human needs and package them into proper solutions.
아니 미친
한국에서 대기업이 보수 언론하고 공중파까지 적으로 돌리는거 처음 본다.
구트현엑 네임드 계정들이 블스에서 보이는게 신기해…!!
딸아이의 엄마인 조카가 겨울이야기2를 보면서 이번에 ‘저 엘사년이 또 드레스를 바꿔입고 나와 딸한테 시달렸다’고 독기를 품고 이야기한 것이 기억난다. 케대헌 2편에서 헌터들은 함부로 헤어스타일 바꾸지 않기를..
운명의 순간들
1. 우연은 없다, 모든 만남에는 의미가 있다
2. 지금 이 순간이 특별한 이유를 믿어라
3. 작은 선택이 큰 변화를 만든다
4. 두려워하지 말고 앞으로 나아가라
5. 인생은 예측할 수 없는 놀라운 여정이다
6. 모든 고난은 성장의 기회다
7. 직감을 믿고 용기 있게 행동하라
Feeling major FOMO as many Fedi friends and inspiring people are currently at #39c3. But luckily talk recordings are already available!
🔗 : https://media.ccc.de/popular/2025
I'm about to start watching 
@pluralisticCory Doctorow's "A post-American, enshittification-resistant internet" 🍿
🔗 : https://media.ccc.de/v/39c3-a-post-american-enshittification-resistant-internet
Wishing everyone a great day! ✨
@_elenaElena Rossini ⁂ @pluralisticCory Doctorow Watched it also yesterday. Very good talk :) PS: You're not alone. I'm sitting at home in front of the PC and coding on #InfinitoNexus. But going to the #39c3 would had distracted me to much from finishing #InfinitoNexus ;D
Funny how folks in the West will debate the ethics of going back in time to kill baby Hitler whenever the topic of time travel comes up but no one ever considers going back to stop colonialism.
🤔
Cairn : Trouver son chemin dans Menhir. ~ Vincent Penelle. https://hal.science/hal-05428166/document#page=89 #OCaml #FunctionalProgramming
the mastodonian impulse to humorlessly scold
Mapping and explaining syntax errors with LRgrep. ~ Frédéric Bour, François Pottier. https://hal.science/hal-05428166/document#page=68 #OCaml #FunctionalProgramming
여러분의 다양한 
구르기 커모지가 궁금해요 달아주세요
@suika_sanすいか
バニー好き
오! 크레페!
어느 차원에선 당신도 결국 대중이외다, 같은 말을 세번쯤 삼킬 때 쯤이면 구독을 떼는 결말로 수렴한다. 내가 소비할 수 없는 감정임을 인정하게 되는 그런 순간이 온다.
On the design and implementation of Modular Explicits. ~ Samuel Vivien, Didier Rémy, Gabriel Scherer. https://hal.science/hal-05428166/document#page=48 #OCaml #FunctionalProgramming
어느 차원에선 당신도 결국 대중이외다, 같은 말을 세번쯤 삼킬 때 쯤이면 구독을 떼게 된다.
거꿀로 타는 모노레일이애오 
거꿀로 타는 모노레일이애오
부슽한 기사에 탐라 모두가 저격당햇다. 우리는 모두 5%인ㄴ거에요(젼
古典Lispの世界で生まれたダイナミックスコープは（この記事では触れられていないが、関数を値として扱える言語における自由変数の扱いに関するfunarg問題の解法として）Schemeに導入されたレキシカルスコープに置き換えられたが、ダイナミックスコープの「呼び出し時の環境を参照できる」という性質は「引数としてたらい回しにすることなく文脈を渡す」という便利な用途がある。最近のプログラミング言語はどのようにしてダイナミックスコープに代わるものを実現しているかの話。
（2025-12）ダイナミックスコープ再考 - 一休.com Developers Blog
https://user-first.ikyu.co.jp/entry/2025/12/25/083605
상아탑의 독선적 위계와 가식에 질려서 뛰쳐나갔던 사람이 대중혐오는 그들 이상으로 감정을 담아 발산하고 있으면 마치 완성된 한 폭의 그림이다. 논리로 뒷받침되면 혐오를 담아도 혐오가 아닐 수 있는 것 마냥... '고상하게' 디스부터 꺼내는 걸 보면, 도움 되는 말을 건져다 쓰다가도 질려서 결국 고개를 돌리게 된다.
아이 심심해
회사랑 가족을 제외하면 통화는 0명이라고 단언할수있다
친구들 지인들은 디코로 통화하고 있는데
김찌~~ 모두 맛저 하세요
불가사리 소년 
블배온 본3)가온뉘 
phildini
pkg update
Wouter Tebbens ⁂
상어학산타 
