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.
そろそろクリスマスも終わるしお正月アイコンにするか
작년 심사결과라는데 저. 가능성 있을까..?
1등이 그냥 시간비의존성 슈뢰딩거방정식이라니 하늘 봄
RE: https://bsky.app/profile/did:plc:msjb5rmnahqvjgacib6gcmwq/post/3mbdhrnhkps2p
Me 25 years ago: Holy fuck I just slammed out 1500 words about DNA recombination in an hour
Me now: Holy fuck I just slammed out 2500 words about the definition of PC compatibility in an hour
ERP?
I really lucked out being born and just not giving a fuck about having friends.
I never cared about it until I met people online and started having fun with them, but even still after all these years, I hardly crave social interaction the same way many people do. People are fun, but it's not like I go stir crazy if I'm alone too long.
Half the time, I talk cuz I'm bored or feel obligated to respond within a certain amount of time. That's something I have to work on, cuz it eats into my time more than I'd like. It's very easy to get sucked in to just reading and replying.
But yeah, I'm very good at keeping myself occupied. I'll watch videos, work on personal projects, play games, fap, nap, whatever. I'll stare at the floor for five minutes, I don't care. Sometimes that's just the mood, you need to stare at something boring for a while, just letting your brain exist.
I know people who are afraid to be alone with their thoughts, cuz it makes them depressed. Fortunately, I can't relate. My mind is a pretty fun place. It's not purely sunshine and rainbows. It can go anywhere from Teletubbies to Terminator. But it's a good playground and I'm not plagued by past regrets.
충북 옥천군의 인구가 4년 만에 5만명을 회복할 것으로 전망됩니다. 군은 올해 지급을 앞둔 농어촌 기본소득 효과라고 보고 있습니다.
15만원 기본소득 효과?…옥천군, 4년 만에 인구 5만...
An introduction to proofs and the mathematical vernacular. ~ Martin Day. https://personal.math.vt.edu/day/ProofsBook/ #Math
그록 괸련 대처법 다 실험 하신 일본 유저분이 있었는데 그냥 왠만하면 이미지 안올리는 게 낫다고 하시더라(....) 진짜 현 주인놈 닮아서 점점 망해가는...
올해는 팬시하고 팝한 걸 그리기로 마음 먹었습니다 세월이 하 수상하니 있는 힘껏 귀여운 걸 그리갰어
おそばおいしいです
작년 심사결과라는데 저. 가능성 있을까..?
1등이 그냥 시간비의존성 슈뢰딩거방정식이라니 하늘 봄
RE: https://bsky.app/profile/did:plc:msjb5rmnahqvjgacib6gcmwq/post/3mbdhrnhkps2p
31살 한국 수학자, 컴퓨터 의존 없이 ‘60년 난제’ 해결…세계가 놀랐다
https://www.hani.co.kr/arti/science/science_general/1237914.html
Open textbook library: Mathematics textbooks. https://open.umn.edu/opentextbooks/subjects/mathematics #Math
Jan 2026: NYC*BUG has 2 meetings!
Social at the regular place & time: Jan 7th 2026
The BrassMonkey -01-07-26@
18:45 local (23:45 UTC) - Backroom of Brass Monkey 55 Little West 12th St
January social; open mic for anyone.
https://brassmonkeynyc.com/18:45 local (23:45 UTC) - Backroom of Brass Monkey 55 Little West 12th St
And a BONUS video meeting with Peter 
@pitrhPeter N. M. Hansteen Hansteen: The Book of PF 4th edition, CRA, and a Q&A section. Jan 10th 2026. 13:00 local / 18:00 UTC
More info:
https://www.nycbug.org/
実家から新幹線で帰ってみたけど中々キツかったな、多少割高でも飛行機を使いたくなるね。
こんにちは〜！帰れ〜！
슬프게도 인간의 정신력은 세상의 모든 추악함과 절망을 있는 그대로 직시하고도 오늘을 살아남을 수 있을 정도로 강하지 않다...
やるきがでない.com
This chart shows the total number of Stack Overflow questions asked each month. As you can see, AI summaries in Google and AI coding tools have nearly killed the site. It is only a matter of time before the site shuts down completely. The golden age of independent news, blogs, forums, and specialized sites like Stack Overflow is over. Whether this is good or bad, only time will tell. Personally, I think we are now restricting all internet traffic to just a few Gen AI apps https://data.stackexchange.com/stackoverflow/query/1926661#graph
![This result shows s the total number of Stack Overflow questions asked each month. THE SQL query is https://data.stackexchange.com/stackoverflow/query/1926661#graph:
```
SELECT
DATEFROMPARTS(YEAR(CreationDate), MONTH(CreationDate), 1) AS [Month],
COUNT(*) AS [Questions]
FROM Posts
WHERE
PostTypeId = 1
GROUP BY
DATEFROMPARTS(YEAR(CreationDate), MONTH(CreationDate), 1)
ORDER BY
[Month] ASC
```
The graph shows the number of questions asked on StackOverflow over time, from the site's launch in 2009 until now, the start of 2026.
Initially there is a steady increase until 2014, when the number hits an all-time peak at over 200 000 questions. Then begins a slow decline. This might be correlated with StackOverflow's change of moderator policies at the time.
In early 2020 there is a sudden steep increase, which coincides with the start of the Covid-lockdown, but shortly afterwards the decline continues, faster than before. This might be related to the fact that in mid-2021, StackOverflow was sold to a private equity investor.
In late-2022 begins a very steep decline, which is when ChatGPT (and Google AI summary later on) came out. Since then the decline has continued and today the number of questions asked is almost 0. (Thanks https://mastodon.social/@lethe@digitalcourage.social for additional alt text)](https://files.mastodon.social/media_attachments/files/115/835/686/542/361/106/original/4c0890fdd2dc3187.png)
Open textbook initiative (The American Institute of Mathematics (AIM)). https://textbooks.aimath.org/ #Math
IPv6ができてから30年たつが、いまだに世界の普及率は50%に満たない。IPv6の目的も当初とは変わってきており、「IPv4を置き換える」というよりは「利用可能なところで利用する」ものになっている。
„Wir sind zu oft und zu schnell krankgeschrieben in Deutschland“
(Söder)
Wenn dem wirklich so ist, sollte man die Ursachen untersuchen. Nicht auskuriert? Chronischer Stress? Umwelt? Was sorgt dafür, dass Menschen sich krank fühlen? Zu wenig Zeit der Arztschaft zu schauen? Schwurbel? (Offene Frage)
Was vorgeschlagen wird: Lohnfortzahlung kürzen. Halbkrank arbeiten geht auch!!!1!!
So spielt man den Rest auch noch kaputt im Hamsterrad.
세상이 미쳐돌아갈수록, 미쳐버린 세상이 일상을 무한정 침식하게 놔두지 않는 것도 중요하다는 생각이 듬. 우리는 할 수 있는 데까지 선량하고 민주적으로 우리의 일상을 삽시다. 누릴 수 있는 것을 누리되 할 수 있는 노력을 다합시다. 절망하지 말고 살아냅시다. 그래야 소진과 냉소를 멀리하고 건강하게 투쟁할 수 있음.
デザート食べていい？
세상이 미쳐돌아갈수록, 미쳐버린 세상이 우리의 행복한 일상을 침략하게 놔두지 않는 것도 중요하다는 생각이 듬. 우리는 할 수 있는 데까지 선량하고 민주적으로 우리의 일상을 삽시다. 누릴 수 있는 것을 누리되 할 수 있는 노력을 다합시다. 절망하지 말고 살아냅시다. 그래야 소진과 냉소를 멀리하고 건강하게 투쟁할 수 있음.
....가만 그러고보니 예전에 스웨덴이 우크라이나에 보낸 지원물품 중에 포함돼 있던 게
수르스트뢰밍 
교황이 그들을 처단하나?
The Great Gatsby is the most misunderstood novel (2021)
Link: https://www.bbc.com/culture/article/20210209-the-worlds-most-misunderstood-novel
Discussion: https://news.ycombinator.com/item?id=46483729
semi-related: you're writing a GUI for language selection, and you come up with the cute idea to use flags for languages. which flag is english? is it 🇺🇸 or 🇬🇧? because i speak the 🇦🇺 version of english -- "colour" instead of "color", but "program" instead of "programme".
do you want to use this app in 🇮🇳 hindi, 🇮🇳 bengali, or 🇮🇳 telugu?
@lynnesbianLynnesbian 
my favourite is that for some reason on one website i use they use flags to illustrate currency and the flag they show for euros is: Andorra
Because I guess if you look at the list of all countries that use the euro, sorted by alphabet, that one is first
the timezone database is one of those really fun cases where the need for computers (and bureaucracy) to categorise and classify everything butts up against the infinite chaos of human nature. even better, because timezones belong to administrative regions (often countries), and their usage is mostly defined by the world's governments, we get the even more fun intersection of computers and politics!
windows 95 used to let you pick your timezone from a map. they removed this feature from a later version due to political disagreements.
the tzinfo database (the subject of the parent post) recently updated all timezone definitions to use post-1970 names to describe timezones, which caused some pretty major arguments.
@lynnesbianLynnesbian most of these discussions are preserved in the text of the tzinfo files themselves - I recall being made aware of the Palestine entry, dealing with timezone turmoil for Israel, Gaza and the West Bank (I'm probably mangling naming things) but ... it's so hecking complex - and the answer to "what's the time?" really does depend on who you ask ... from line 3149 in https://github.com/eggert/tz/blob/main/asia
しせるにゃんのモバイルオーダーのニックネーム、様子がおかしい
Nike這套運動服要大賣了...😬
손놓고 있던 PC를 주변분의 도움을 받아 수리할 수 있었습니다. 보드가 문제였네요... 간만에 코나스테 기타도라도 플레이해봤습니다.
OCRbot has been broken since December 11th, but should now be working again. Sorry about that!
Computing and formalizing residuated lattices and relation algebras. ~ Peter Jipsen. https://jipsen.github.io/slides/JipsenLATD2025.pdf #ITP #LeanProver
....가만 그러고보니 예전에 스웨덴이 우크라이나에 보낸 지원물품 중에 포함돼 있던 게
수르스트뢰밍
OCRbot has been broken since December 11th, but should now be working again. Sorry about that!
....가만 그러고보니 예전에 스웨덴이 우크라이나에 보낸 지원물품 중에 포함돼 있던 게
수르스트뢰밍
7만여 명 숨진 땅, 구호도 막은 이스라엘
h21.hani.co.kr/arti/world/w...
"외국 거주 유대인 지원과 반유대주의 대응 업무를 총괄하는 이스라엘 디아스포라부는 2025년 12월30일 자료를 내어 “가자지구에서 활동하는 37개 비정부기구(NGO)가 강화된 등록 요건을 충족하지 못했다”며 “1월1일부터 이들 단체는 가자지구에서 활동을 중단해야 한다”고 밝혔다. 액션에이드·국제구조위원회·국경없는의사회 등 지구촌을 대표하는 구호단체 상당수가 활동 중단 대상에 포함됐다."
7만여 명 숨진 땅, 구호도 막은 이스라엘
지금바로 판불
극우, 특히 파시즘이 강대국의 약소국의 식민지화를 하는 것에 민족 자결권 관점으로 강변하는 경우가 있는데 이는 진실로 약소국을 생각하고 하는게 아니라, 자신들의 저지른 일들에 대해서 다른 국가의 간섭을 거부하기 위함에 더 가깝다. 마릴 르펜의 베네수엘라 발언도 그렇다. 마치 고장난 시계가 하루 두번 맞듯 틀린말이 아닌 것처럼 보이나, 그녀가 보여온 그동안의 행보를 복기했을 때, 그것이 무엇을 염두해 두고 하는 말인지 쉽게 알 수 있다.
세랄이 
Stefano Marinelli
Misty
시오
愚痴をこぼしても一人 
드라코
