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.
That sure was some weather¹ this morning, especially for a bike ride along Toronto's waterfront this fine May 31st. I don't think it broke 11C plus <insert it-windy fox>, fortunately mostly from the north instead of, say, straight from the west. I probably would have been happier in one level warmer gear, and I thought I'd dressed reasonably warmly (I was expecting it to, well, go up). At least it didn't rain on us.
¹ This is said the same way you would say "some bullshit".
I have just launched a "Lean companion" to my real analysis undergraduate textbook "Analysis I" at https://github.com/teorth/analysis . This gives a Lean translation (or paraphrasing) of the various definitions, theorems, and exercises in the textbook into Lean, thus allowing for an alternate way for students to work through the text. It is also designed to gradually transition into the standard Lean library Mathlib, thus also potentially serving as an introduction to that library as well.
Further discussion at https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/
When using just and uv on a project, which wraps around which? Should I be running `uv run just serve` or should `just serve` run the serving command inside uv?
I’ve done it both ways, and can’t really tell which is better.
I suppose I lean toward the former, so that the justfile would remain useful in a virtual environment created without uv.
6월 되었으니 새 타래 파야지..
"Learn to use e-mail, telnet, FTP, Gopher, Veronica, Archie, WAIS, World Wide Web, SLIP/PPP, IRC, finger, USENET newsgroups and more." -1994
https://archive.org/details/mondo-2000-issue-12/page/n125/mode/2up?view=theater
청소년 성소수자 위기지원 센터 띵동 10주년
wanna know one of the dirty little secrets of how to make a cool science fiction set? this bad boy right here, the NFS 4 Freezer Spacer. this fucker shows up EVERYWHERE in scifi set design
ceilings? check! floors? check! walls? check! tables? check!
instant scifi vibe
hauled myself some cd’s and some of them look like they have not seen the light of the world since 2013
Nothing makes me appreciate all the work Rust and Python developers have put into dependency management more than trying to build a C package for Linux.
Rétro cars voiture 🚗 Josephine Baker & sa 1956 Citroen DS LHD à Stockholm
ねるかあ
うあ～～～～～～
Merke: je schlimmer die Situation, desto mehr „Meister“.
まちがえてgit reset --hard origin/masterしてしまったのでねるべきかも
Today's the last day to get your early bird ticket!
Don't miss out, head to https://fi.pycon.org and buy yours now!
Today's the last day to get your early bird ticket!
Don't miss out, head to https://fi.pycon.org and buy yours now!
Alle Ähnlichkeiten mit lebenden Personen und realen Handlungen sind rein zufällig.
The most important website I've ever seen in my life: https://oneterabyteofkilobyteage.tumblr.com/post/785022299108687872/original-url
Nothing makes me appreciate all the work Rust and Python developers have put into dependency management more than trying to build a C package for Linux.
nya
こんにちは
大人気インスタンスの鯖缶です
臨時収入来たので色々購入
I seem to have successfully configured a new FreeBSD VPS (Vultr) and it's running one of my sites using Caddy. Took about an hour from provision to Caddy to firewall to DNS. Now to go back and figure out how I did it :).
TLに大人気インスタンスの鯖缶さんがぞくぞくと集まってきてる
@sunny 누구 죽을 때마다 흑백으로 바뀔 것 같고 막
謎すぎる
Precision Clock Mk IV
Link: https://mitxela.com/projects/precision_clock_mk_iv
Discussion: https://news.ycombinator.com/item?id=44144750
mi.tomadoi.com
JoinMisskey servers api is updated at 2025-05-31T16:42:59.341Z.
Total Notes: 263565419
Total Users: 919833
Total MAU: 4894
Total Servers: 859
https://misskey-hub.net/servers
#bot #joinmisskeyupdate
日本語サーバー (トップ30)
1. Mivatter (mivatter.com)
2. TRPGがすきー！ (takusuki.com)
3. さいどみすきー sideMisskey (side.misskey.productions)
4. jiskey (jiskey.dev)
5. りんごぱい (misskey.04.si)
6. なりきりすきー (n-kaiwai.work)
7. いかそば実験室 (iksky.ikasoba.net)
8. MisskeyMint (misskeymint.net)
9. Polestar (mi.soli0222.com)
10. いぬすきー (misskey.dog)
11. Metaskey / めたすきー (metaskey.net)
12. ㅤ (mi.tomadoi.com)
13. つきかのお城 (tukika.com)
14. スパイガジェット友の会 (spygadget.club)
15. 萌えアニメ (moeanime.io)
16. ほしのあかり (mi.starlamp.su)
17. 箱庭すきー (misskey.hakoniwa-project.com)
18. 封神台 (houshindai.net)
19. たこつぼ (misskey.tako2bo.com)
20. 4 1 k g (msky.41kg.com)
21. OSPN Misskey server (msky.ospn.jp)
22. みーくりあ！Ver.A2 (a2c.misskey.casa)
23. 0key.dev (0key.dev)
24. Kaisendon(Misskey) (key.tpc3.org)
25. mi.eap.vg (mi.eap.vg)
26. mugiko.moe(misskeyのすがた) (misskey.mugiko.moe)
27. MySky (my-sky.blue)
28. walnuts.dev (misskey.walnuts.dev)
29. misskey.feccc.site (misskey.feccc.site)
30. はなみすきー (misskey.flowers)
うあー
mi.eap.vgがランクインしている🤔
JoinMisskey servers api is updated at 2025-05-31T16:42:59.341Z.
Total Notes: 263565419
Total Users: 919833
Total MAU: 4894
Total Servers: 859
https://misskey-hub.net/servers
#bot #joinmisskeyupdate
日本語サーバー (トップ30)
1. Mivatter (mivatter.com)
2. TRPGがすきー！ (takusuki.com)
3. さいどみすきー sideMisskey (side.misskey.productions)
4. jiskey (jiskey.dev)
5. りんごぱい (misskey.04.si)
6. なりきりすきー (n-kaiwai.work)
7. いかそば実験室 (iksky.ikasoba.net)
8. MisskeyMint (misskeymint.net)
9. Polestar (mi.soli0222.com)
10. いぬすきー (misskey.dog)
11. Metaskey / めたすきー (metaskey.net)
12. ㅤ (mi.tomadoi.com)
13. つきかのお城 (tukika.com)
14. スパイガジェット友の会 (spygadget.club)
15. 萌えアニメ (moeanime.io)
16. ほしのあかり (mi.starlamp.su)
17. 箱庭すきー (misskey.hakoniwa-project.com)
18. 封神台 (houshindai.net)
19. たこつぼ (misskey.tako2bo.com)
20. 4 1 k g (msky.41kg.com)
21. OSPN Misskey server (msky.ospn.jp)
22. みーくりあ！Ver.A2 (a2c.misskey.casa)
23. 0key.dev (0key.dev)
24. Kaisendon(Misskey) (key.tpc3.org)
25. mi.eap.vg (mi.eap.vg)
26. mugiko.moe(misskeyのすがた) (misskey.mugiko.moe)
27. MySky (my-sky.blue)
28. walnuts.dev (misskey.walnuts.dev)
29. misskey.feccc.site (misskey.feccc.site)
30. はなみすきー (misskey.flowers)
I’ve been off carrot duty today, and baking many, many scones instead. This is a much more satisfying state of affairs.
もちもち
ふにゃふにゃ
の汎用性、高い
JoinMisskey servers api is updated at 2025-05-31T16:42:59.341Z.
Total Notes: 263565419
Total Users: 919833
Total MAU: 4894
Total Servers: 859
https://misskey-hub.net/servers
#bot #joinmisskeyupdate
やわらかふわふわ
にゃーん
Alright, I'm dancing with the typos that brung me...
The monthly anxiety of hitting "send" on the 
@astro email newsletter is replaced by the relative calm of "nothing I can do." Enjoy in all its imperfection: https://buttondown.com/withastro/archive/the-astro-post-may-2025/
(But the full blog post can always accept PRs! https://astro.build/blog/whats-new-may-2025/ )
ねるきがおきない
腕から身長の半分以上ある太さのビーム撃ちたい
Simpler Backoff
Link: https://commaok.xyz/post/simple-backoff/
Discussion: https://news.ycombinator.com/item?id=44141887
@reiver ⊼ (Charles) 
leyrer
Glyph
Hugo van Kemenade
