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.
Exceptional set in the abc conjecture (in Lean). ~ Jared Duker Lichtman, Bhavik Mehta. https://b-mehta.github.io/ABC-Exceptions/ #ITP #LeanProver #Math
No, no: do go on about this! 😉
I kinda hated writing this but I needed to do it.
Maybe now, finally, I can stop writing it in little fragments here and there, and just let it go and do something else.
https://blog.glyph.im/2025/06/i-think-im-done-thinking-about-genai-for-now.html
@glyph I am a little surprised you didn't mention the 2 CVEs cloudflare guy introduced by missing that his LLM had not included a check that he claims to have thought very long and hard about:
@stefanoStefano Marinelli just fu*k them deep and hard... your time is too precious Stefano... thinking about this idiots is just a waste of time. Have nice dinner and a soothing glass of wine... tomorrow is another wonderful day... you ll see...👋
nuintari's rules of networking 0x18:
Consumer VPNs are snake oil.
Gemini-2.5-pro-preview-06-05
Link: https://deepmind.google/models/gemini/pro/
Discussion: https://news.ycombinator.com/item?id=44193328
See you tomorrow #fediforum, I've done all I can manage for today with my health being completely shot today.
"Mathematics as an expression of the human mind reflects the active will, the contemplative reason, and the desire for aesthetic perfection. Its basic elements are logic and intuition, analysis and construction, generality and individuality." – Richard Courant and Herbert Robbins
#quote #mathematics #maths #math
🧵 Before picture of my boxwood #bonsai from the nursery. 1/
We are proud to present to you the timetable of Hyperlink!
The full programme includes lots of activities accessible to our English speaking visitors, such as the Fix Your Phone Shop, Social Socials helpdesk and talks about AI with Laurence Scherz and about how to reclaim control over our communication with Radical Data. Join us for a full afternoon of exploring, making and discovering!
👇 Check out the timetable and don't miss a thing
https://www.waag.org/nl/event/hyperlink/
IA y matemáticas (presente y futuro). https://jaalonso.github.io/vestigium/posts/2025/06/05-ia_y_matematicas-presente_y_futuro/ #IA #Matemáticas
#neovim Development News
The 0.12 version will update `vim.diagnostic.setloclist()` and `vim.diagnostic.setqflist()` to support custom `format`. This can be used to modify and/or filter diagnostic before setting them to location/quickfix list.
PR:
- github.com/neovim/neovi...
feat(diagnostic): add `format`...
Ok Lazyweb: the bicycle you love, show it to me. And then tell me why you love it.
Mastodon in 2017 #ClassicFedi
1) The Mastodon.social homepage in June 2017: https://web.archive.org/web/20170606214719/https://mastodon.social/about
2) 
@GargronEugen Rochko profile in April 2017: https://web.archive.org/web/20170406215020/https://mastodon.social/@Gargron/
Two DJs played a 24-hour set in an unfinished arts centre in Kampala — not for clout, but to help build it. Locals danced, kids joined in, and their livestreamed gig raised money to get the job done. As DJ Kampire puts it, "The only antidote to despair is to do something." https://continent.substack.com/p/a-24-hour-rave-to-build-ugandas-first
Pretty psyched for 
@anewsocial's new project #Bounce! A tool to move followers across protocols.
@SarahpSarah Perez 💙 already publishing the announcement from 
@fediforum on 
@Techcrunch
Introducing Bounce, a tool to move your following between Bluesky and Mastodon | TechCrunch
The overall goal at A New Social is to shift the power of social networks back to the people, not the platform makers, by giving them tools that let them move their account, their followings, and leave if a platform ever fails them in some way.
techcrunch.com · TechCrunch
Link author: Sarah Perez 💙@Sarahp@mastodon.social
Mastodon in 2017 #ClassicFedi
1) The Mastodon.social homepage in June 2017: https://web.archive.org/web/20170606214719/https://mastodon.social/about
2) @GargronEugen Rochko profile in April 2017: https://web.archive.org/web/20170406215020/https://mastodon.social/@Gargron/
Mastodon in 2017 #ClassicFedi
1) The Mastodon.social homepage in June 2017: https://web.archive.org/web/20170606214719/https://mastodon.social/about
2) @GargronEugen Rochko profile in April 2017: https://web.archive.org/web/20170406215020/https://mastodon.social/@Gargron/
Come join us for #ActivityInThePub, a hangout for all fediverse friends in #Montreal.
3 Brasseurs, Vieux-Port
July 10th at 6:15pm
RSVP here:
https://mobilisons.ch/events/8e9e0fb1-329b-45bc-9f5a-d34e41f77e4c
眠気来ないけど寝ないとまずいから寝るか
#Wedistribute has #FediForum live coverage here: https://wedistribute.org/2025/06/fediforum-june-2025/
특히 자립, 사회 적응, 교육, 생활 안정 등 이주 여성의 국내 정착에 대한 지원보다 결혼 성사에만 지나치게 초점이 맞춰진 정책 방향은 인권침해 소지가 있다는 비판을 지속적으로 받아왔다. 입력2025.06.05. 오전 9:04 www.womennews.co.kr/news/article...
강원도의회, 여성 인권침해 ‘농어업인 국제결혼 지원 조...
🔥 Bonfire Social 1.0 release candidate has landed!
Curious about what the fediverse could look like with real community control?
Try out features like custom feeds, nested discussions, shared profiles, circles, and boundary-based permissions — then let us know what breaks or needs improvement.
More details and video demos: https://bonfirenetworks.org/posts/bonfire_social_rc/
#BonfireSocial #FediForum #FOSS #ActivityPub #DigitalAutonomy
@mikeMike McCue hey, would you be interested in doing the session on Feeds tomorrow?
"An AI agent is an LLM wrecking its environment in a loop" - Solomon Hykes https://simonwillison.net/2025/Jun/5/wrecking-its-environment-in-a-loop/
You can check out our daily live coverage of #FediForum here!
Our FediForum June 2025 Live C...
On Tuesday, Meta followed through on its nuclear energy plan, signing a deal with Constellation Energy to power AI and data centers with nuclear power. This continues the pattern of Big Tech turning to nuclear power. https://spectrum.ieee.org/nuclear-powered-data-center
Build like Microsoft: Developer agents in action.
https://devblogs.microsoft.com/microsoft365dev/build-like-microsoft-developer-agents-in-action/
After you compiled and installed a new version of FreeBSD, use etcupdate(8) to merge
configuration updates.
Run "etcupdate extract" once when your sources match your running system, then run
"etcupdate" after every upgrade and "etcupdate resolve" to resolve any conflicts.
-- Lars Engels <lme@FreeBSD.org>
After Washing
/
Before Washing
I'll be leaving the board and riser to properly dry out for a day or two, in the meantime I decided to see if I could service the 40x20mm fan, 'waste not want not' and all that.
This thing was terrible before, after taking it apart, cleaning and greasing it, it's great! 👍
"The overall goal at A New Social is to shift the power of social networks back to the people, not the platform makers, by giving them tools that let them move their account, their followings, and leave if a platform ever fails them in some way."
🎯🎯🎯
🗣️ PEOPLE. NOT. PLATFORMS.
After you compiled and installed a new version of FreeBSD, use etcupdate(8) to merge
configuration updates.
Run "etcupdate extract" once when your sources match your running system, then run
"etcupdate" after every upgrade and "etcupdate resolve" to resolve any conflicts.
-- Lars Engels <lme@FreeBSD.org>
>오늘날 이 계명은 우리가 살아가는 현실과 뼈아프게 맞닿아 있다. 왜냐하면 우리는 집단적으로 이 계명을 어기고 있기 때문이다. 특히 이주 노동자의 삶을 들여다보면, 그들이 자기 손으로 쌓아 올린 삶의 기반은 제도와 법이라는 이름 아래 너무도 쉽게 침해당하고 있다. 이것은 특정 개인의 일탈이 아니다. 사회가 공모하고, 국가가 제도화하며, 다수가 침묵으로 동조하는 구조적 도둑질이다.
당신의 노동은 필요하지만, 당신의 삶은 필요없다 < 도시의 열 가지 계명 < 연재 < 기사본문 - 뉴스앤조이
https://www.newsnjoy.or.kr/news/articleView.html?idxno=307454
"The overall goal at A New Social is to shift the power of social networks back to the people, not the platform makers, by giving them tools that let them move their account, their followings, and leave if a platform ever fails them in some way."
🎯🎯🎯
🗣️ PEOPLE. NOT. PLATFORMS.
It looks like this will be SESSION ONE for the unconference at FediForum the today (THURSDAY).
(There is another session (session two) today, too. As well as three unconference sessions tomorrow (Friday), and three unconference sessions the say after (Saturday).)
@cwebberChristine Lemmer-Webber rotflmao ... A HUGE THANK YOU to you, 
@evanEvan Prodromou, and the others who created this wonderful playground!
I loved the reference to XMPP XEP-0060 and, for some time, have had questions about whether/how it was considered in your development of ActivityPub.
@steveedigerSteve E @cwebberChristine Lemmer-Webber PubSub was an important model. Some people call ActivityPub "PubSub for REST".
if you're at #FediForum, 
@toluTolulope Oshinowo and I are facilitating a session on the politics of protocols and designing with power in mind in about 5 minutes! we want to talk about our recent pre-print (https://arxiv.org/pdf/2505.22962v1) but it's mostly free-form, open discussion related to the topic
@stefanoStefano Marinelli I've not been on Reddit for a while, so I don't know if post titles can be updated, but if not: could the moderator mean that the title of the Reddit post ("Interesting article about vibe coding") was clickbait, target than the title of your blog post?
More #ClassicFedi for #FediForum: pump.io on 6 June 2013; "Social server with an ActivityStreams API"
https://web.archive.org/web/20130606212937/http://pump.io/
We have some live coverage up featuring #FediForum demos and maybe some aspects of breakout discussions. Really amazing stuff so far.
correction: i have been calling ai tooling "per request billing for editing text files"
after some research i have realised the billing model is slightly different
given that you have to make a few pulls to get something that compiles, it's closer to a gatcha game
or loot boxes, but with way lower payout rates
We have some live coverage up featuring #FediForum demos and maybe some aspects of breakout discussions. Really amazing stuff so far.
@
@
Chris Siebenmann
Stefan Bohacek
@reiver ⊼ (Charles) 
🌺🎗️ 
