What is Hackers' Pub?

A desalination plant supplying drinking water to 30 villages.

A flour and starch factory.

Oil depots blanketing Tehran in thick black smoke and contaminated rain.

65 schools. 13 hospitals.

Centuries-old heritage sites.

These are the latest targets in the illegal US-Israeli assault on Iran. These are not military bases, they are the civilian infrastructure that keeps ordinary people alive. More than 1,300 people have already been killed since the attacks began, and nearly 6,700 civilian sites have reportedly been struck.

This war has nothing to do with democracy — or even nuclear weapons. Canada must have no part in it and Prime Minister Carney must use every ounce of his influence to put a stop to it.

#cdnpoli #iran

the notion that a website, on a simple keyboard keypress, would issue HTTP queries on the fly, sometimes multiple requests in a relatively short time, is ludicrous to an old brain like me

Can the most abstract math make the world a better place? ~ Natalie Wolchover https://www.quantamagazine.org/can-the-most-abstract-math-make-the-world-a-better-place-20260304/ #CategoryTheory #Math

En.osm.town is an independent Mastodon server for OpenStreetMap people. Funding graciously provided by the OpenStreetMap Foundation.

This server has been online since 2018.

https://en.osm.town

You can find out more at https://en.osm.town/about or contact the admin account @compassOSM Town Compass

#FeaturedServer #OpenStreetMap #OSM #Maps #Cartography #GIS #Geospatial #Mastodon #Fediverse #FreeFediverse

Category theory for programming. ~ Benedikt Ahrens, Kobe Wullaert. https://arxiv.org/abs/2209.01259v1 #CategoryTheory #Haskell #LeanProver #FunctionalProgramming

LeanTutor: A formally-verified AI tutor for mathematical proofs. ~ Manooshree Patel, Rayna Bhattacharyya, Thomas Lu, Arnav Mehta, Niels Voss, Narges Norouzi, Gireeja Ranade. https://arxiv.org/abs/2506.08321v1 #LeanProver #ITP #Math #AI4Math

You can attach images, video files or audio files to Mastodon posts:

🖼️ Images can be PNG, JPG, HEIF, WEBP, AVIF or GIF (including animated GIFs)

📺 Video clips can be MP4, M4V, MOV or WebM files

🔈 Audio clips can be MP3, OGG, WAV, FLAC, OPUS, AAC or 3GP files

The maximum file size for each image is usually 16 MB, for video or audio it's usually 99 MB. There is no restriction on running time, just file size.

More info on attachments at https://fedi.tips/how-do-i-post-images-videos-or-audio-in-mastodon-what-can-i-attach-to-a-post-how-do-i-post-gifs

#FediTips #Mastodon

논바트젠 서사인 거 진짜 생각보다 읽기 어려운 코드인가...?

寝るはらさん逆はらさん

AI and decision-making.

You can attach images, video files or audio files to Mastodon posts:

🖼️ Images can be PNG, JPG, HEIF, WEBP, AVIF or GIF (including animated GIFs)

📺 Video clips can be MP4, M4V, MOV or WebM files

🔈 Audio clips can be MP3, OGG, WAV, FLAC, OPUS, AAC or 3GP files

The maximum file size for each image is usually 16 MB, for video or audio it's usually 99 MB. There is no restriction on running time, just file size.

More info on attachments at https://fedi.tips/how-do-i-post-images-videos-or-audio-in-mastodon-what-can-i-attach-to-a-post-how-do-i-post-gifs

#FediTips #Mastodon

JSLinux Now Supports x86_64

Link: https://bellard.org/jslinux/
Discussion: https://news.ycombinator.com/item?id=47311484

Formalizing a proof in Lean using Claude Code. ~ Terence Tao. https://youtu.be/JHEO7cplfk8 #LeanProver #ITP #AI4Math

Annoyingly I seem to have tennis elbow despite not playing tennis. Maybe not initially caused by mouse use but I'm pretty sure it's exacerbated by mouse use.

Anyway, I'm training myself to use the mouse on the left. I thought I'd look at some papers on the best approach. This was an interesting find: apparently training on the non-dominant side can improve performance on the dominant side. So everyone should be doing this, injury or not :)

https://www.nature.com/articles/s41598-021-83770-4

택시 탔더니 운전사 분이 내륙 사람들 다 바보냐고 함 왜 택시앱 안 켜보냐고 네 싹다 바보천치들이에요... 나 포함...

I bet the rapture would really help housing prices

I'm a software professional and I have spent the last 40 years writing code almost daily. To me, the advent of LLM coding tools means that the job that I have been doing so far is gone. I am no longer going to write code for a living. Instead, my job as a software professional will be to guide LLMs to write the code for me.

I did not ask for this, and I have not decided whether I enjoy my new activity more than I enjoyed my previous duties. But is that relevant? In a certain sense, I am a 1/

M1 MacBook Airちゃんから練習

71f9763e68 (upstream/main, upstream/HEAD) Fix erratic scroll-to-right on delete & redraft in Advanced UI (#38116)
1d46558e8d Ingestion of remote collection items (#38106)
2c6d072175 Extract `ErrorResponses` from application controller (#38105)
e235c446c9 Fix broken option defaults in `tootctl email-domain-blocks` (#38107)
4211b1b34c Update dependency faker to v3.6.1 (#38074)
73d97153d8 Update `connection_pool` to version 3.0.2 (#38103)
fcc3fac8a8 Fix `Style/ReduceToHash` cop (#38088)
3a796544e3 Allow removing yourself from a collection (#38096)
5838fce8f4 New Crowdin Translations (automated) (#38100)
3b1705a406 Add `TermsOfService#usable_effective_date` to DRY up view logic (#38095)
d7a1bead51 Update dependency aws-sdk-s3 to v1.215.0 (#38067)
eabbda3148 Fix `Style/SelectByKind` cop (#38084)
5090036edf Update dependency hiredis-client to v0.27.0 (#38092)
6a6a97f314 Update dependency json-schema to v6.2.0 (#38093)
2ad0b32dd5 Add basic ES-enabled index/service coverage (#38097)

Yay, we won a Best in Show Award at #EmbeddedWorld ! In the Microcontrollers, Microprocessors, and IP category for our ICENI #CHERIoT chips!

#CHERI

A Farsi numbers station is broadcasting right now on 7842 kHz. Picked up in Germany at 18:16 UTC.

For regular folks: This is how spy agencies send coded messages to agents in the field. They've been active throughout this war. Someone is getting instructions.

#Farsi #Iran #Intelligence #Radio

What I Always Wanted to Know about Second Class Values https://lobste.rs/s/dcqmlk #plt
https://dl.acm.org/doi/epdf/10.1145/3759427.3760373

Cool, cool. #Python wants to be hip and have types too, but so then what does this print?

for x in b"hello":
print(type(x))

Great to see a new author up on the @atproto.com@bsky.brid.gy, and @thisismissem.social@bsky.brid.gyEmelia no less! It's incredibly exciting to see support for her work in general, and specifically around bringing FedCM and ATProto/ActivityPub closer together. atproto.com/blog/working...

Working to Decentralize FedCM ...

RE: https://hachyderm.io/@thisismissem/116123045901085983

In general I think people who don't work in infrastructure (which both Emelia and I do):

1. Don't think about where things run enough.
2. Dramatically underestimate the costs involved.
3. Dramatically underestimate the _savings_ involved from sharing infrastructure.

There are always tradeoffs, and also: you can often paint yourself into a corner thinking something will work a particular way and then seeing how poorly it scales.

I'm super hyped to announce that Bluesky Socal PBC has given me a grant to work on the Federated Credential Management (or FedCM) standards to make them really work for all decentralized web applications.

This is why I stepped up to be an Invited Expert with the W3C FedID Working Group earlier in the year. The missing part at that time was "how do I fund this work?" so I'm super happy that Bluesky Social PBC really came through with a grant to fund this work.

A really interesting thing that Bluesky Social PBC did here was they could have said "just make this work for AT Protocol" but instead they said "make this work for the entire decentralized web", and the contract explicitly states I should be working with the IndieAuth, Solid and other communities interested in federated and decentralized identity to make this happen.

https://decentralizing-fedcm.leaflet.pub/3mggfw4gdx22w

Heeey, look, it's me! I'm super hyped to announce that @bsky.app@bsky.brid.gyBluesky have given me a grant to work on the standards for the Federated Credential Management API (or FedCM) to make them really work for all decentralized web applications.

RE: https://bsky.app/profile/did:plc:ewvi7nxzyoun6zhxrhs64oiz/post/3mgni4shwas2k

We are aware of recent reports regarding targeted phishing attacks that have resulted in account takeovers of some Signal users, including government officials and journalists. We take this very seriously.

To be clear: Signal’s encryption and infrastructure have not been compromised and remain robust. These attacks were executed via sophisticated phishing campaigns, designed to trick users into sharing information – SMS codes and/or Signal PIN – to gain access to users’ accounts.

I'm super hyped to announce that Bluesky Socal PBC has given me a grant to work on the Federated Credential Management (or FedCM) standards to make them really work for all decentralized web applications.

This is why I stepped up to be an Invited Expert with the W3C FedID Working Group earlier in the year. The missing part at that time was "how do I fund this work?" so I'm super happy that Bluesky Social PBC really came through with a grant to fund this work.

A really interesting thing that Bluesky Social PBC did here was they could have said "just make this work for AT Protocol" but instead they said "make this work for the entire decentralized web", and the contract explicitly states I should be working with the IndieAuth, Solid and other communities interested in federated and decentralized identity to make this happen.

https://decentralizing-fedcm.leaflet.pub/3mggfw4gdx22w

Listen... Brennan.
You and Izzy wanna get down some time? HMU.
This video is my fucking love language.

https://youtube.com/shorts/6cliVxOGNwc

Loom (DOS EGA)

인간이 뒤지면 끝인데 돈이니 명예니 무엇을 좇아 살았을까

My local, non-chain pharmacy here in Portland uses Aphex Twin's "Avril 14th" as their hold music which is simultaneously awesome and feels like a gut punch

A Tom Gauld classic, scarily on track

Last Year in SBCs

https://hackaday.com/2026/03/09/last-year-in-sbcs/

Building a Procedural Hex Map with Wave Function Collapse

Link: https://felixturner.github.io/hex-map-wfc/article/
Discussion: https://news.ycombinator.com/item?id=47311815

Fixfest is a global gathering of repairers, tinkerers, and activists

Link: https://fixfest.therestartproject.org/
Discussion: https://news.ycombinator.com/item?id=47312329

Restoring a Sun SPARCstation IPX Part 1: PSU and Nvram

Link: https://www.rs-online.com/designspark/restoring-a-sun-sparcstation-ipx-part-1-psu-and-nvram
Discussion: https://news.ycombinator.com/item?id=47310296

Wichtiger Podcast: @RainerMuehlhoffRainer Mühlhoff stellt "künstliche Intelligenz" in einen ideologischen Gesamtzusammenhang, wie das noch viel zu selten überblickt und öffentlich diskutiert wird.

https://www.denkangebot.org/allgemein/rainer-muehlhoff-ueber-ki-und-autoritaere-sehnsuechte-im-silicon-valley/

Over the last few weeks, I focused on removing overhead from the request hot path in Django Bolt. The results from v0.6.4 → v0.7.0 are honestly better than I expected. I remember when I put 60k RPS in GitHub README because that was the maximum I was able to get from this. Now the same endpoint under the same condition achieves 160k RPS.

github.com/dj-bolt/django-bolt

Here is how I did it.

AI가 아직 애매하니까 인류가 고통받는것

"Whatever courts eventually decide about AI reimplementation, the question we need to answer first is not a legal one. It is a social one. Do those who take from the commons owe something back?"

#OSS #copyleft #license #software #GenAI

https://writings.hongminhee.org/2026/03/legal-vs-legitimate/

A Farsi numbers station is broadcasting right now on 7842 kHz. Picked up in Germany at 18:16 UTC.

For regular folks: This is how spy agencies send coded messages to agents in the field. They've been active throughout this war. Someone is getting instructions.

#Farsi #Iran #Intelligence #Radio

I wish white leftis would stop their Iran analysis.
(I don't expect anything from conservatives...)
Just stop.

namespaces

Permalink: https://wizardzines.com/comics/namespaces

Aktuelle Mondphase:
🌗 Abnehmender Halbmond
23 Tage 7 Stunden bis Vollmond

And I know most of you are looking for the hexagon shape, so in addition to the generator, here is another code with CSS variables to easily control the radius and the rotation.

https://css-tip.com/rounded-hexagon/

Yes, you can have cool hover effects and animations!

#CSS #HTML

I had an opportunity to talk about Power Dynamics, Rug Pulls, and Other Corporate Impacts on OSS Sustainability at SCALE 2026 in Pasadena last weekend! As always, I had a lovely time at SCALE! More details about my talk can be found at https://fastwonderblog.com/2026/03/09/power-dynamics-rug-pulls-and-other-corporate-impacts-on-oss-sustainability-at-scale-2026/ #scale23x