What is Hackers' Pub?

First they came for the Communists
And I did not speak out
Because I was not a Communist
Then they came for the Socialists
And I did not speak out
Because I was not a Socialist
Then they came for the trade unionists
And I did not speak out
Because I was not a trade unionist
Then they came for the Jews
And I did not speak out
Because I was not a Jew
Then they came for me
And there was no one left
To speak out for me

-- Pastor Martin Niemöller

RN에 새 런타임이 옛날거보다 오히려 느리다는 이슈를 제보했는데, 솔직히 좀 황당하다. 그냥 대기업이 오픈 소스 메인테인을 못한다...는 아니다. 난 단순히 잡버그/미구현기능 많은거는 망치가 부족한가보다 정도로 이해한다.

근데 요 이슈는 RN 메인테이너 쪽에서 지난 1+년간 새 런타임으로의 마이그레이션을 적극적으로 권유했는데, 이런 기본적인 문제가 파악안되고 있었던거면 흠... 저 정도 규모의 프로젝트를 운영하는게 어떤지 잘 몰라서 뭔가 더이상 말을 얹기는 어렵겠지만, 쨋든 설명이 더 필요하다 느낀다.

연친짱~💕 하이↗️💞💥 나니가스키🤷🏻‍♀️❓초코민토🍫🌿 요리모 아.나.타🫵🏻💞 미스키토모짱~💕하이↗️💞💥나니가스키🤷🏻‍♀️❓스트로베리 프레이바🍓💗 요리모 아.나.타🫵🏻💞툿친짱~💕하이↗️💞💥나니가스키🤷🏻‍♀️❓쿠키 앤 도 크리무 🍪🍫 요리모 아.나.타🫵🏻💞민나~💕하이↗️💞💥나니가스키🤷🏻‍♀️❓ 모찌롱 🩷다이스키🤍 아이스크림

よく見たらお前がバイクに乗るのかよ

뭐야 내 토요일 돌려줘요

모비노기 직업 사제 사람 못 죽게 만드는게 즐겁다

오늘은 맛있는 Show가 구움! ​​ 쇼가야키

@StellarMiut流浪貓 我喜歡每隔一段時間發神經召喚隕石撞地球。

한국도 전통주가 있습니다. 많습니다. 다만 계보가 끊어진 게 많고, 정부에서 적극적으로 끊으려하며, 사람들도 잘 모를 뿐이에요.

청주와 소주로 크게 나눌 수 있습니다. 굳이 나누자면 탁주도 있습니다.

Proof terms for term rewriting (in Isabelle/HOL). ~ Christina Kirk. https://www.isa-afp.org/entries/Proof_Terms_Term_Rewriting.html #ITP #IsabelleHOL

It's been a while since I was actively excited about a new computer.

I'm actively excited about the @mntmnminute Reform Next.

It's Open, repairable, modular, and looks cool af in its raw aluminum (I GUESS you can also get it in a brilliant aubergine or black).

It runs off replaceable, standard LiFePO4 cells & you can mod it with other battery chemistries without changing the charging board.

The modularity is really approaching LEGO/Eurorack/ISO bike standarrd levels.

https://www.crowdsupply.com/mnt/mnt-reform-next/updates/technical-deep-dive

First-order rewriting (in Isabelle/HOL). ~ René Thiemann et als. https://www.isa-afp.org/entries/First_Order_Rewriting.html #ITP #IsabelleHOL

✨ Events I'll be selling at ✨

🌿 Chibi-Con (Winterthur) - 9-10 August 2025
🎋 Japan Matsuri (Bellinzona) - 20-21 September 2025
🍿 Zurich Pop Con (Zuerich) - 27-28 September 2025

These are all currently confirmed events where I will be an exhibitor in the artist alley! I will be updating this post in the future, so you can like it to get notification about any future events :>

니체의 트위터 모음집. 잘 봤습니다.

왜 너는 편하게 살고자 하는가? 니체 #독서

http://aladin.kr/p/AqR35

큰 스크린에 애플티비로 영상 보며 동시에 아이폰 미러링도 구석에 하고싶다.

뭐야 내 토요일 돌려줘요

しごおわ

미디어에서 종종 항우울제 먹는 사람을 우울하게 그리곤 하는데 실은 반대임. 우울한건 항우울제를 안먹어서 그런거고 약 먹는 사람은 뇌가 세로토닌에 적셔져 있기 때문에 매우 밝고 멀쩡함.

힐러가 재밋어요 내 앞에선 절대 못 죽는다

A Relational Model of Data (1969) https://lobste.rs/s/rcq7xl #pdf #compsci #databases
https://dl.acm.org/doi/pdf/10.1145/362384.362685

帰ります

CRT 모니터로 플라티나 랩 해보기 ​​

I like TV and movie characters named Evan.

A Relational Model of Data (1969) https://lobste.rs/s/rcq7xl #pdf #compsci #databases
https://dl.acm.org/doi/pdf/10.1145/362384.362685

Decomposing factorial of 300K as the product of 300K factors larger than 100K. ~ Gustavo. https://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html #Programming #RacketLang #FunctionalProgramming #Math

뭐야 내 토요일 돌려줘요

Oh this looks like a very cool #oshw device, hadn't heard of it before
https://fosstodon.org/@foss_north/114340962801722263

そういえば、4月頭にioでは独自にカスタマイズして、タブをバックグラウンドに切り替えたときに投稿データを取得しないようにした。
そして、戻ってきたときだけ、過去10件（1ページ分）だけを取得するようにしている。
（前まで貯まっていた投稿がドカっと流れてきてたやつが無くなった）

この変更で通信量が目に見えて減ったし、ブラウザの負荷も軽減されたおかげでスマホでのバッテリー持ちも少し良くなっている。

※通知音などはこれまで通りちゃんと鳴る

The Barium experiment. ~ Tom Szilagyi. https://tomscii.sig7.se/2025/04/The-Barium-Experiment #CommonLisp

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

RE: https://bsky.app/profile/did:plc:xehh377casgg5arljyazkuwg/post/3lmqf6rf4ns2s

GreatApe is a conversations platform for the Fediverse and decentralized social-media (DeSo).

Here is what the GreatApe login screen looks like on a mobile-phone web-browser.

With GreatApe you do NOT have to create a separate GreatApe account.

With GreatApe you use your existing account on Mastodon, Pixelfed, Misskey, or PeerTube to login.

(We plan to support more Fediverse and DeSo logins later.)

#DeSo #Fediverse #GreatApe #Mastodon #Misskey #PeerTube #Pixelfed

SatisFactory買っちゃった

@thx@mustard.blog상어학땡스 월간정액제인데 유료 과금템까지 있는 망겜이네요 이거...

mastodon.social隨便就找到一堆漢文新用戶了，沒人理應該很快跑回去吧

是說coser圈發生什麼事嗎，看到一堆過來的coser

不過大家都說聯邦宇宙入門，我說說醍醐味的部分吧XD 大站點當然是穩定、不容易倒，但小站點的人情味也是普通SNS找不到的東西吧

因為沒有演算法，大站點的帖文更容易淹沒在茫茫人海中，小站點反而容易得到誠懇的回應

最近在混一個外國的Sharkey小站也是滿有人情味的XD

사실 저는 같은 이유에서 부동산도 시장경제의 대상이 될 수 없다고 믿는 편입니다. 그 필지의 그 부동산은 세상에 단 하나밖에 없는 대체불가능한 재화인데 달리 뭐랑 경쟁을 하란 겁니까...?

RE: https://bsky.app/profile/did:plc:ijc4yb24tysgjiaiib2ldgyk/post/3lmtsgsebhk2x

지난해 미국 컬럼비아 대학교에서 팔레스타인 지지 시위를 조직했던 팔레스타인 학생 활동가인 모흐센 마흐다위가 이민세관단속국(ICE)에 구금되었습니다. 영주권자인 그는 시민권 면접을 받으러 이민국 센터에 나갔다가 붙잡혔습니다.

‘팔레스타인 지지’ 컬럼비아대 학생 활동가, 귀화 면접...

Emacs Lisp elements (A big picture view of the Emacs Lisp programming language). ~ Protesilaos Stavrou. https://protesilaos.com/emacs/emacs-lisp-elements #Emacs #Lisp

今までセルフレジで「この罠やめろ」って思ったのは、お酒をレジに通した瞬間、「年齢確認の必要な商品です。店員を呼んでいます」って、店員さんが来てくれるまでどうにもならなかったやつ

일본 갤럭시는 전파 좀 나빠지면
바로 상태바 쪽 안테나 창에
VoLTE 끊어졌다고 아이콘 뜨는데

한국도 그러나...?
그냥 라쿠텐이라 Network is busy라서 그런건가...?

お掃除ロボット藍ちゃん

風呂キャンしようとするしゅいろママをお姫様抱っこで風呂場に連れて行く

기분전환의 일환으로 액상과당 먹기

삶이 무료해서 재미없을때는 유료결제를 해보는건 어떠신가요?

噛むヨーグルト(レトロニム)

공공인프라는 민주화하라고 있는 거지 민영화(=사유화)하라고 있는 것이 아닙니다...

The Kolmogorov-Chentsov theorem (in Isabelle/HOL). ~ Christian Pardillo-Laursen, Simon Foster. https://www.isa-afp.org/entries/Kolmogorov_Chentsov.html #ITP #IsabelleHOL #Math

ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

RE: https://bsky.app/profile/did:plc:xehh377casgg5arljyazkuwg/post/3lmqf6rf4ns2s

しゅいろさんがロボット掃除機を買ってロボット掃除機で自販機の下を掃除させて回収する回

Dear browser makers, please fix LCH. The promise of LCH was that the L could be trusted: no matter what the hue is, the lightness would always be the same perceived lightness. In your current implementations this is completely broken. It’s even worse than HSL

☞ https://issues.chromium.org/issues/40909194

☞ https://bugs.webkit.org/show_bug.cgi?id=255939

☞ https://bugzilla.mozilla.org/show_bug.cgi?id=1847421

#browser #interop #css #chromium #webkit #gecko