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.
Are We Serious About Using TLA+ For Statistical Properties?
https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
Discussions: https://discu.eu/q/https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
ich war gestern gezwungen einen #volkswagen #Taigo als mietwagen durch standardsituationen auf deutschen autobahnen zu navigieren.
by default ist da ein spurhalte-"assistent" aktiv, von dem ich bis jetzt nicht weiss wie ich den nachhaltig ausschalten kann.
das teil hat auf leerer strecke mitten in einem autobahnbaustellenbereich bei voller fahrt ne vollbremsung hingelegt wegen angeblicher kollisionsgefahr.
der schreck sitzt jetzt sehr tief bei mir. ist das nen bekanntes "feature"?
They are playing games with transgender people's lives in Massachusetts specifically to protect anti-transgender Democrats from having to vote.
I am very concerned for transgender people in Mass. I think a sports ban very well could happen there.
RE: https://bsky.app/profile/did:plc:vckikvdvw7grdiag3if5e5ty/post/3losbeuucok2h
Are We Serious About Using TLA+ For Statistical Properties?
https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
Discussions: https://discu.eu/q/https://emptysqua.re/blog/are-we-serious-about-statistical-properties-tlaplus/
A Typical Workday at a Japanese Hardware Tool Store [video]
Link: https://www.youtube.com/watch?v=A98jyfB5mws
Discussion: https://news.ycombinator.com/item?id=43944526
寝れないね〜ちょっと今から会わない？？みたいなこと言えるくらいの距離に住んでる友達がほしい
I’ll have a bunch of these 3" / 7.6cm (on the long edge) vinyl stickers with me at #AccessU. No need to come to my sessions; just find me.
Am not there today. Awaiting my next flight.
How dare Keir Starmer tell my family that we have caused incalculable damage to the UK? https://www.taxresearch.org.uk/Blog/2025/05/12/how-dare-keir-starmer-tell-my-family-that-we-have-caused-incalculable-damage-to-the-uk/ I am going to find it hard to forgive a man as deeply racist as Keir Starmer.
Random loud reminder that trans rights are human rights, trans kids deserve protection, and no amount of legal documents can change the self-evident truth that you deserve to be on this earth, too
Today's lunch sketch is Mezzo the Rat by 
@mwlMichael Lucas 
Wenn ihr noch was Wichtiges zu erledigen habt, trödelt nicht zu lange.
https://phys.org/news/2025-05-universe-decay-years-sooner-previously.html
when your macro is bad, it should be defined using `macro_sucks!`
TIL: es gibt Menschen, die machen Käsespätzle mit nur einer Sorte mildem Käse, ohne Pfeffer oder sonst was mit nem kräftigeren Aroma… und dann haben die nicht mal drüber nachgedacht, wie viel besser das mit mehr Aroma sein könnte.
Was ne Verschwendung /o\
selfie vid, eye contact, cute (???)
I think I can be a little bit cute sometimes what do you think
I've got my own Bluesky relay now too :] https://relay.feeds.blue
Ok, technically it's a not a full-network one - I added ~2000 known self-hosted PDSes there, but *without* Bluesky-run ones. Which means it has like 2 orders of magnitude less traffic than a full one… But if you're self-hosting a PDS, you should see your records streaming through there, if you either send a requestCrawl there or my PDS indexer has found you.
Whoa. A security cam in Myanmar captured an earthquake fault rupture live. This may be the first ever caught on camera?
Watch the fence-line on the right. And note the power-line tower behind it.
👀
More on earthquake ruptures:
https://en.wikipedia.org/wiki/Earthquake_rupture
My command line data analysis tool is at a point where I'm ready to share it!
freq is a tool I wrote in Rust, intended to replace pipelines of grep, sed, awk, sort, uniq -c, and sort -rn to look at distributions of values in datasets.
I use it daily.
when your macro is bad, it should be defined using `macro_sucks!`
Some MA Dems will say "the study will never happen and they killed it this way" but there's a MUCH easier way to kill a bill: A direct vote saying no. Democrats are refusing to do that. It is still alive, lurking in the background because of that.
They are playing games with transgender people's lives in Massachusetts specifically to protect anti-transgender Democrats from having to vote.
I am very concerned for transgender people in Mass. I think a sports ban very well could happen there.
RE: https://bsky.app/profile/did:plc:vckikvdvw7grdiag3if5e5ty/post/3losbeuucok2h
Liebe neurodivergente Bubble:
Was tut euch gut, wenn die Welt um euch herum brodelt und alles zu viel ist?
Wie ist es bei euch mit Stimming – ist es bei euch auch so, dass ihr mehr stimmt, je stressiger das Leben sich anfühlt, wie und womit stimmt ihr?
Wie sieht es mit euren Ritualen und Routinen aus? Was gibt euch Halt, was hilft euch?
Ich würde gern in einem der nächsten Podcasts eure Stimmen (O-Töne, Audios) zusammenmixen. Oder eure Sätze vorlesen. (Bis Mi-Mittag)
1/2
#Autismus #ADHS #AuDHS
Question.
One of the consequences of not seeing the same comments on a post on all ActivityPub servers is that some issue discussed already gets brought up again by people who saw the original post later.
That's bad enough when people don't read through comments before they post their own comment, but in this case, they actually can't!
ほめられたさがある
参政党代表の神谷宗幣・参院議員。
政治家なのに、現代史を知らないのは困りますね。
沖縄戦では、県民の4人に1人が亡くなったと言われています。
普通の市民がなぜこんなに犠牲になったのか？
島中が穴だらけになるほど、米軍の海からの艦砲射撃が続くなか、
ガマ（洞窟）に避難していた地元住民に
「今からここは日本軍が使うから、出て行け」
と危険な外に出て行かせたり、
「皆で自決しろ」と命令を出して市民を「集団自決」（集団強制死）させた、
日本軍がいたからです。
日本軍のせいで、多くのふつうの市民が亡くなっているのです。
神谷議員、本当に知らなかったなら、
とりあえず、アマプラにある
・「ドキュメンタリー沖縄戦」
https://www.amazon.co.jp/dp/B0B4ZTSC1L
を見ましょう。
ひめゆりについては
・「ひめゆり」
https://www.himeyuri.info/
を見るといいです。
戦後の日本社会に生きている人間として、こうした歴史を知らないでいることは許されません。
じぶんにたいしてのわるぐちがえいえんにでてくる
うあ
起きた
寝るかどうしようか悩んでる
"island of strangers"…
I hope this follows you around like "rivers of blood" followed Powell, so when they eventually bury you all that they will remember is what a sad little bigoted man you were.
Because I hate much of the current AI stuff so much, I created a license. The IHAIL license, or "I HATE AI LICENSE"
The "I Hate AI License" (IHAIL) is a license designed to express a strong disapproval of the use of Artificial Intelligence (AI) in any form, including but not limited to training, processing, and utilization of content covered by this license.
Bullshitlawine
Aaaaaaaaaargh
Nein
Frag nicht den stochastichen Textgenerator. Lies, und / oder frag JEMANDEN
Need a little help getting to #BSDCan?
We have at least two $500 CAD travel grants available with an application deadline of this Saturday the 17th. To apply, visit:
https://www.bsdcan.org/2025/gettingthere.html
Recipients will be announced the 20th
Despite my body aching and being sleepy all over, I managed to work out a small #sdl3 #Vala bindings update.
I have now implemented the SDL3_gfx library! This is a special small library that implements:
* Some special primitive drawing routines, like circles, pies, beziers, etc.
* A simple framerate manager.
* Some algorithm filters (I still need to understand how these work to make proper samples).
But in any case there are samples for framerate and primitives. Enjoy!
We're expanding support to new formats, and a new libvips driver, with support to preserve ICC color profiles during the optimization process.
PR will be opened shortly
> "We do not need loud, forceful communication," he said, "but rather communication that is capable of listening and of gathering the voices of the weak who have no voice."
Pope Leo calls for journalists to be released from prison
https://www.bbc.com/news/articles/cg71gne9ydko
Despite my body aching and being sleepy all over, I managed to work out a small #sdl3 #Vala bindings update.
I have now implemented the SDL3_gfx library! This is a special small library that implements:
* Some special primitive drawing routines, like circles, pies, beziers, etc.
* A simple framerate manager.
* Some algorithm filters (I still need to understand how these work to make proper samples).
But in any case there are samples for framerate and primitives. Enjoy!
Proposed cuts to the NASA budget are the largest in the agency’s history. If approved, major programs to study exoplanets and to bring samples back from Mars would be cancelled. We look at “NASA Under the Axe” on Big Picture Science.
Listen here: https://bigpicturescience.org/episodes/nasa-under-the-axe
@vauroraValerie Aurora 🇺🇦 right, thanks for confirming! i'm not even sure there is anyone in the area heh
うあ
──────🕒15時🕒──────
Language is strange. Sir Kier (Starmer, UK Prime Minister) said today that we "risk becoming an island of strangers". Erm, most of the people on this island are strangers to me, and I'm a stranger to most of them.
I don't think I ever want to meet Nigel Farage, Darren Grimes, Piers Morgan or Katie Hopkins.
Quincy
Christine Lemmer-Webber
wakest ⁂
leyrer
Vala
