What is Hackers' Pub?

Towards trustworthy AI results using evidence structures: From certificates to argumentation frameworks. ~ Shawn Bowers1, Bertram Ludäscher. https://ceur-ws.org/Vol-4157/paper6.pdf #ITP #LeanProver

github挂了？🥹

📝 I was adding the most recent app icons for Apple’s Creator Studio which got me looking at all the variations I have in my collection over time. Figured I’d collate them all into a blog post.

https://blog.jim-nielsen.com/2026/history-of-creator-studio-icons/

언제부터 썼지 여튼 왓챠 구독 해지했다 결제 카드 바꿔야해서 들어갔다가 걍….

A woman gives water to a detained demonstrator after protesters clashed with police at Town Hall Square during a protest against Israeli President Isaac Herzog's state visit to Australia following a deadly mass shooting at a Hanukkah celebration at Bondi Beach on December 14, 2025, in Sydney, Australia. REUTERS/Jeremy Piper

@photography
#Australia
#Herzog
#protest

I see it's once again time to post this: https://taggart-tech.com/discord-alternatives

Art of Roads in Games

Link: https://sandboxspirit.com/blog/art-of-roads-in-games/
Discussion: https://news.ycombinator.com/item?id=46938511

Humans peak in midlife: A combined cognitive and personality trait perspective

Link: https://www.sciencedirect.com/science/article/pii/S0160289625000649
Discussion: https://news.ycombinator.com/item?id=46945471

If you are available on February 24th, and you are interested in how to build digital sovereignty through social media, the stars have aligned just for you. Join the FediMTL conference in person or online to discover alternatives to Big Tech platforms. It's a Canadian led event where you can learn about data ownership, and connect with developers, creators, and advocates building technology that puts people first.

Follow @info for updates.

https://fedimtl.ca/#about

Dear FOSS maintainers,

here’s a list of funding programs currently accepting proposals for maintenance work:

Codeberg: https://codeberg.org/mechko/awesome-maintainer-funding

GitHub: https://github.com/mechko/awesome-maintainer-funding

Thanks to everyone who helped crowdsource it! I’ll keep it updated, issues and PRs are very welcome :)

#opensource #funding #maintenance #foss

I see it's once again time to post this: https://taggart-tech.com/discord-alternatives

Inequalities for octad weights in M24 a computational framework formalized in Lean 4. ~ Yoshihiro Hasegawa. https://www.preprints.org/frontend/manuscript/a320788ea980ba7065547e61ebc49208/download_pub #ITP #LeanProver

Can someone explain this #Python import behavior?
I'm in a directory with 3 files:

a.py contains `A = 1; from b import *`
b.py contains `from a import *; A += 1`
c.py contains `from a import A; print(A)`

Can you guess and explain what happens when you run `python c.py`?

I have a goal, by the end of the month, to setup my own codeberg instance in my network, and start organizing all my code there instead of Github. I will use GitLab for backup of public projects only.

From now on, all coded projects are private and self-hosted by default. This is the end of the era of freely available code. Very sorry it had to come to this, but here we are.

#FOSS

[손솔 수석대변인 서면브리핑] 사법 정의의 파산 선고, '김건희 방탄' 판결을 강력히 규탄한다. jinboparty.com/pages/?p=15&... 김건희 씨에게 1억 4천만 원의 고가 그림을 상납한 김상민 전 검사에게 무죄를 선고했습니다. '김건희 집사' 김예성 씨의 횡령 혐의 역시 무죄와 공소기각으로 면죄부를 줬습니다. 진실을 갈망하는 국민의 가슴에 대못을 박은 사법부의 치욕적인 판결입니다.

初心忘れるべからず
金銭享受発生しない趣味なら
自分が楽しい・ワクワクすることだけ考えればよいのです　よいのです…(ｴｺｰ

404 Media bought a superbowl ad, and it’s the charming, feel-good story you need today https://www.404media.co/watch-404-medias-super-bowl-ad/

Formal P‑category theory and normalisation for simple type theory. ~ David George Berry. https://www.repository.cam.ac.uk/bitstreams/eaa64944-8cd5-4cc3-8ff1-028e9b5a1cac/download #ITP #RocqProver

型チェッカーでエラーが出るからまだマージできないけど復元できた…

睡眠前にちょっとVRChatやろうと思ったけど、これやめるタイミングなくなりそうになるかも
どーしよ

UEFI Bindings for JavaScript

Link: https://codeberg.org/smnx/promethee
Discussion: https://news.ycombinator.com/item?id=46945348

GitHub Is Down

Link: https://github.com/
Discussion: https://news.ycombinator.com/item?id=46946872

Discord Launches Teen-by-Default Settings Globally

Link: https://discord.com/press-releases/discord-launches-teen-by-default-settings-globally
Discussion: https://news.ycombinator.com/item?id=46945742

Anyone wants to run a web forum with me?

I'm thinking of somewhere where we could talk about our projects, get inspired by others' work and generally keep eachother sane.

It's probably a bad idea but...

ん

The future I want:
Fully Automated Luxury Gay Space Communism.

The future I seem to be getting:
Fully Automated Luxury (for 1%) Heterosexual Boiled-Earth Authoritarianism.

The part that gets fully automated is the authoritarian oppression.

初心に立ち返ると梅干しおにぎりがうまい

“However, some users may not have to go through either form of age verification. Discord is also rolling out an age inference model that analyzes metadata like the types of games a user plays, their activity on Discord, and behavioral signals like signs of working hours or the amount of time they spend on Discord.”
https://www.theverge.com/tech/875309/discord-age-verification-global-roll-out

Me and some friends have been trying to be ready for when the day comes. Installing our own chat software, our own forum software, our own video conferencing system, and so on. It’s all less polished than Discord but if you’re trying to find a way out of Discord, I feel that this is a way that works. Go slowly, install and use one piece after another, and use a “bridge” to connect the old world (Discord) with the new world (your own).

For concrete suggestions, see
https://alexschroeder.ch/view/2026-01-07-discord

hello

we're running a conference soon, we would like it if you'd submit a talk idea or two. our form closes sometime after friday

ok thanks

https://pretalx.northbaypython.org/nbpy-2026/cfp

Just read another big tech post about the future of software engineering. Lots of people quoted: not a single woman quoted.

​​​​

ユニコーンが出てくるのか​​

​​​​

PR見ようとしたらGitHub、定期的にユニコーンが出てくる

之前看《成為歐洲人》看一半，這兩天開始看《獨裁者聯盟》，兩本都很棒。

Evaluating Large Language Models on solved and unsolved problems in graph theory: Implications for computing education. ~ Adithya Kulkarni, Mohna Chakraborty, Jay Bagga. https://arxiv.org/abs/2602.05059v1 #AI4Math

I might have done an art :3
It is not much, but it is mine.

Good morning to another GitHub service interruption!

📢 The Call for Papers is open for BSD-NL Conference – Spring 2026 📢

We are looking for talks on any *BSD 🐡😈⛳ topic!

Whether you’re a seasoned speaker or just starting out, we’d love to hear from you.

Share your ideas and join us in Utrecht!
🔗 https://events.bsdnl.nl/early2026/

📆 2026-05-09 / May 9th 2025
🕐 10:00-23:00 CET
📍 Brouwerij Maximus (Utrecht)
🌐 https://bsdnl.nl

#BSDNL #RUNBSD #BSD #OpenBSD #FreeBSD #NetBSD #HardenedBSD #SecBSD #DragonflyBSD

CSLib: The Lean computer science library. ~ Clark Barrett, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, Sorrachai Yingchareonthawornchai. https://arxiv.org/abs/2602.04846v1 #ITP #LeanProver #CompSci

First day at Github ⁠, wish me luck! 🤞

Discord will require a face scan or ID for full access next month https://www.theverge.com/tech/875309/discord-age-verification-global-roll-out

不寫下來會忘記，中午體驗山嵐號，晚上吃池上的法餐Les Potes，是一對夫妻經營的小餐館，太太負責外場、先生是主廚，使用的食材都來自於當地。
餐前麵包吃到據說營養價值很高、正在復育的油芒，冬季正著時的土魠是前一晚才到貨處理好的超級新鮮（也很昂貴讓老闆內心淌血XD ），櫻桃鴨胸揉合了薰衣草香料但不突兀，我最喜歡像是香菇的雞肉可樂餅這道，旁邊的小花小草都是可實用的，女友被土魠搭配的香菜醬驚艷（不喜香菜的人類），最後點了月桃茶來配甜點，有股沉穩安定的感覺，很喜歡這間餐館！

ねるわよ～
​​

Discord Will Require a Face Scan or ID for Full Access Next Month https://yro.slashdot.org/story/26/02/09/161215/discord-will-require-a-face-scan-or-id-for-full-access-next-month?utm_source=rss1.0mainlinkanon

Discord will soon require face scans or ID for all users, or restrict access https://9to5mac.com/2026/02/09/discord-will-soon-require-face-scans-or-id-for-all-users-or-restrict-access/?utm_source=dlvr.it&utm_medium=mastodon

«For two years, Gaza has been a place of mass death, starvation, disappearances, attempted erasure, genocide. Now, almost without warning, it is being transformed, rhetorically, into a management problem.
...

European reservations largely focus on the board’s governance structure, compatibility with EU law, and the apparent attempt to usurp the role of the UN. These concerns matter, but they are not at the heart of Gaza’s predicament, which is that its future is being plotted without the consent of its inhabitants. When it comes to Gaza’s future being treated as a development project, managed by outsiders with dubious or outright hostile intentions, European countries and institutions are apparently unconcerned.
...
When the world shifts so quickly into talk of redevelopment, it is not merely changing the subject. It is demonstrating that the cost of Palestinian suffering is politically absorbable. This is why the Board of Peace is not just controversial. It is structurally violent. It is a mechanism that takes catastrophe as given and begins planning around it instead of demanding justice for it. It treats a crime as a starting point for investment.
»

https://www.thenewhumanitarian.org/opinion/2026/02/09/Gaza-Board-of-Peace-homeland-transformed-engineering-project

#Gaza

RE: https://mastodon.social/@verge/116041069446538092

We’ve moved our internal communications from Discord to Zulip at Mastodon, and I think there are plans to do the same for our Patreon community Discord. The harder part will be untangling my gaming communities from this…