What is Hackers' Pub?

This is going to be exciting! #PubConf2025
@andypiper @wendyhk🌳 🐝 Wendy 🌍💚 @lavaeolusHenrik Schönemann
@bjoernstaBjörn Staschen

In moldable development, I build lots of tiny tools. Together, they help me grow my understanding of a system. Here (Visual Studio Code) we can clearly see that different people do different things in a project . Less than 30 lines of code in this case. Using a domain specific language for visualizations, with nodes, edges and layouts. And tiny is important, because that makes them fast to write and easy to understand.

Do you need more understanding of your system? Let me know if I can help.

How many followers do you have?

The metric is broken! #pubconf2025

#歩きたくなる1枚ください

We are excited to present our new paper at @pldi! The paper describes a family of ultra-cheap relational abstract domains, that can capture relations between variables such as y = 3 x + b or y = (x rot 3) xor 0xFF, among many others. These domains work particularly well with programs in SSA form (or when combined with our SSA-based abstract domains). A short, hopefully accessible, summary available here https://codex.top/papers/2025-pldi-relational-abstractions-labeled-uf.html. If you are assisting #PLDI, looking for a postdoc, research, or engineering position in analysis/compilers, or just want to chat -- feel free to reach out!

misskey.ioの最近のMAU, WAU, DAUってわかりますか？

おごごごごご

うぅ

misskey.ioの最近のMAU, WAU, DAUってわかりますか？

페라리가 또 프레데릭 바수르 자른다는 루머가 있네 ...... 그런다고 뭐가 달라질거같냐

それはどうかな #東方Project #霧雨魔理沙

www.hani.co.kr/arti/politic...

이준석은 ‘펨코 대통령’?…남초 커뮤니티에 찌든 혐오의...

Happy @bsdcan 2025!

the existence of dependent type theory implies the existence of codependent type theory

Though it had a click bait title. “No Musk, Zuckerberg or Trump can shut us down” was a really really good discussion.

#PubConf2025

[단독] 에펨코리아 회원들, 개혁신당 가입 인증시 ‘잉토’ 가능 포인트 줬다 2025.06.13 17:32 대선 이준석 유세현장 인증해도 포인트 나눔…중고거래 플랫폼서 현금화 가능, 개혁신당 직접 관련은 없어 www.ilyo.co.kr?ac=article_v...

[단독] 에펨코리아 회원들, 개혁신당 가입 인증시 ‘잉...

それはどうかな #東方Project #霧雨魔理沙

ネタニヤフ亡命？？
本当にやり逃げ。そしてネタニヤフを匿うのも、もうリスクがでかいと思うのだけど。

過期兩年多的罐頭，在想要不要吃掉…

家の裏でマンボウに主人が殺されて1年が経ちました

ひらいたけどやりたいことなかったからとじた

起きれた。

Blueskyが言うところのconsortiumのイメージは多分ADX時代のままなので、データ自体は一元管理するつもりだと思います。そこ巧くやるなら別メソッドになりそうだし、だからこそplaceholderなんて名付けたのかなと。 https://github.com/bluesky-social/atproto/blob/3c7b12e8de4f9e75675d847c7a9a45d5a0e44291/architecture.md#the-did-consortium

이쯤 되면 해커가 한국인 개인정보 샀다가
에이 ** 중복이잖아! 할 것 같다

あう～～～～～～～～

Worldwide power grid with glass insulated HVDC cables

Link: https://omattos.com/2025/06/12/glass-hvdc-cables.html
Discussion: https://news.ycombinator.com/item?id=44262537

I have achieved programming enlightenment.

https://github.com/wyattscarpenter/wu

ぬ

Lemmy release v0.19.12 today: https://join-lemmy.org/news/2025-06-13_-_Lemmy_Release_0.19.12

I’ve got my money’s worth!

​​

おさけいっぱいのんだ～～～～～～

このまま行くと絶対壊れるので一旦セーフモード入れます

​​​​
#misskey写真部

I've recently created a [pull request](https://github.com/mdn/content/pull/39790) to update an [MDN page](https://developer.mozilla.org/en-US/docs/Web/HTML/Reference/Elements/noscript#usage_notes) and got it approved and published.

If you're reluctant to make changes to large public organisations such as MDN or Wikipedia, even a simple pull request helps.

#webdev #mdn #opensource

しんどくなってきた

넌 여자가 좋은 게 아니라 이상화된 피메일바디가 좋은거야 라는 생각이 들 때가 종종있다

どこかに属したとしても、いつどんな不興を買って追放されるのかという恐怖感が勝る

ホームドア設置の工事のせいで自販機の数が
下りホーム４台
上りホーム０台
とか言うアンバランス構成になってる

저의 최애 개그짤이 추가되었네요 감사합니다🫰🏻❣️

RE: https://bsky.app/profile/did:plc:pocgdjlirqiciijz2pch5eto/post/3lrigt37ujs26

참고로 싱가포르의 태형은 영국 식민지 잔재이며(말레이시아 브루나이도 같은 이유로 태형이 아직 존재), 숙련된 전문가가 "가능한 모든 힘을 다해" 때리는데 한 대만 맞아도 피부가 갈라지고 흉터가 남음. 태형을 언제 집행하는지 전날까지 알려주지 않기 때문에 정신적 고문이기도 함. 단순히 사이다식으로 소비할 내용이 아니고 싱가포르가 이거 한다고 고문방지조약 같은 국제조약에 서명을 안 하고 있음. 당장 폐지되어야 할 악법/악습.

RE: https://bsky.app/profile/did:plc:eeffxw7sfmqw2rv2cgi3uj3l/post/3lrig4qxiac2i

腹の駄肉がつめたい　脂肪を感じる

pg_restoreが終わるの

今まで"consortium"から複数のDNSルートサーバみたいなのを想像していたけど、"consortium"といっても必ずしも複数サーバの連合は含意しないか

よるあげ

한남충들의 집게손 어쩌구는 물론 자존감도 있겠지만(당연히 자존감 얘기는 저 이대남 한남충들 조롱하는 언어다 저놈들은 조롱받아 마땅하다) 제일 큰 문제는 온 사회가 저 말도 안 되는 똥꾸릉내 나는 개쌉헛소리를 매우 진지하게 들어주고 열심히 재생산하는데에 힘을 실어주고 있다는게 가장 큰 문제일듯 괜히 한남민국이 아니다 후..

I am working on an app to connect people with lawyers in emergency situations (ICE raids, police encounters, protests). Looking for a Flutter developer and someone with legal background (lawyer, paralegal, legal aid experience) who want to help build something that could literally save lives and protect rights. DM me if interested.

Boost for reach.

세상에. 용산 직원 중 재산이 가장 많았으며 + 윤의 개쓰레기 연설문을 작성, 관리하였고 + 내란에 직접적으로 관여했다고 알려진 김동조 휴브리스 비서관이 심지어 출근 안하고 월급 받으며 버티기까지 하고 있었군요. 김건희 전시회에 참여하기도 했었고요.

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

did:plcの展望についてはずっと「コンソーシアム化するかもね」「適当な団体に移管したいね」という話してるので、独立した複数の管理主体がいる未来は考えてないと思います。体制整う前にBlueskyがevilになったら大騒ぎでしょうけど。