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.
Besser spät als nie:
Aufruf von anna elbe - Unterzeichnet #HamburgWerbefrei !
Es gibt viele, viele Gründe dafür: #Meinungsmacht und #Datenmissbrauch, #Umweltschutz und #Klimawandel - und noch mehr
Ein paar davon findet Ihr jetzt auch hier:
https://annaelbe.net/0-SP/datenschutz-weiteres-hwf.php
NUR NOCH WENIGE TAGE! Unterzeichnet jetzt!
🖌 ...아니 아무리 복각하면서 폰트까지 재현하기 쉽지 않다지만 저건 좀....
おひるねしてた
How do undergraduates do mathematics? (A guide to studying mathematics at Oxford University). https://www.maths.ox.ac.uk/system/files/attachments/study_public_0.pdf #Math
Noch Listen da, aber keine Zeit, zur #Caffamacherreihe zu fahren?
Hier stehen unsere anderen Last-Minute-Abgabeorte. Jetzt für alle Bezirke.
やる気が起きずにダラダラしてたら何もせずに一日が終わりそう
阪急マルーン懐かしいな
한덕수도 수고 김문수도 수야
A tool to verify estimates, II: a flexible proof assistant. ~Terence Tao. https://terrytao.wordpress.com/2025/05/09/a-tool-to-verify-estimates-ii-a-flexible-proof-assistant/ #ITP #Python #Math
リハビリ戻って来たらお茶が来た。もう夕飯。今日は針が1本も無かった。良い日だったんだよ。さてお夕飯は肉野菜うま煮風、中華はアタリ。
ちなみに地酒が有名です尼崎 地酒 検索
5월 24일(土) 한국 연합우주 개발자 모임(FediDev KR)에서 두 번째 스프린트 모임을 개최합니다! 장소는 뚝섬역 5번 출구쪽에 위치한 튜링의 사과(
@TuringAppleDev튜링의 사과)입니다.
참고로 스프린트 모임이란 함께 모여서 오픈 소스 코딩을 하는 자리인데, 한국 연합우주 개발자 모임의 스프린트에서는 새로운 연합우주 서비스나 앱을 개발하거나, 번역이나 문서에 기여하는 등 연합우주와 관련된 다양한 오픈 소스 활동을 모여서 함께 합니다. 지난 스프린트 모임의 기록을 스프린트 블로그(
@sprints.fedidev.kr한국 페디버스 개발자 모임)에서 살펴보실 수 있습니다.
저는 그날 Fedify, Hollo, Hackers' Pub에 기여하시고자 하는 분들을 옆에서 도와드릴 예정입니다. Fedify, Hollo, Hackers' Pub에 기여해보고 싶었던 분들이 계시다면 모임에 참가하여 저와 함께 스프린트를 해보는 것도 좋을 것 같습니다.
이번 모임에 관심이 있으신 분은 행사 신청 페이지를 참고하시기 바랍니다.
5월 24일(土) 한국 연합우주 개발자 모임(FediDev KR)에서 두 번째 스프린트 모임을 개최합니다! 장소는 뚝섬역 5번 출구쪽에 위치한 튜링의 사과(@TuringAppleDev튜링의 사과)입니다.
참고로 스프린트 모임이란 함께 모여서 오픈 소스 코딩을 하는 자리인데, 한국 연합우주 개발자 모임의 스프린트에서는 새로운 연합우주 서비스나 앱을 개발하거나, 번역이나 문서에 기여하는 등 연합우주와 관련된 다양한 오픈 소스 활동을 모여서 함께 합니다. 지난 스프린트 모임의 기록을 스프린트 블로그(@sprints.fedidev.kr한국 페디버스 개발자 모임)에서 살펴보실 수 있습니다.
저는 그날 Fedify, Hollo, Hackers' Pub에 기여하시고자 하는 분들을 옆에서 도와드릴 예정입니다. Fedify, Hollo, Hackers' Pub에 기여해보고 싶었던 분들이 계시다면 모임에 참가하여 저와 함께 스프린트를 해보는 것도 좋을 것 같습니다.
이번 모임에 관심이 있으신 분은 행사 신청 페이지를 참고하시기 바랍니다.
How to (actually) prove it - New frontiers of mathematics & computing in Lean. ~ Kiran. https://kirancodes.me/posts/log-how-to-prove-it-maths.html #ITP #LeanProver #Math
@risa2りさ姉@V2β 明日って八王子は雨？
I've just finished reading this blog post regarding the markdown Syntax by RL Dane
He is also given a brief history of the Computing Hardware and software that he has used ever since he was a little Padawan.
The blog post is just a few minutes to read and you shall learn something good from it.
TLDR is; use {smackdown} markdown for everything you write that needs formatting and be truly platform independent in your formatted text creation.
When you truly understand what he means, it is literal total freedom with formatted text and you don't even need to learn tex or LaTeX, since you will not be writing a book.
When you do that you will have to read my posts regarding tex and LaTeX, and those are blog posts I haven't released.
For me markdown has been important, ever since I was working on waffle bulletin boards many many decades ago
*Bold* _underline_ /italic/ was the syntax that we used back then.
Our waffle bulletin board had a special text formatting routine which Made these codes look like they were actually bold underline and italic when we were viewing those emails.
On the #AmIRC channel on Dalnet we also had a formatting routines for our clients, mine was AmIRC that converted these codes in a similar fashion.
So in true Essence markdown has been with us for a very very long time; we just didn't call it markdown then but we made sure that our text formatting had nothing to do with the computer platform we happen to be typing on.
https://rldane.space/why-i-love-markdown.html
5월 24일(土) 한국 연합우주 개발자 모임(FediDev KR)에서 두 번째 스프린트 모임을 개최합니다! 장소는 뚝섬역 5번 출구쪽에 위치한 튜링의 사과(@TuringAppleDev튜링의 사과)입니다.
참고로 스프린트 모임이란 함께 모여서 오픈 소스 코딩을 하는 자리인데, 한국 연합우주 개발자 모임의 스프린트에서는 새로운 연합우주 서비스나 앱을 개발하거나, 번역이나 문서에 기여하는 등 연합우주와 관련된 다양한 오픈 소스 활동을 모여서 함께 합니다. 지난 스프린트 모임의 기록을 스프린트 블로그(@sprints.fedidev.kr한국 페디버스 개발자 모임)에서 살펴보실 수 있습니다.
저는 그날 Fedify, Hollo, Hackers' Pub에 기여하시고자 하는 분들을 옆에서 도와드릴 예정입니다. Fedify, Hollo, Hackers' Pub에 기여해보고 싶었던 분들이 계시다면 모임에 참가하여 저와 함께 스프린트를 해보는 것도 좋을 것 같습니다.
이번 모임에 관심이 있으신 분은 행사 신청 페이지를 참고하시기 바랍니다.
Selbst Sachsens Innenminister Schuster behauptet, für einen erfolgreichen AfD-Verbotsantrag brauche es AfD-Pläne für Umsturz oder Gewalt. Das sind aber nicht die Voraussetzungen, nach denen das Bundesverfassungsgericht urteilt, erklärt Jurist Bijan Moini. https://www.volksverpetzer.de/faktencheck/afd-gewalt-umsturz-verbotsantrag/?utm_source=mstdn
Welp, I guess it's a good thing I didn't act on a recent impulse to upload some new music to #SoundCloud. I haven't used the platform in many years, but given how hard it is to promote music at all without using Meta platforms + YouTube, I thought maybe Soundcloud could be a worthy option.
Never mind! 🤪
@jaredwhiteJared “Indie Social Web” White have you checkout https://codeberg.org/simonrepp/faircamp at all? Promotion without the platform, hopefully.
Welp, I guess it's a good thing I didn't act on a recent impulse to upload some new music to #SoundCloud. I haven't used the platform in many years, but given how hard it is to promote music at all without using Meta platforms + YouTube, I thought maybe Soundcloud could be a worthy option.
Never mind! 🤪
[생성형 AI가 창작 노동에 미치는 영향에 관한 설문]
라는 설문조사를 한다고 합니다
문화연대 소속 교수님이라 하네요
창작노동자분들...ㄱㄱ...
https://docs.google.com/forms/d/e/1FAIpQLSerWUaTq_LN3_KAWoCJ7_2MjYUjcaH28j_EHmPpHb4u49Zyfw/viewform
여우신령 5~7살때까진 빙그레이글스 있었어요.
Warning: Tim O'Reilly of O'Reilly Media now wants every human programmer to be replaced by Gen AI. Tim O'Reilly/company policy on book editing and writing went from "avoid Gen AI" to "you must use Gen AI as much as possible, we will monitor you through KPIs to use it as much as possible. So avoid O'Reilly books. Support an indie author. Plenty of them out there who write and sell books. No need to support corporate overlords. Source https://www.reddit.com/r/programming/comments/1kimr4a/warning_tim_oreilly_of_oreilly_media_now_wants/ #ai
尼崎市では臨海部において明治後半から工業化が進み、運河等による物流が盛んになると共に、工場による地下水の汲み上げが続けられてきた。その結果地盤沈下が発生し、市内の約1/3（特に南部地域）が海面よりも低い「ゼロメートル地帯」となり、1934年（昭和9年）の室戸台風や1950年（昭和25年）のジェーン台風等による浸水被害を受けるようになった。
으.. 면치기 드러 ......
しゅいろおねえちゃんいた！
ながいあくま2(差分 をfanboxで公開しました！
https://onibicat6016.fanbox.cc/posts/9859379
しゅいろおねえちゃんの写真見てみたい
つよそう
時間単位、秒なんだ…
저녁뭐먹지
我真是幸運的人(⁎⁍̴̛ᴗ⁍̴̛⁎)
早上跑一間抽兩次都不是黑尾，
但隔壁桌給我一張！
中午又跑去主題店，抽了一次，又是集合！
和別人成功換到黑尾！！！
今天成就達成！
헐!!! 감튀트럭 끝났대
"Ich habe keine Probleme, im Mischverkehr"
"Ich finde die Meckerei über die Radwege übertrieben"
(Radfahrer, männlich, 35 Jahre alt)
Burschi, es geht nicht um dich und deine Empfindlichkeiten als männlichen Best-Ager. Es geht vor allem um deine Kinder und Eltern und die von anderen Mitbürgern. Es geht auch um Frauen, es geht auch um "Angsthasen", die zumindest aus Angst ohne Radinfra auf Gehwegen fahren.
なので洪水には弱いとされているのですが
つよつよ排水ポンプが排水機場にたくさん存在しているおかげで生きております
RE: https://misskey.shinanomai.xyz/notes/a7ljcdurmcep00n8
明日の文フリ向けの短歌集できた。
9冊しかないよ
みゃー
僕は部下やチームメンバーが「この仕事たのしいです！！」って言っていたら、「ぐへへへ、今は楽しくてもこれからもっと苦しい仕事がまってますからねぐへへへ」とか言うタイプの上司だよ。
もし尼崎閘門(尼ロック)が存在しないとJR東海道線以南の土地は存在しなくなるとされています
絵上手くならんと思って昔の絵見返すと下手すぎて笑うから上手くはなってるんだよな
絵上手くならんと思って昔の絵見返すと下手すぎて笑うから上手くはなってるんだよな
<svg>ではaltが使えないからaria-labelはロジックをすっ飛ばしている - 水底の血
メイドの日なので、よそのこ 鵲霧鳥ちゃんのメイド服姿を描きました、。
🛑 Due to security policy violations and a packaging bypass, #openSUSE is removing the #Deepin #Desktop from Tumbleweed and Leap 16.0. Read the full story: https://linuxiac.com/opensuse-removes-deepin-desktop-over-security-policy-violations/
写真展に出す写真3枚くらいは撮れてるけど納得のいくもう一枚が撮れない
Quincy
상어학산타 
Lionhairdino
Jaeyeol Lee
@
🍵
GENKI
🦊 
MJ+
Fahrradpendler 
（仮）
しゅいろ