What is Hackers' Pub?

Need cross-thread synchronization without freezing the main thread? 🥶

Atomics.waitAsync() returns immediately and resolves when another thread calls Atomics.notify().

Perfect for coordinating workers with SharedArrayBuffer.

Learn more 👇
https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Atomics/waitAsync

Servo 2025 Stats

Link: https://blogs.igalia.com/mrego/servo-2025-stats/
Discussion: https://news.ycombinator.com/item?id=46615167

Cylindrical algebraic decomposition in Coq/Rocq. ~ Quentin Vermande. https://dl.acm.org/doi/pdf/10.1145/3779031.3779100 #ITP #Rocq

okay has anyone else been subjected to the bdsm lesbian age gap crimelord sex slave goonette prestige drama these past few weeks, or is it just me

しゅいろさんCharaとか聴くのか

高解像度​​に笑ってしまった
綺麗だ…

AF-S NIKKOR 24-70mm f/2.8E ED VR

Adding sorts to an Isabelle formalization of superposition. ~ Balazs Toth, Martin Desharnais-Schäfer, Jasmin Blanchette. https://dl.acm.org/doi/pdf/10.1145/3779031.3779099 #ITP #IsabelleHOL

​​​​

비슷한다

Using AI, mathematicians find hidden glitches in fluid equations. ~ Charlie Wood. https://www.quantamagazine.org/using-ai-mathematicians-find-hidden-glitches-in-fluid-equations-20260109/ #AI #Math

仕事が終わらない！！！！！

Oooooh my custom made #TheFutureIsFederated sweatshirt has arrived at a pickup point! Going to retrieve it later today and I hope it turned out ok.

I intend to wear it at #FOSDEM on the big day for the Social Web talks.

All fingers and toes crossed it looks good and fits well. Otherwise I have two other Fedi t-shirts as backups 😅

지금 봐도 참 신기한 ODD 3개 장착된 컴퓨터 ​​

ええ全くでございます。この程度でロリコンなどと。

엑... 그런 오타쿠 키모이...

학술적으로는 '산 사람과 죽은 사람' 도 이분법이 아니라는건 잘도 받아들이는 사람들이 (뇌사자의 지위 문제가 실제로 고민거리임을 인정함) 왜 성별은 '남성과 여성'의 이분법이 아니라는건 아냐 그럴리가 없어 하고 책상을 못 두들겨서 안달이신지;;; 뭐에요 무슨 남성X여성 커플링 가치코이 씹덕이어서 아냐 나의 쎆쓰가 그럴리가 없어 하는 오타쿠에요?

Today in ancient anecdotes about being a level-headed politician:

After Duke Wen of Jin took over, some disgruntled ministers decided to burn down the palace and do a little dukeicide. The Eunuch Pi (who had previously tried to assassinate the new Duke not once but twice) requested an urgent audience with his lordship to report this.

The Duke refused him entry: “At the Battle of Pu City, your lord commanded you to arrive within a day, and you appeared instantly. Later, when I was hunting with the Lord of Di by the river, you were ordered to kill me within three days and you made it in just two. For someone who was ‘just following orders,’ doesn’t that sound awfully eager? I still have the sleeve you cut off LAST time, jackass. Off is the direction in which you may fuck!”

The eunuch replied: “You MUST have figured out by now the relationship between a minister and lord. If not, your reign will be short indeed. We cannot serve two masters; this has always been how it works. If your lord hates someone, your job is to do something about it — this Pu tribe, that Di guy, whatever. Now that you’re in charge, is there never gonna be a “this” tribe or “that” guy again? The Duke of Qi promoted the guy who shot him to his right-hand man. If there’s a change up top, how is it a sin to have been loyal to the previous lord? That includes pretty much everybody — why single me out?”

The Duke of Jin relented and heard him out.

from the Zuozhuan, translation mine #classicalchinese #translation #localization #history

화장실에 칸마다 세면대 있고 볼일보고 손 안씻으면 문 안열려야함(극단적)

"아빠라 불러" 16세 9번 성폭행한 50대 공무원..."부양가족 있어" 집행유예 n.news.naver.com/mnews/rankin... "피해자에게 평생 회복하기 어려운 상처를 남겨 엄히 처벌할 필요가 있다"면서도 "피고인이 초범이라는 점, 부양해야 하는 가정이 있다는 점을 참작했다"

"아빠라 불러" 16세 9번 성폭행한 50대 공무원.....

여대로서의 메리트가 없어진게 문제가 아니라 공학으로 전환하겠다고 밀어붙이는 과정에서 재학생들이 너무 많은 모욕과 공격을 당했잖음. 학교가 주도적으로 학생들을 공격하고 짓밟는 곳에 누가 가고 싶겠냐고... 남학생들은 그래도 나중에 지원해줄거야!!! ㄴ남자애들한테 동덕여대는 놀림거리, 조롱거리, 비웃음거리로 전락함. 걔네한테 동덕여대는 '꼴페미년들'이 다니는 곳이기 때문에 욕할거리지 다닐만한 곳은 아니란 말임

RE: https://bsky.app/profile/did:plc:uabkr6tn7ru4b4e5e6udleuf/post/3mceaz2dfzc2p

ｲﾝﾀﾈﾄ

이재명이랑 타카이치사나에가 드럼 세션을 했다고요?????????

ｲﾝﾀﾈﾄ

« En rétrospective, c'était un peu comme si j'avais voulu faire un peu de sport pour me mettre en forme et que je m'étais inscrit à un stage commando de la Légion Étrangère. »

https://www.microlinux.fr/blog/choisir-mon-os/#centos/

워너 인수전 굳히기?…"넷플릭스, 전액 현금 준비" 송고2026-01-14 12:04 www.yna.co.kr/view/AKR2026...

워너 인수전 굳히기?…"넷플릭스, 전액 현금 준비" |...

​​​​​​​​​​​​​​​​​​​​
だいぶ増えてきたな
矢木に電流走る的なノリ好き

오늘 일부 계정이 로그인이 안되는 현상은 아마 블루스카이 팀에서 생일 설정 관련해서 뭔가 수정을 하다가 터진듯 합니다.. 결국 계정 터뜨리고 새로 파신 분들도 꽤 있고 트위터에서 블루스카이 왜 접속 안되냐는 트윗도 많이 보였음..

RE: https://bsky.app/profile/did:plc:l2hxm7jansx4uoalu4tklnyi/post/3mceksa5juc2m

added a median plot to the average #curl source code complexity graph

06. あたしはここよ
Artist: Chara
Album: Caramel Milk -The Best of Chara-
#nowplaying ​​

【緩問い】徐々にmastodon.socialかvivaldi.netに引っ越してゆこうかと思うのですが、どちらがおすすめでしょうか。
あるいは他におすすめ鯖はありますか。

바로 그 일

{지식채널 e} - 일러스트레이터인 그녀가 - 블루스카이에서 강조한 것은 단 한마디였다.

RE: https://bsky.app/profile/did:plc:hmegmg6p4svog5xx6h5oypp5/post/3mcev5i55kk23

Porting MiniJinja to Go With an Agent via @keybitsTom Atkins https://lobste.rs/s/cydp2t #vibecoding
https://lucumr.pocoo.org/2026/1/14/minijinja-go-port/

(手当は)ないです。​​

모동숲!!!!!업뎃!!!!

낮에 그거

대법 "개인정보 유출, 손해 없었다면 '법정손배책임'도 없어" www.yna.co.kr/view/AKR2026... 해킹으로 고객 개인정보가 유출됐더라도 고객에게 손해가 발생하지 않았음을 입증하면 기업에 법정손해배상 책임이 없다는 대법원 첫 판단이 나왔다. ㅎㅎㅎ....

대법 "개인정보 유출, 손해 없었다면 '법정손배책임'도...

습 모동숲........(집에있는 스위치와 모동숲 게임칩 바라봄...) ...오늘은 아직 못킨다..!!

which project was it again who recently rejected a large grant on political grounds...

​​​​​​

Functional programming and theorem proving in Lean 4. ~ Leni Aniva, Abdalrhman Mohamed. https://web.stanford.edu/class/cs99/ #LeanProver #FunctionalProgramming #ITP

배고프고 심장 뛰고 집으로 돌아가고 싶고

トイレいきて