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.
50 years of proof assistants. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #ITP #IsabelleHOL #CoqProver #HOL
GS 마녀스프. 포장지 보고 굴라시/보르시치 맛이 날 거라고 예상했고 그 예상이 맞아떨어졌다. 먹고 남은 건 엄마표 알리오올리오에 부어서 재탕.
22時半を過ぎていて
c'est l'histoire de deux mathématiciens qui rentrent dans un bar. le premier dit à l'autre: "𝟋" . et l'autre répond: "gamma?"
오늘 하루를 빛내는 10가지 마음의 지혜
1. 작은 성공도 축하하기
2. 완벽함을 추구하지 않기
3. 긍정적인 마인드 유지하기
4. 감사함 느끼기
5. 자신을 믿고 존중하기
6. 실수를 두려워하지 않기
7. 현재에 집중하기
8. 새로운 도전 시도하기
9. 타인의 말에 상처받지 않기
10. 자신의 내면의 평화 찾기
まだチョジヌン引退ショックがもやもや
大ファンというわけでもないけど、自分の中で消化しきれないことが多い。
私の価値観だと、未成年時の犯行によって30年後でも引退レベルの代償を伴う必要があるのは、殺人や性暴力事件である場合。彼が俳優業やユンソギョル批判、独立運動を称える活動によって社会的な尊敬を集めることで、被害者が精神的にダメージを受けるのは当然だから。
でも本人は性暴力については完全否定している。その主張が本当だったら？
そして、犯罪をおかして今立ち直ろうとしている韓国の少年たちに、この光景はどう見えるのか。今後どれだけ努力して成功しても、過去を暴かれたら結局は一瞬ですべて消えてしまうんだ、もう自分はこれから努力したって反省したって意味がないんだと、そんなふうに感じないだろうか。
写真サークル総会
飲みすぎた
楽しすぎた
@EUCommissionEuropean Commission
Are you still on X after what the company's self-proclaimed god-king recently tweeted?
Hello dear mastodon friends, wishing you joy and calm today! 💛
Pixelfed has always been and will always be a platform that centers photos and creative artwork first and foremost.
It is deliberately not a microblogging platform, there are plenty of other microblogging platforms.
The criticism? I hear it. But we're not backing down from our vision.
Photo sharing first, foremost and forever.
It Is Worth It To Optimize Images For Your Site https://lobste.rs/s/ml4som #web
https://brainbaking.com/post/2025/10/is-it-worth-it-to-optimize-images-for-your-site/
Let's reframe Elon Musk's tweet a bit: X should be abolished and sanity returned to the world wide web, so that some billionaire can no longer throw his bullshit at the people.
학점부도의 날
I'M F
Hello dear mastodon friends, wishing you joy and calm today! 💛
Our 
@pixelfed community is incredible, defending our project while pushing it forward.
I'm committed to listening more. But let's be clear: we're not just fixing bugs. We're dismantling Big Tech's stranglehold on social media.
Pixelfed is sawing off Instagram's branch to plant something better: a platform owned by its users, not corporations.
❤️
本日も
でした
Now that it's consistently below freezing we can experiment with making ice outside. First attempt with a shallow plastic cylinder, but only the top and sides really froze after 12 hours.
Last year I used a little goat cheese “pyramid” container and got a wide variety of results (2nd & 3rd photo). I think distilled water produces the clearest ice. No idea on what causes the spiky air bubbles.
「畏って候」と言わんかい？無礼千万じゃ。（15世紀人並み感）
I've improved federation support for Lemmy and other servers that support FEP-1b12 Group Federation.
I had to increase the number of available file descriptors on my personal server 4x because of the resultant inbound volume of ActivityPub activities! I liked a federated post and DOSed my server.
During WWII, the French called American soldiers “les sommobiches” because, well, that’s what they said all the time.
In the Hundred Years’ War, the French called English invaders “goddamns” for the same reason.
When Vikings seized Normandy and settled in 918, vociferously adopting Catholicism and shouting “bi God!” to prove their piety, the French called them *bigots*.
“Bigot” means and has always meant “an asshole whose shallow piety is only a rhetorical device for cynical validation.”
커피 Advent calendar를 하루하루 빠짐없이 마시면서 느끼는 점은 역시 공통분모가 있으면서도 조금씩 다른 경험을 해보아야 각각의 다른 점을 분명하게 체감할 수 있는 점이랄까… 제대로 비교하려면 한 번에 여러 원두를 내려놓고 한 스푼씩 마셔보며 비교해야 겠지만 매일매일 다른 커피를 마셔보는것으로도 좋은 경험이 된다.
Ph.D in Polluting The Internet with Certain Meaningless Posts
こんな朝もあったな。
사실 난 자식이 부모를 봉양할 의무는 없다고 생각한다. 부모가 자신들의 선택에 의해 자식을 낳았으니 아이가 안정적인 환경에서 성인으로 자랄 때까지 책임지는 건 당연하다. 하지만 자식은 자신의 선택으로 세상에 나오지 않았다. 그렇기에 부모를 봉양하는 건 의무가 아니라 자신에게 아낌없이 사랑을 베풀어준 부모에 내한 보답, 혹은 사랑하는 마음이 우러날 때 기꺼이 하는 일이라고 생각한다. 그래서 누구에게나 늙으면 자식이 있어야 한다는 그 말에 내포된 뜻과 무게에 동의하지 않는다.
-은서란『친구를 입양했습니다』중에서
"MacKenzie Scott demonstrated the power of trusting grantees. Here in the Second Gilded Age, we need to model her sense of urgency and transparency. What is the point of so much concentrated wealth if it isn't improving the world?" From the Nov/Dec issue of the Chronicle of Philanthropy, page 10. https://www.philanthropy.com
※次に「くわがたくんは働かないんでヤンスか？」と言う
The Course of Empire is a series of five paintings created by the English-born American painter Thomas Cole between 1833 and 1836, which depicts the growth and fall of an imaginary city. The Course of Empire comprises the following works: The Course of Empire – The Savage State (1); The Arcadian or Pastoral State (2); The Consummation of Empire (3); Destruction (4); and Desolation (5).
via metamorphesque
※次に「くわがたくんは働かないんでヤンスか？」と言う
My car charger can boil water really fast [video]
Link: https://www.youtube.com/watch?v=INZybkX8tLI
Discussion: https://news.ycombinator.com/item?id=46075126
ﾌﾟﾚｾﾞﾝﾄ届いてたので今週中にありがとうしたい～～～～～！！！ありがとう！
Affinity のデータマージ機能（エクセルとか CSV とかのデータを元に情報違いのデザインを一括生成する機能）、自分はこれまであんまりお世話になったことなけど、今日始めて試用したら結構感覚的に使えそう 
50 years of proof assistants. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #ITP #IsabelleHOL #CoqProver #HOL
There is so much censorship in the EU that 7 of the 8 countries with the most freedom of the press are EU member states.
床に就いた途端、
何かのスイッチ入ったかどうか知らんけど先週あった嫌な事が脳内エンドレスリピートし始めて、寝るに寝られなくなってもた…
LOOK WHO MOVED IN❣️🎄😍
So happy to have received a #plushtodon as a gift. I love it already and promise to take good care of it. Plushtodon in Copenhagen, soon on the way to Sønderborg, where it will live happily ever after.
No matter how attractive the newest iPhone is, it can never beat the beauty of freedom: https://www.fsf.org/campaigns/apple
Too short ?
#cats #猫 #chats #caturday #FediCats #MastoCats #CatsOfMastodon
The syncthing-android fiasco tells me one simple truth: Github solved none of the issues facing open source software distribution. No one can decide if the new repos are safe, why the original repo disappeared, nor what happened to the original author. The signing keys have apparently been granted to a new maintainer in a new repo, and yet there is zero trust that this ins't a prelude to a new version of syncthing for Android that will be filled ads, tracking, and worse.
Bulhwi Cha
Cat 🐈🥗 (D.Burch) 
GENKI
just small circles 🕊
Jeff Atwood
DevelopersIO 
BOOTHあります
Frédéric Jacobs
Eugen Rochko
