What is Hackers' Pub?

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.

0
0
0
0
0
0
0
0
0

This morning I gave an answer to a MathOverflow question using traditional pen-and-paper analysis: mathoverflow.net/a/489533/766 . The answer was not in closed form, so I wanted to simulate it approximately. At this point I asked o3-mini-high for some code for this. Interestingly, it first declared that the quantity I was trying to compute was infinite (it wasn't), but nevertheless provided numerical code which did give a rough approximation to the quantity I wanted (to one decimal place): chatgpt.com/share/67d71204-351 . At that point I figured out that one should use the theory of Markov chains to get a more precise answer and asked o3-mini-high first for a theoretical formula, and then code to compute the result. Interestingly, it was able to correct a basic error in the prompt (I had written max instead of min when writing a truncation), and gave me perfectly good code, which I was able to adapt to then give a more numerically precise answer to the MO question.

So all in all a pretty good assist from o3; it made a mistake that I corrected, but I also made a mistake that it corrected, and code that would have taken perhaps an hour of my time on my own was generated, tested, modified, and reported in maybe ten minutes.

0
0
0
0
0
0
0

La protection de la nature devrait être une priorité pour les humains s'ils veulent continuer à exister (la planète continuera à tourner sans eux) !
La nature & les inégalités de notre société souffrent du même mal : cupidité & égoïsme ont pris le pas sur le respect du bien commun.

0
0
0
0
0
0

Marp — if you want to use Markdown to create presentations, this might be a good place to start

It's entirely open source, though you only get two tools: CLI MD -> HTML and VS Code extension. The CLI is pretty good at taking Markdown and turning in into an HTML slide deck. I much prefer iA Presenter though, which is not open source, but also not horribly expensive.

marp.app

0
0
0
0
0
0
0

WOW - The French government announced a new OSS project simply called Docs:

“A collaborative note taking, wiki and documentation that scales. Built with Django and React. Opensource alternative to Notion or Outline."

It’s even offline-first, using the CRDTs under the hood (Y.js).

LOL, does this mean I get to roll out the

"Liberté, Egalité, CRDTé”

Dad joke?

I think it does. Link below:

docs.numerique.gouv.fr/

V interesting joint project between DINUM (🇫🇷) and Zendis (🇩🇪)

0
0
0
0
4
0
0

[다시! 광장에서 싸우는 페미니스트 릴레이 대자보]

여성은 인간이 되기 위해 치열하게 투쟁해 왔습니다.
우리는 여성의 생존권을 위해, 참정권을 위해, 인권을 위해 목숨을 걸고 투쟁해 온 역사의 수혜를 입고 있습니다.
그 수혜를 지키고 전진하도록 투쟁하겠습니다.
역사의 진보를 믿으며, 역사의 변화 발전을 믿으며 수많은 페미니스트들과 광장에 서겠습니다.

[다시! 광장에서 싸우는 페미니스트 릴레이 대자보]

여성은 인간이 되기 위해 치열하게 투쟁해 왔습니다.
우리는 여성의 생존권을 위해, 참정권을 위해, 인권을 위해 목숨을 걸고 투쟁해 온 역사의 수혜를 입고 있습니다.
그 수혜를 지키고 전진하도록 투쟁하겠습니다.
역사의 진보를 믿으며, 역사의 변화 발전을 믿으며 수많은 페미니스트들과 광장에 서겠습니다.

#나는다시광장에서싸운다 #페미니스트의힘으로 #다시윤석열구속 #다시모이자광장으로 #내란세력뿌리뽑자 #윤석열OUT성차별OUT #성차별주의자윤석열을감옥으로

윤석열OUT 성차별OUT 페미니스트들윤석열 구속 취소, 윤석열 석방
눈을 의심하고 귀를 의심했습니다. 3.8세계여성대회 기념 제40회 한국여성대회가 있던 날 너무 황당한 소식을 접했습니다. 12월 3일 비상계엄 이후 우리는 광장에 나갔고 수많은 사람들이 응원봉을 들고 발 디딜 틈 없이 광장을 메꿨지만 너무 당연한 윤석열 국회 탄핵은 당연하지 않았고 백만이 넘는 사람들이 가슴을 졸이며 윤석열 국회 탄핵 결과를 지켜봐야 했습니다. 윤석열 국회 탄핵 이후 윤석열 구속이 너무 당연하다고 생각했지만 우리는 매우 추운 날 키세스가 되어 버텨내야 했습니다. 이제 파면만 남았다고 생각했는데 석방됐습니다. 파면은 당연하다 생각했는데 이제 당연하지 않을 수 있구나라는 위기감이 듭니다.

여성들과 함께 광장에 섰습니다
매주 토요일마다 범시민대행진에 함께 했습니다. 비상계엄이라는 역사책에서나 봤던 일을 실제로 마주하고 가만히 있을 수 없었습니다. 매주 토요일 국회와 동십자각에서 광장을 지켰고 평일에는 지역 활동가 및 주민들과 노원주민 시국선언 캠페인을 진행했습니다. 우리들의 실천은 역사를 올곧은 방향으로 만들어 가고 있다는 벅참과 확신이 되어 고된 몸을 일으켜 세웠습니다.

광장에는 다양한 정체성이 함께 합니다.
정체성을 밝히는데 두려움이 없습니다. 광장에서 듣는 발언 하나하나는 정말 놓치고 싶지 않은, 저에게 깨달음을 주고 울림을 주는 교육의 장이었습니다. 탄핵 너머 우리가 만들어 갈 사회를 꿈꾸고 그리고 얘기하는 것이 참 좋았습니다. 그동안 차별과 혐오, 착취와 억압으로부터 벗어난 사회, 생각만으로도 행복하고 하루빨리 만나고 싶은 사회입니다.

투쟁하는, 싸우는 여자가 이깁니다
2030 여성들이 광장에 많이 나오는 이유, 우리 사회에서 여성에 대한, 특히 2030 여성에 대한 차별과 혐오가 심하기 때문입니다. 여성은 인간이 되기 위해 치열하게 투쟁해 왔습니다. 우리는 여성의 생존권을 위해, 참정권을 위해, 인권을 위해 목숨을 걸고 투쟁해 온 역사의 수혜를 입고 있습니다. 그 수혜를 입고 가만히 있는 것의 결과는 그 수혜의 후퇴입니다. 그 수혜를 지키고 전진하도록 투쟁하겠습니다.

역사의 진보를 믿으며, 역사의 변화 발전을 믿으며 수많은 페미니스트들과 광장에 서겠습니다.

박미경 노원여성회 회장

[다시! 광장에서 싸우는 페미니스트 릴레이 대자보]

평등한 광장에 나오는 것이 정말 즐거워서 시민 자원봉사단에도 참여하게 되었습니다.
윤석열이 석방되고 그동안 광장에 나오지 않던, 평등수칙을 잘 모르는 분들이 집회에 참여하면서 속상한 일들이 많았죠.
더 많은 분들에게 평등수칙을 전파할 수 있는 기회라고 생각하고 다시 평등한 광장을 만들기 위해 힘냅시다!

다시! 광장에서 싸우는 페미니스트 릴레이 대자보

평등한 광장에 나오는 것이 정말 즐거워서 시민 자원봉사단에도 참여하게 되었습니다.
윤석열이 석방되고 그동안 광장에 나오지 않던, 평등수칙을 잘 모르는 분들이 집회에 참여하면서 속상한 일들이 많았죠.
더 많은 분들에게 평등수칙을 전파할 수 있는 기회라고 생각하고 다시 평등한 광장을 만들기 위해 힘냅시다!

선이 시민 자원봉사단

#나는다시광장에서싸운다 #페미니스트의힘으로 #다시윤석열구속 #다시모이자광장으로 #내란세력뿌리뽑자 #성차별주의자윤석열을감옥으로 #윤석열OUT성차별OUT페미니스트들 저는 지난 3월 8일까지 매주 토요일이 오기만을 기다렸습니다. 페미니스트가 활개를 치고 다닐 수 있는 평등한 광장이 정말 좋았거든요. 누구든 무지개 아이템을 두르고 다니고 자신의 정체성을 마음껏 밝힐 수 있는 광장에서 고래가 참았던 숨을 트듯 숨겨왔던 저 자신을 드러낼 수 있었습니다. 이런 광장을 만들어준 분들, 평등한 문화를 퍼뜨려주는 분들에게 감사하고 저도 이 광장을 유지하는 데 기여하고 싶어서 시민 자원봉사단에 참여하게 되었습니다.

그런데 윤석열이 석방되고 그동안 광장에 나오지 않던, 평등수칙을 잘 모르는 사람들이 광장에 나오면서 많은 문제가 발생했습니다. 성소수자 혐오 발언을 하고 여성이거나 여성으로 패싱되는 사람들을 성희롱하고 기수들을 공격하고 행진하면서 욕하고 어려 보이는 사람을 함부로 대하고 소수자의 발언을 막고 집회 현장에서 난동을 부리는 등 평등수칙을 위반하는 행위들을 직접 보거나 전해 들으면서 참 많이 속상했습니다. 진보하는 건 더디고 힘겨운데 퇴보하는 건 왜 이렇게 순식간일까요? 너무 화가 나서 하소연했더니 플랫폼C의 민희님이 12월 7일 페미당당의 심미섭님 발언에 대한 야유와 한강진 키세스 집회 첫날 트랜스젠더에 대한 혐오에 잘 대응해서 분위기를 바꿀 수 있었던 것처럼 이번에도 잘 이겨내 보자고 하시더라고요. 그렇죠. 뭐 하나 갑자기 쉽게 얻어낸 것은 없었습니다. 퇴진집회 스크린에 평등한 집회를 위한 약속문을 올린 것도 [윤석열즉각퇴진 사회대개혁 비상행동] 명칭에서 국민을 뺀 것도 광장에 무지개 깃발이 넘쳐나는 것도 하물며 집회 현장에 쓰레기 분리 수거함을 마련한 것도 누군가가 포기하지 않고 싸운 덕분입니다.

저는 이번 일을 더 많은 사람들에게 평등수칙을 전파할 수 있는 기회라고 생각하려고 합니다. 침묵하거나 회피하지 않고 당당하게 평등수칙을 준수할 것을 요청할 것입니다. 윤석열로 대표되는 혐오가 만연한 사회로 돌아가지 않을 거라고 외칠 겁니다. 우리는 다시 평등한 광장을 만들 수 있습니다. 다 같이 힘냅시다!

왜 윤석열을 탄핵해야 하는지, 탄핵 후의 사회가 어때야 하는지를 보여줘서 제가 가장 좋아하는 행진 구호를 광장에서 함께 힘껏 외쳐주세요.

노동자를 탄압했던 윤석열 퇴진하라!
성소수자를 차별했던 윤석열 퇴진하라!
구조적 성차별이 없다고 했던 윤석열 퇴진하라!

- 선이(시민 자원봉사단)
0
0
0

Mastodonがこの世界に誕生して、9年が経過しました。

Mastodonの最初のサーバであるmastodon.socialが動きだし、Mastodonを生み出したEugen Rochkoさんによって、最初に行われた投稿はこちらです。
mastodon.social/@Gargron/1

ドイツの現地時間で2016年3月16日15時44分31秒

日本時間では2016年3月16日23時44分31秒

ちょうど9年と2時間過ぎたところですね。 [参照]

0

Someone reminded me today 9 years ago I submitted my first post on Mastodon—using curl on the command line, since there was no interface at the time. That's how the journey began! 9 years is a long time to be doing something. Those early years are still fresh in my mind though.

0
0
0

Hello Mastodon, here is my belated - I am new not only to Mastodon, but to this kind of social media altogether.

I am a big enthusiast, German communist, weirdo, he/him pronouns. I recently set up this server here, with a and instance alongside this one. The former are the platforms I usually use. All three platforms are open to registrations from interested people.

The interface is telling me I am running out of characters, how to communicat

0
0

C'est officiel, la Velvelyne est SORTIE.
Velvelyne créé par @marielnils et moi même est dispo sous la licence CUTE, écrite par Bye Bye Binary.
Son squelette a été conçu par un script imaginé par @grifi✺,.:⸨ 𝕲𝖗𝖎𝖋𝖎 ⸩:.,✺ Répondant à l’orchestration de @raphaelRaphaël Bastide les formes ont germé du caractère Liberation Sans. Mariel et moi avons ensuite pris soin de ce squelette, jusqu’à ce qu’il développe branches et excroissances. 4 graisses et des ligatures post-binaires 💌.

velvetyne.fr/fonts/velvelyne/

0
0
0
0
0
0

Someone reminded me today 9 years ago I submitted my first post on Mastodon—using curl on the command line, since there was no interface at the time. That's how the journey began! 9 years is a long time to be doing something. Those early years are still fresh in my mind though.

0
0
0

WOW - The French government announced a new OSS project simply called Docs:

“A collaborative note taking, wiki and documentation that scales. Built with Django and React. Opensource alternative to Notion or Outline."

It’s even offline-first, using the CRDTs under the hood (Y.js).

LOL, does this mean I get to roll out the

"Liberté, Egalité, CRDTé”

Dad joke?

I think it does. Link below:

docs.numerique.gouv.fr/

V interesting joint project between DINUM (🇫🇷) and Zendis (🇩🇪)

0
0
0
0
4
0

ハンバーガーと言えば

0
0
0
0
0
0

*düdeldüdeldüüüü* Weeeerbuuuung *düdeldüdeldü*

Für die ors und - Fans unter Euch: Ich konnte es kaum glauben, aber es gab noch keinen allgemeinen deutschsprachigen SciFi-Sub. Um das zu ändern gibt's jetzt reddit.com/r/de_SciFi/s/I4gQhb

EDIT: da der Link offenbar zwangsweise die App verlangt: der Sub heißt r/de_SciFi

Schaut mal vorbei und schreibt was. Langt schon, wenn ich im Job nur mit mir selbst erzähle 😃

0
0
0
0

When I was on the Windows accessibility team at Microsoft, I don't recall us spending any time trying to make UI Automation easier for third-party developers to implement correctly. I didn't begin to become aware of the pitfalls myself until two years into my time there, when I was fortuitously introduced to a third-party developer who wanted our help with their UIA implementation during the company Hackathon that year.

It's really tempting to retreat from this reality and dream of a future where AI magically solves everything, by enabling a screen reader in the literal sense, i.e. something that interprets the pixels on the screen. I've done this multiple times over the past couple of years, often with the help of an LLM, that is, writing escapist sci-fi stories where this happens one way or another. I'm trying to stop doing that, because I recognize the problems with both generative AI and escapism.

0
0

Special shoutout to the repair site iFixit who are now on the Fediverse, you can follow them at:

➡️ @iFixit

They provide repair forums and free repair guides for phones, computers, consoles, kitchen equipment, tools, medical devices, cars etc. They also review and tear down new gadgets to see how repairable they are.

Repairing your existing stuff is much, much better for the environment than buying replacements.

0
0
0
0
0
0
0

@ErictheCerise In this scenario, the US is massing troops and equipment on the border with clear indication for an invasion.

I don't know if there's a way out on US public opinion by that point. Ideally the foray is enough to take and hold some territory, so that American military might is focused on that point, not invasion.

As for allies, I agree that it's a major question. Canada would probably need to clear with NATO that preemptive strikes count as self-defence.

en.wikipedia.org/wiki/Preempti

0

聽說敵國反動媒體美國之音、自由亞洲就要關門了?朕龍心大悅!這些反動媒體長久以來對朕大清造謠抹黑、顛倒是非,乃朕之心頭大患,多位先皇絞盡腦汁也沒能達成的目的,今天居然被朕給實現了。此真乃大清朝廷的又一次偉大勝利!

感謝朕的好朋友川建國同志所做出的傑出貢獻,他日一定請建國同志來宮中喝酒慶祝!

0
0