What is Hackers' Pub?

#Unterschriftenlisten gibt es ab dem 23.4 zum Download - und überall in #Hamburg.

Vorher dürfen wir leider nicht 🙄

Aktuell können wir nur die #Briefeintragung anbieten - und die #Vorfreude aufs Sammeln 😃😃😃

https://www.hamburg-werbefrei.de//briefeintragung/

#Volksbegehren #HamburgWerbefrei - mehr #Hamburg. Weniger #Werbung.

#DirekteDemokratie #StadtGestaltung #StadtGrün #Umwelt #Klimaschutz #Konsumgesellschaft

„Die Tatsache, dass Menschen weiterhin Kinder bekommen wollen, ist doch alles, was wir wissen müssen, um darauf achtzugeben, dass eine Welt erhalten wird, die lebensbejahend ist und für die Kindern ein Zuhause sein kann.“

#Neubauer ist eine unrealistische Träumerin, das muss man leider mal trotz aller Sympathie für sie und die Sache so aussprechen.

Wir brauchen mehr davon.

https://taz.de/Klimaschutz-und-Demokratie/!vn6078407/

The great virtue proof assistants, more than verifying correctness, is the ability to organize mathematical knowledge so that it is recorded and can be inspected to any level of detail by just following links.

Before I used proof assistants, I recorded my thoughts on paper notebooks, like everybody else. Then whenever I wanted to write a paper based on these thoughts, I had to both organize the thoughts and check them again. This becomes a problem if these were thoughts of 5 years ago. In TypeTopology I have thoughts recorded from 5 years ago, or more, that I didn't have time to publish yet, but I won't need to check them again or reorganize them too much when I find the time to write a paper based on them.

I find proof assistants, in particular Agda, the one I use, to be perfect blackboards/notebooks.

Another great virtue of proof assistants is that it allows for collaboration with people who you don't need to trust based on their reputation. If their code passes the proof assistant, then it is correct. So when I look at a pull request in TypeTopology from a new contributor I haven't met before, I can just "referee" it for style, relevance etc., leaving the correctness to the proof assistant.

As you know, it is easier to write proofs you've come up with than to read somebody else's proofs. It is invaluable that the proof assistant checks somebody else's proof for me, and I can concentrate on their ideas instead.

„Die Tatsache, dass Menschen weiterhin Kinder bekommen wollen, ist doch alles, was wir wissen müssen, um darauf achtzugeben, dass eine Welt erhalten wird, die lebensbejahend ist und für die Kindern ein Zuhause sein kann.“

#Neubauer ist eine unrealistische Träumerin, das muss man leider mal trotz aller Sympathie für sie und die Sache so aussprechen.

Wir brauchen mehr davon.

https://taz.de/Klimaschutz-und-Demokratie/!vn6078407/

A gentle introduction to Isabelle and Isabelle/HOL. ~ Gunnar Teege. https://raw.githubusercontent.com/gteege/gentle-isabelle/refs/heads/main/man-isabelle.pdf #ITP #IsabelleHOL

もちろんバイナリエディタ使います

바이크 타고 싶어 바이크 갖고 싶어 혼다 닥스 블루컬러 미쳣슨

今日はビールが冷えていなかったのでプランク重力が大きい

The sheep don't seem bothered about the stormy looking sky this morning. Taken earlier in Glastonbury.

≪BREAKING: Skyscraper under construction collapses during earthquake in Bangkok≫

「速報：バンコクで地震により建設中の高層ビルが倒壊」

https://x.com/BNONews/status/1905514206452945332

のヮの

Deutschland hat es verkraftet, dass CDUSPD hunderttausende Arbeitsplätze in der Solarindustrie zerstörten, also hört bitte auf, jedes Mal "Aber die Arbeitsplätze😱" zu shouten, wenn man die Privilegien, Subventionen und Bevorzugungen der Autoindustrie in Frage stellt! Wird schon irgendwie gehen!

Why yes, I did buy a crystal whiskey tumbler handcrafted by German artisans to use as an adult sippycup for drinking soy milk cold brew.

With a straw.

[1보] 미얀마 내륙서 규모 7.3 강진 < EMSC> 송고2025-03-28 15:35 www.yna.co.kr/view/AKR2025...

[1보] 미얀마 내륙서 규모 7.3 강진 < EMSC>...

변협 "헌재 윤 대통령 탄핵심판 조속히 선고해야" imnews.imbc.com/news/2025/so... "이들은 "선고 기일이 장기간 확정되지 않자 헌법재판관의 정치적 성향 대립 때문에 평의가 길어진다는 의혹이 불거지고 있다"며 "특히 헌법재판관의 개별 성향을 분석해 심판 결과를 예단하는 것이 만연해진 상황에 깊은 우려를 표한다"고 했습니다."

변협 "헌재 윤 대통령 탄핵심판 조속히 선고해야"

지브리 AI 필터를 쓰는건 자유인데 솔직히 좀 역겹다. "스타일"로는 소송하기 어려우니까 배째라로 나오는데 다른 AI 이미지 생성보다 오픈 AI 쪽이 지브리 쪽에 훨씬 가깝게 생성되는 이유가 뭘까 😏

바이크 타고 싶어 바이크 갖고 싶어 혼다 닥스 블루컬러 미쳣슨

これを見る限り震源からバンコク（というかタイ）かなり遠そうだけど揺れるんだ…

【地震速報 M7.7】3月28日 15:20頃、ミャンマーのSagaingから北北西16kmの地点でM7.7の地震がありました。 ndjust.in/TyKxuJ8s #NewsDigest

RE: c.osumiakari.jp/notes/a5w0jexyahh6qrth

OpenAI is using Studio Ghibli-style memes as an ad hoc promotional campaign for its new image generator—despite Ghibli founder Hayao Miyazaki's famous hatred of AI. Sam Altman even made his X avatar a 'Ghiblified' portrait.

Disgracing Miyazaki is part of the point: It's more proof to the industry's biggest boosters that they have won—that they're free to use, appropriate, and commoditize art however they see fit.

https://www.bloodinthemachine.com/p/openais-studio-ghibli-meme-factory

ミャンマーで大地震 タイ･首都バンコクでも高い建物を中心に激しい揺れ 被害の報告多数 ndjust.in/jf3ADWar #NewsDigest

ミャンマーで大地震 タイ･首都バンコクでも高い建物を中心に激しい揺れ 被害の報告多数 ndjust.in/jf3ADWar #NewsDigest

Arctic sea ice sets a record low maximum in 2025

Link: https://nsidc.org/sea-ice-today/analyses/arctic-sea-ice-sets-record-low-maximum-2025
Discussion: https://news.ycombinator.com/item?id=43499966

[속보] 영덕 산불 드디어 다 잡았다…나흘 만에 진화율 100%

https://www.hani.co.kr/arti/area/yeongnam/1189464.html

해...해치웠나?

back on omg.lol! I think I’m here to stay 😅

I love the vibes on it, much more interesting than mstdn.social, never mind all the fun extra stuff you get with it!

#mastodon #omgdotlol

얘는 저희집 수제 돼지 인형이에요

트럼프 : 아니 시그널이 제대로 작동 안하는거 아뇨?

https://www.youtube.com/watch?v=7ocvMjfoGYU

아니 국가 기밀을 사제 메신저로 전달하다 유출된 건을 시그널 탓으로 돌린다굽쇼...?

건곤대나이 그렇게 쓰는거 아니야;;

마코 루비오 미국 국무장관이 ‘친팔레스타인’ 활동과 관련해 현재까지 외국인 유학생 최소 300명의 비자를 취소했습니다. 루비오 장관은 기자회견에서 “나는 그 수가 더 많아지길 바란다. 언젠가는 모두 추방해 더는 남지 않기를 희망한다”며 강경한 입장을 드러냈습니다.

미 국무장관 “유학생 최소 300명 비자 취소…더 늘어...

ミャンマーは国があんな状況なので心配だな

/ ミャンマーでM7.7の地震 日本への津波の影響なし | NHK https://www3.nhk.or.jp/news/html/20250328/k10014763721000.html

全社グルチャで、誰かが総務部長に帰っていいか聞き、大文字でダメと言われ、震源遠いから大丈夫事務所に戻って普通に仕事しなさい、という連絡が総務部員から流れている。ホーチミン市のほうが揺れは大きかったぽい。
※更新
結局総務部長から全員に、午後は在宅勤務にしてもいいよメールが来た。定時まで2時間15分時点。

震源ミャンマー、マグニチュード7.3
https://vnexpress.net/dong-dat-hon-7-do-o-myanmar-viet-nam-rung-lac-4867036.html

"La tolerancia llegará a tal nivel que las personas inteligentes tendrán prohibido pensar para no ofender a los imbéciles."

Frase atribuida a Fiódor Dostoyevski (1821-1881).

Using uv and PEP 723 for Self-Contained Python Scripts

Link: https://thisdavej.com/share-python-scripts-like-a-pro-uv-and-pep-723-for-easy-deployment/
Discussion: https://news.ycombinator.com/item?id=43500124

Readings shared March 27, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/27-readings_shared_03-27-25 #CLP #Coq #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Logic #LogicProgramming #Math #ProgramaciónFuncional #Prolog #Rocq #TeXLaTeX

트럼프 : 아니 시그널이 제대로 작동 안하는거 아뇨?

https://www.youtube.com/watch?v=7ocvMjfoGYU

아니 국가 기밀을 사제 메신저로 전달하다 유출된 건을 시그널 탓으로 돌린다굽쇼...?

건곤대나이 그렇게 쓰는거 아니야;;

ミャンマーは国があんな状況なので心配だな

/ ミャンマーでM7.7の地震 日本への津波の影響なし | NHK https://www3.nhk.or.jp/news/html/20250328/k10014763721000.html

A Deep Dive into Fediverse Moderation Now and in the Future

@thisismissemEmelia 👸🏻 has been working with Mastodon and beyond for many years now on Trust & Safety issues and tools for content moderation. She has written what I believe is one of the most comprehensive guides as to what is currently possible as well as future areas of improvement.

When it comes to the #Fediverse we all have a role to play in investing awareness—and perhaps more—into what’s at stake.

https://theinternet.review/2025/03/27/a-deep-dive-into-fediverse-moderation-now-and-future/

[속보] 영덕 산불 드디어 다 잡았다…나흘 만에 진화율 100%

https://www.hani.co.kr/arti/area/yeongnam/1189464.html

해...해치웠나?

そんなに凝ったものは作ってないけど美味しいからよし

料理、楽しい

そういえば猿側さんは何曜日がすいてるんだろう

見出しに自動生成されるidの--から後ろの部分、見出しの文字が含まれるけど、日本語の濁点や半濁点が消えるね。『ドメイン』が『トメイン』になる。NFD絡みか。消えないで欲しい。

We need ForgeFed now.

구인배수 0.28은 미친 수치임.

100명 중 무려 72명이 대한민국 땅에선 승산이 없어서 놀거나 해외 나갈 결심을 해야한다는 뜻....

Ouch, this sent a chill down my spine. [Tl;dr: GitHub locked a repo apparently because one of its contributors was in a US-sanctioned region]:

1. https://mastodon.social/@organicmaps/114155428924741370
2. https://mastodon.social/@organicmaps/114233788700982882

@richlvRihards Olups @thibaultmolThibaultmol 🌈 @drdelleDetlef Steuer @fabiuxFabio Pani @forgejo @Codeberg