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.
This is ok
うぅ
Proving completeness of an eventually perfect failure detector in Lean4 https://lobste.rs/s/adl5af #distributed #formalmethods
https://protocols-made-fun.com/lean/2025/06/10/lean-epfd-completeness.html
強アルカリ性くろでん
Slightly special day for this account: it was exactly 5 years ago today that I created the original FediFollows account! 🎂
Things were very different on the Fediverse in 2020, there were far fewer people on here and FediFollows usually only recommended one account per day. It was very quiet compared to the Fedi of 2025! You can see the first FediFollows post at https://mastodon.online/@FediFollows/104331509949080526
FediTips and my other accounts came a bit later, FediFollows was where I started 🙂
Here, have some cake: 🍰
いつもどうやってねてたっけな
A new attack dubbed 'EchoLeak' is the first known zero-click AI vulnerability that enables attackers to exfiltrate sensitive data from Microsoft 365 Copilot from a user's context without interaction.
Disney and Universal are suing the AI company Midjourney for copyright infringement, alleging that its AI-generated images include famous characters like Darth Vader and Spiderman. IEEE Spectrum was first to shine a light on Midjourney's visual plagiarism problem: https://spectrum.ieee.org/midjourney-copyright
かわいい
なぐりたくなってきた
I'm frequently asked "how much does 
@compiler_explorer cost to run". I've done some digging and posted https://xania.org/202506/compiler-explorer-cost-transparency which is a high-level breakdown of the costs (and revenue); and links to a more in depth report if you want all the gory details.
3つぐらい出てきてもうこれでいいんじゃないかって感じ
でももうすこしよくばりたさ
RE: https://chpk.kur0den.net/notes/a8uf97vz12ig1kaq
ねれない
しゃきしゃき
Of all the fediverse things, I think the Lemmy/Piefed/Mbin universe has the best chance of unseating the incumbent (Reddit)
I'll make a few videos on my adventures in the future but in the meantime put together this little "How to"
https://fedihost.co/blog/slug/getting-started-on-lemmy
Look who I found! It's ServeTheHome's Patrick Kennedy! (he knows the best breakfast spots)
Of all the fediverse things, I think the Lemmy/Piefed/Mbin universe has the best chance of unseating the incumbent (Reddit)
I'll make a few videos on my adventures in the future but in the meantime put together this little "How to"
https://fedihost.co/blog/slug/getting-started-on-lemmy
しょーがないな……って言いながらみあーまちゃんの▲（持参）貸して拭いてもらいました（虚構）
Ueela 
@stefanoStefano Marinelli
NEW WINDOWS CVE 8979876097986968
Here we have proof why Windows is so bad. I can spy your Password in the mirroring "Window" 😜
Have a great time up there! §8-)
よし寝よ～！
三 
Reseña de 'LeanTutor: A formally-verified AI tutor for mathematical proofs'. https://jaalonso.github.io/vestigium/posts/2025/06/11-resena-de-leantutor-a-formally-verified-ai-tutor-for-mathematical-proofs/ #ITP #LeanProver #Math #AIforMath #Teaching
We’re proud to sponsor #PlatformCon2025, the world’s largest platform engineering conference. From June 23-27, thousands of platform engineers, DevOps professionals, and tech leaders will come together to share knowledge, network and discuss their latest insights
아쉽지만 이번주까지만 영업하는, 제가 좋아하는 퀴어프렌들리 칵테일바 《무명》을 여러분께 알려드려요
위치: 서울 강북구 한천로 1081 2층 202호
지도: https://naver.me/5v4nLTdM
해당 바의 모토가
'이름 없이, 정의 없이, 자유롭게.
이름 없는 바 무명.
모든 차별과 혐오를 반대하며
여러분의 온전히 나로서 존재할 편안하고 즐거운 시간을 위해.' 이에요.
마침 퀴퍼 열리는 주간이니, 여건이 되신다면 퀴퍼 다녀오시고나서 한 번 들리시는 걸 권해보아요
완전 커스텀으로 제가 원하는 맛(예) 열대과일의 단맛을 좋아하고 지금 가벼우면서 술맛-알코올맛-
약한거 먹고 싶어요.) 말하면 그거에 맞춰 말아주세요
커스텀 제작이라서 당연히 실패가 없음
お腹痛くて起きました
Is there a way in Google Calendar to change the default so that it gives you the email notification 1 hour before the event instead of 10 minutes before the event
We have some love to give SF Symbols 7:
Apple’s new Draw animation system is great, and the included tools for making your own are killer! You can fill in the blanks for symbols that didn’t get animations, or animate custom ones relevant to your projects. #WWDC25
静かに寝たふりしないと寄ってこないのでプロの蚊だ
It’s wild to see professional, commercial printed materials with a qr code on them that used a generator service that makes all links go through them
いわいわ
いわかん
いたいというか違和感
なんかかたがいたい
It’s wild to see professional, commercial printed materials with a qr code on them that used a generator service that makes all links go through them
@Crazypedia
🌬️
big compliment, thx!
오늘따라 왜 다리가 아프지
If you have a CD-ROM drive in your machine, you can make the CD-ROM that is
presently inserted available by typing 'mount /cdrom' as root. The CD-ROM
will be available under /cdrom/. Remember to do 'umount /cdrom' before
removing the CD-ROM (it will usually not be possible to remove the CD-ROM
without doing this.)
Note: This tip may not work in all configurations.
The Beach Boys' Brian Wilson Dies at 82
Link: https://pitchfork.com/news/the-beach-boys-brian-wilson-dies-at-82/
Discussion: https://news.ycombinator.com/item?id=44249467
人になにか話したからって解決するわけでもなく
おふとんはいった
Seeing Gavin Newsom on the news last week: This ruthless opportunist will do anything to get on TV (derogatory) Seeing Gavin Newsom on the news today: This ruthless opportunist will do anything to get on TV (neutral)
WikipediaにAeroGlassの透過素材あった
Since I finished work, I've been whistling "Wouldn't it be nice" as I potter around. Just now got the notification that Brian Wilson died. Odd.
Just a sample I generated in Milkysynth, it's pretty simple, here's the file, works in Milkytracker 1.05.01 (which is in Guix, I pushed it yesterday) https://dustycloud.org/tmp/shiny-sketch.xm
updated to add a couple more, now it's a ringtone basically
@
ふゆきまゆ
Evan Prodromou
いっかく 
Christine Lemmer-Webber
@puppygirlhornypost2
