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.
Me just now: Tolkien was sad he didn't get to write the Bible himself. CS Lweis was angry he didn't get to write the Bible himself.
"Technology can't solve social problems", first of all: bullshit. Iodized salt and fluoridated water, they count and they are miracles. Vaccines count and they are miracles. Modern logistics are a miracle, tap water is a miracle and all of these things are technologies.
Technology can't solve problems _when powerful people don't want them solved_. But technology in the hands of the people can absolutely solve social problems, the questions are only about who's in the way.
Aquilegia canadensis, wild columbine #bloomscrolling
I finally sat down with htpy. Very nice. All the edge cases look covered. Has a Django template backend and support for streaming responses. The HTML to HTPY converter looks lush. I think I shall be giving it a run.
Very fun episode with 
@glyph and 
@mkennedyMichael Kennedy just dropped. Give it a listen!
Program Your Own Computer with #Python
https://talkpython.fm/episodes/show/508/program-your-own-computer-with-python
Very fun episode with @glyph and @mkennedyMichael Kennedy just dropped. Give it a listen!
Program Your Own Computer with #Python
https://talkpython.fm/episodes/show/508/program-your-own-computer-with-python
I would genuinely like to understand what's going on with the Eglinton LRT.
โWhere to Put Focus When Opening a Modal Dialogโ
https://adrianroselli.com/2025/06/where-to-put-focus-when-opening-a-modal-dialog.html
TL;DR: blanket statements about where to put focus when opening a modal dialog are wrong, including this one.
I'm going back to non-streaming for music, so I bought an MP3 player & have been ripping my old CDs (and I'll be spending a lot on discogs and bandcamp).
Haven't bought a new CD in about ~17 years, tho, so it's put my musical age back at a certain life point, listening to only what I *own* which is... interesting.
toblerail
okay, I fixed two bugs and posts with attachments are still invisible to mastodont, so I'm redefining success as reduced bandwidth requirements. Mission accomplished.
So much talk at #FediForum about local communities, and self-publishers.
I curate two maps, one for local- or language-centric fedi communities, and another for organisations who self-host and self-publish on ActivityPub.
I am always open to suggestions for additions!
Community inclusion criteria: https://jaz.co.uk/projects/mastodon-near-me/
Self-Pub orgs: https://docs.google.com/spreadsheets/d/1Msmq_vgm1ggLEeR9fEjPWEPLmJbw3WuIB2fBwAstrRs/edit?gid=1436818131#gid=1436818131
(Feel free to message me here)
๊ทน์ฐ๋ชฉ์ฌ๊ฐ ์ฒ์๋ถํฐ ํค์ดํธ์คํผ์น ํ๋๊ฑด ์๋๊ณ .. ๋์๊ณผ ์น๋ฐ๊ฐ์ ์๊ณ ๋์ ๊ตํ๊ณต๋์ฒด์ ๋ค์ฌ๋์ ํ์ ์ง์์ ์ผ๋ก ์ฌ๋ฆฌ์ ์ง๋ฐฐ๊ฐ์ ํ์ฑํ๊ณ ๋์ ์ ๋ณธ๋ชจ์ต์ ๋ณด์ฌ์. ๊ต์ฅํ ์ฒด๊ณ์ ์ธ ํธ์ด์์.
ๆฆๅฟตใกใใผใ๏ผ ใใฏใผใโกใไฝใๅฅฝใใผ๏ผ#ioQWhisper ใง่ณชๅใๅใไปใใฆใใพใ
ใฝใซใใฃใญใฃใฉใกใซโกใใใใใใๅใฎๆฒ้ณด
ใฎๆผซ็ปใใ ใใโก
I was planning to go for a short bike ride for grocery shopping later today, but given the "high risk" Toronto air quality and that I'm already coughing a bit just sitting inside, maybe not. I don't absolutely need these groceries, especially today
Also, I'm hermit-inclined, so yeah this is maybe sort of an excuse to be a hermit.
(I'd be wearing an N95, see 'grocery shopping', but still.)
Our website is live, over at https://nixseoul.club! We have a form up for anyone who's interested in attending!
Incapable of not saying "Hoboken" in the "Hadoken" voice
Emit logs on-demand with log buffering.
https://devblogs.microsoft.com/dotnet/emit-logs-on-demand-with-log-buffering/?hide_banner=true
@fediforum I couldn't take off work for #fediforum, but will recordings of the keynotes be made available? (I wouldn't mind buying a ticket if need be!)
Incapable of not saying "Hoboken" in the "Hadoken" voice
Big steps in higher-order mathematical operational semantics. ~ Sergey Goncharov, Pouya Partow, Stelios Tsampas. https://arxiv.org/abs/2506.01076 #Haskell #FunctionalProgramming
ใใฎไธญใซใใใใช
RE: https://misskey.io/notes/a8onyw4qdzur09po
์ธ์์ ์ค์์น ์ ์ ๋ค์
51 ์๋์์ด๋ ํ๊ธํ๋๋ค
Misskeyใๆฅๆฌ่ชไบๆใฎไฝใใ่ฉฑใใฆใไบบๅคใใฎใใใ ใใใใใๆฅๆฌ่ช่ฉฑใใฆใชใใใ่ชฌ
An internal IRS report says that 94% of Direct File users rated their experience as "excellent" or "above average".
(And as the article mentions, even though it's been shut down, it is open-source! https://github.com/IRS-Public/direct-file)
ไธปใซ้ซชใฎ่ฒใจใ
ๅ
ใฎๅฝใใๆนใซใใๆๆใฎ่กจ็พใงใฐใฉใใผใทใงใณไฝฟใฃใฆใไบบใฉใใใฃใฆๆใใฆใใฎใๆฐใซใชใฃใกใใฃใ
RE: https://misskey.io/notes/a8onx47b296w00qo
ใใใซใกใใใฎ่จใใฐใฉใใผใทใงใณใใฉใใชใฎใใซใใใใญ
The time has come for me to explore different writing opportunities, so if you have something interesting, I would love to hear about it!
Decreasing Gitlab repo backup times from 48 hours to 41 minutes
Link: https://about.gitlab.com/blog/2025/06/05/how-we-decreased-gitlab-repo-backup-times-from-48-hours-to-41-minutes/
Discussion: https://news.ycombinator.com/item?id=44201975
A masochist's guide to web development
Link: https://sebastiano.tronto.net/blog/2025-06-06-webdev/
Discussion: https://news.ycombinator.com/item?id=44200895
Libro "Matemรกticas en Lean4" (versiรณn del 6-junio-25). https://raw.githubusercontent.com/jaalonso/Matematicas_en_Lean4/main/Matematicas_en_Lean4.pdf #ITP #Lean4 #Math
Please bear with me in response to any follow requests, as I have commitments outside social media that at times have to take precedent.
Thank you for reading this notice and your continued support.
ใใใใ30ๅ๏ผ
#rakugaki_pao
Hold my ๐บ. #unsynn got its own lean quote!{} macro now.
fediforum costing that much to tune into has to be gatekeeping in some form I think
Hold my ๐บ. #unsynn got its own lean quote!{} macro now.
Sara Joy 
ใใชใใ
mcc
์ฅ์๋ฐ
@
amos
@