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.
CSLib: The Lean Computer Science Library. ~ Fabrizio Montesi. https://youtu.be/KfIZn2zH8CA #ITP #LeanProver
Node.js — OpenSSL Security Advisory Assessment, January 2026 : 👀
---
https://nodejs.org/en/blog/vulnerability/openssl-fixes-in-regular-releases-jan2026
i really think the dream of "ai" on the macro scale is that they'll finally get to take away our computers
今何時ですか
New blog post: How to Add a Quick Interactive Map to your Website https://blog.miguelgrinberg.com/post/how-to-add-a-quick-interactive-map-to-your-website
Hab's jetzt schriftlich von der Bundesdruckerei: i-KFZ funktioniert nur auf von Google genehmigten Android Geräten.
Ich denke, das Thema "Digitale Souveränität" ist damit abschliessend geklärt.
I'm writing an article about W Social and I'm mentioning how it's basically a fork of Bluesky / is using its open source code.
Are there any Bluesky / ATProto experts on here willing to help me understand something, in a "explain it like I'm 5" fashion?
Update: all good thanks to 
@laurenshof 's expert explanation, thank you Laurens ❤️
The universal divided power algebra. ~ María Inés de Frutos Fernández. https://youtu.be/AlY19FFW2ZI #ITP #LeanProver #Math
明日朝積もってたら、出社前に
ヶ丘行こう
そのためのフレックス そのための管理職
'북 침투 무인기' 대학원생 "정보사에서 매월 100만원 받아"
수정2026.01.28. 오후 2:56
news.jtbc.co.kr/article/NB12...
‘북 침투 무인기’ 대학원생 "정보사에서 매월 100만...
온라인 환경이 급변하고 관련한 신종 범죄가 늘어날 가능성이 커지면서 경찰도 관련 대응을 강화하고 있습니다. 청 내에 법리 검토 등을 지원하는 수사지휘지원팀을 지난해 신설했습니다.
news.sbs.co.kr/news/article...
[단독] 입에 담기 힘든 욕설과 희롱…피해자는 '버츄얼...
ドラッグアンドドロップタイリングだと…
Vivaldiがまた革命を起こしてしまったのか 
온라인 환경이 급변하고 관련한 신종 범죄가 늘어날 가능성이 커지면서 경찰도 관련 대응을 강화하고 있습니다. 청 내에 법리 검토 등을 지원하는 수사지휘지원팀을 지난해 신설했습니다.
news.sbs.co.kr/news/article...
[단독] 입에 담기 힘든 욕설과 희롱…피해자는 '버츄얼...
Pinterest: Hunderte Entlassungen sollen Ressourcen für KI freisetzen
Pinterest plant, bis zu fünfzehn Prozent der Belegschaft zu entlassen. Das soll mehr Ressourcen für die Entwicklung von KI-Funktionen und -Produkten freisetzen.
#Entertainment #GenerativeAI #Internet #IT #KünstlicheIntelligenz #Mobiles #SocialMedia #Wirtschaft #news
I'm giving a talk at FOSDEM this Sunday and will be around all weekend https://fosdem.org/2026/schedule/event/GR8BFE-separating_the_wayland_compositor_and_window_manager/
おやすみなさい
Plone Conferences are so cool, they win prizes!
Plone Conference 2025 won a conference award from City of Jyväskylä! 🏆 The event was praised for "being well-organized in a unique way, and it naturally combined open source software development, science, and innovation".
Well done Rikupekka and team, it was indeed a really great event 👏
PS. This year's Plone Conference is in Maastricht, Netherlands from September 21-28, 2026. See you all there!
Bf-Tree: modern read-write-optimized concurrent larger-than-memory range index
Link: https://github.com/microsoft/bf-tree
Discussion: https://news.ycombinator.com/item?id=46802210
A bottom-up approach to formalisation in the FLT project. ~ Salvatore Mercuri. https://youtu.be/l2wIv8lsvYg #ITP #LeanProver #Math
@lcamtuflcamtuf 
I feel like there's some sort of quip in here about Amazon's AI not being able to detect scams....
Is vacation when I start reading some of the 476 tabs on my phone?
Or when I call tab bankruptcy?!
人とつながりたいという欲求を選択しておいて浅くつながって深くは考えないといった結果が今のSNS(およびインターネット)ってことよね。
https://bsky.social/about/blog/01-28-2026-bluesky-2026-predictions-jp
"슬로바키아 총리, 트럼프 면담 뒤 '제정신 아니다' 평가"
송고2026-01-28 15:51
美 매체 보도…"'EU 정상들에 '위험하다' 정신건강 거론"
백악관 "가짜뉴스" 일축…"유럽 내 '트럼프 건강' 의제 증가"
www.yna.co.kr/view/AKR2026...
"슬로바키아 총리, 트럼프 면담 뒤 '제정신 아니다' ...
경기도, 소방관 미지급 수당 341억 원 지급 결정
입력 2026.01.29 (16:53)
수정 2026.01.29 (16:54) news.kbs.co.kr/news/pc/view...
경기도, 소방관 미지급 수당 341억 원 지급 결정
Formalization of the Ionescu-Tulcea theorem in Mathlib. ~ Etienne Marion. https://youtu.be/_TrTKnWU-to #ITP #LeanProver #Math
It's been a busy week so I haven't been able to do as much goblin content as I'd hoped, but here's another gif :)
현대차 장남 음주운전 기사 삭제 사태에 SBS사장 "엄중 경고"
입력2026.01.29. 오후 6:40
“SBS가 지켜온 보도가치에 어긋난다는 의견에 공감”
“징계 수위가 미흡하다는 지적 겸허히 받아들인다” www.mediatoday.co.kr/news/article...
현대차 장남 음주운전 기사 삭제 사태에 SBS사장 “엄...
[단독] 국회의장 추천 방미심위원에 김민정 한국외대 교수 내정
입력2026.01.29. 오후 6:54
한국언론법학회 연구이사, 한겨레 시민편집인 역임… 야권 몫 1인 정해지면 9명 방미심위원 인선 마무리 www.mediatoday.co.kr/news/article...
[단독] 국회의장 추천 방미심위원에 김민정 한국외대 교...
The Lean module system. ~ Sebastian Ullrich. https://youtu.be/HchdT3lg36E #ITP #LeanProver
용산 지시받고 '내란 방송' 준비했나…'KBS 내란 공모' 논란 확산
입력2026.01.29. 오후 3:57
“국민에 총부리 겨눈 내란 선전에 동참? 박장범, 떳떳하면 통화기록 까라”
전국언론노동조합·방송기자연합회·PD연합회, 박장범 재수사 촉구 기자회견 www.mediatoday.co.kr/news/article...
용산 지시받고 ‘내란 방송’ 준비했나…‘KBS 내란 공...
수컷 갑오징어의 구애 행동을 연구한 결과, 이들이 인간의 눈에는 보이지 않는 ‘편광’을 이용해 피부에 무늬를 만들어 상대를 유혹한다는 것이 밝혀졌습니다. 편광이란, 자연광과 달리 특정한 방향으로 진동하며 나아가는 빛을 뜻합니다.
갑오징어의 특별한 ‘플러팅’…암컷 유혹 땐 몸에 ‘빛의...
입력 2026.01.29 10:00
탄소중립 효자 '바이오 디젤' 두 얼굴
원료의 70% 인니산 '팜유'에 의존해
손실된 원시림 30%는 팜유 농장 탓
동·식물성 폐유 티끌 모아 활용 필요
'음식물 쓰레기 통합 배출' 검토해야
www.hankookilbo.com/news/article...
지구 살리려 '바이오 연료' 썼는데… 인도네시아 숲이 ...
今夜は買ったばかりのBigme B7にインストしたKindleでこれ読みながら寝る
블스의 빵 마니아들을 위한 소식! 4월 16일 오픈하는 한국국제베이커리페어 가 사전 예약 2월 2일부터 받아요! 여기서 하셔야 가장 싸게 가실 수 있어요! 그런데 네이버 없는 사람은 어쩌라고 요새 왜 다들 네이버 예약인 거냐!
커피 광인들도 보시면 좋은 게 동시에 1층 A,B홀에서 커피 엑스포도 열리는데 티켓 연동 되니까 이거 사면 커피 엑스포도 갈 수 있으세요. 반대로 커피 엑스로로도 여기 가능!
(아, 커피 엑스포 개막일은 안 됩니다. 내일부터 베이커리 열어요;)
booking.naver.com/booking/5/bi...
네이버 예약 :: 2026 한국국제베이커리페어
Plone Conferences are so cool, they win prizes!
Plone Conference 2025 won a conference award from City of Jyväskylä! 🏆 The event was praised for "being well-organized in a unique way, and it naturally combined open source software development, science, and innovation".
Well done Rikupekka and team, it was indeed a really great event 👏
PS. This year's Plone Conference is in Maastricht, Netherlands from September 21-28, 2026. See you all there!
家着いた…疲れた…
5월 ‘글놀이’, 10월 ‘가갸’, 11월 ‘훈맹정음’ 등 특별전외국인 대상 ‘고급형 K컬처 융합 교육’ 3종 운영키로이집트 알렉산드리아도서관과 공동 국제박물관 포럼도지난해 2월 화재로 보수공사 중…2028년 10월 재개관
수정 2026-01-29 17:01
m.sedaily.com/article/2000...
“한글날 100돌 등 올해는 ‘한글의 해’”…국립한글박...
[단독]대법, ‘비닐하우스 사망’ 이주노동자 속헹씨에 “한국 정부가 배상” 판결 확정
www.khan.co.kr/article/2026...
"대법원 1부(주심 서경환 대법관)는 29일 속헹씨의 유족이 한국 정부를 상대로 낸 손해배상소송 상고심에서 정부 측 상고를 심리불속행 기각하고 “한국 정부가 원고들에게 각 1000만원을 지급하라”는 원심판결을 확정했다. 심리불속행 기각은 사건에 대한 별도 심리 없이 원심 판단을 유지하는 판결이다."
[단독]대법, ‘비닐하우스 사망’ 이주노동자 속헹씨에 ...
Winapp, the Windows App Development CLI
Link: https://blogs.windows.com/windowsdeveloper/2026/01/22/announcing-winapp-the-windows-app-development-cli/
Discussion: https://news.ycombinator.com/item?id=46738178
Formalizing value distribution theory of complex analysis. ~ Stefan Kebekus. https://youtu.be/-TPhXXTMB70 #ITP #LeanProver #Math
The tech market is fundamentally fucked up and AI is just a scapegoat
Link: https://bayramovanar.substack.com/p/tech-market-is-fucked-up
Discussion: https://news.ycombinator.com/item?id=46809069
ワイのa7c2、絶妙なことになってた
People who like growing things tend to be the least "zero sum" people I've ever met. I meet activists who act like sharing their time will inevitably lead to their death, but gardeners are always sharing.
We give each other seed, baby plants, cuttings, vegetables, greens, eggs - sometimes even before we know each other. If I say to someone "I wish I could grow tomatoes better" they'll jump in and offer last generation's regionally adapted seed without hesitation.
Because perhaps there's something to the experience of planting a bean and watching it turn into hundreds of beans, all from one bean. Or a single squash seed and seeing it produce dozens of squash and thousands of seeds. Or watching an enormous tree grow from a tiny seed and then a little sprout, and bring owls back where there weren't any before. And realizing that sharing only spreads the abundance, and never takes it away. If my tomatoes grow better, and hers fail, she knows I'll probably offer her that even better performing seed right back, and some extra tomatoes.
One of our friends on the border said he realized capitalism is bullshit the first time he grew tepary beans and watched a single bean turn into pounds of food and plenty of seed to save for next time. Why would anyone control your access to food when it's just that simple?
And the homesteading folks seem to like to make it seem really difficult, but they'll plant 10 acres to grain instead of oak trees and lament having to rent a harvester combine instead of having food literally fall out of the trees (and have a forest of other food and habitat for game, to boot), which is a failure of planning rather than the reality of what growing food is actually like.
#Gardening #Food #Agriculture #Permaculture #FoodJustice #Community
‘운명의 날’ 시계, 인류 파멸에 가장 가까워졌다…자정 85초 전
미 핵과학자회, 지난해보다 4초 앞당겨
핵무기·인공지능 위협·기후위기 등 지적
“세계 지도자들이 오히려 위험 가속화”
수정 2026-01-28 18:52 www.hani.co.kr/arti/science...
‘운명의 날’ 시계, 인류 파멸에 가장 가까워졌다…자정...
今日は4年生の卒業発表の打ち上げ
愉しゅう御座いました🙏
そして一人〆のラーメン
Hugo van Kemenade
@reiver ⊼ (Charles) 
시오
Simon Ser
상어학땡스 