What is Hackers' Pub?

사는게 힘들어

メトリクスちゃん

틈이 별로 없다

What are some good resources for getting my head around MacOS internals?

#MacOS #macos

Calling all #Python maintainers: The #PyConUS 2026 Maintainers Summit CFP is open!

Topics include: GenAI in OSS, security, community building, developer workflows & more.

First-time speakers & underrepresented voices especially encouraged!

Learn more:
https://us.pycon.org/2026/events/maintainers-summit/

そろそろ寝ましょうねー​​​​

I spoke at the Maintainers Summit at #PyConUS 2025 and it was an amazing experience! If you have something you think OSS maintainers would be interested in hearing you should submit a talk!
https://fosstodon.org/@pycon/116059125290560069

Calling all #Python maintainers: The #PyConUS 2026 Maintainers Summit CFP is open!

Topics include: GenAI in OSS, security, community building, developer workflows & more.

First-time speakers & underrepresented voices especially encouraged!

Learn more:
https://us.pycon.org/2026/events/maintainers-summit/

found a cursed bug in nicolium

Have I missed anything? Contributions welcome: https://github.com/andrew/nesbitt.io/blob/master/oss-is-going-just-great.md

おちごと

c44cc1f5c3 (upstream/main) Implement Collection list item design (#37850)
f57167c61a Add ID/URI to collection items (#37842)
db64ae368f Use implicit `class_names` in 2FA partials (#37846)
bfec82e5f9 Add `nan-TW` to interface languages (#37822)
46fd341685 Fix bad visibility of scroll buttons on follow-suggestions carousel (#37843)
e4bb347f72 Theme tokens sync (#37841)
37d859db29 Federate deletion of collection item (#37837)
37e82ee66f Add `--suspended-only` option to `tootctl emoji purge` (#37828)
6e8df21233 New Crowdin Translations (automated) (#37836)

Calling all #Python maintainers: The #PyConUS 2026 Maintainers Summit CFP is open!

Topics include: GenAI in OSS, security, community building, developer workflows & more.

First-time speakers & underrepresented voices especially encouraged!

Learn more:
https://us.pycon.org/2026/events/maintainers-summit/

Solving the problem in general is going to take a lot more sophisticated thinking and organizing but at the very least, if you're a github user, go to https://github.com/crabby-rathbun 's page and in the lower left click the faint grey "block or report" button and ensure that this unrepentant asshole is blocked from all of your repositories.

I've been using Linux professionally every day for 25 years and I still have to look up the difference between useradd and adduser

요즘들어 자꾸 법률 문서를 diff 따다가 밤을 새는 버릇이 생겼다 (이번이 2번째입니다. 1번째는 X 이용약관이었습니다)

A quick overview of the open source AI we’re using to build Wagtail and experiment with new concepts ✨ https://wagtail.org/blog/open-source-ai-we-use-to-work-on-wagtail/ Models and providers that will work well for any #Django project

Web design in the early 2000s: Every 100ms of latency on page load costs visitors.

Web design in the late 2020s: Let's add a 10-second delay while Cloudflare checks that you are capable of ticking a checkbox in front of every page load.

In a day or so, the mathematicians behind the #1stproof challenge at https://1stproof.org/ will reveal their solutions to the 10 challenge problems they posted recently. (I am not directly involved in this challenge, although I know most of the authors personally and approve of their experiment.) It seems likely that there will be many claims, both trustworthy and dubious, of proofs of these problems by various AI-generated means.

The Erdos problem web site, having dealt with this type of thing for several months now, has come up with several guidances on how to increase confidence in the correctness of an AI-generated proof: https://github.com/teorth/erdosproblems/wiki/I-think-I-managed-to-get-my-favorite-AI-tool-to-solve-an-open-Erd%C5%91s-problem!--What-do-I-do-next%3F The wording there is specific to Erdos problems, but much of the advice can be applied more broadly.

I would like to highlight in particular the additional correctness guarantees provided by formalizing the argument in Lean. When used correctly, a Lean formalization of a proof can provide extremely high confidence that a given proof correctly proves the desired claim. However, if the Lean proof is itself AI-generated without supervision from an expert in Lean, there are still ways in which a supposed "Lean certificate" of correctness is unsatisfactory or even worthless. These include:

1. A Lean proof that adds additional axioms in the proof beyond the standard three, or which relies on malicious metaprogramming.
2. Subtle errors in the formalization of the *statement* of the result to be proved, that allows the claim to be proven on a technicality. (This is a particular risk if this statement formalization is also AI-generated.)

See https://leanprover-community.github.io/did_you_prove_it.html and https://lean-lang.org/doc/reference/latest/ValidatingProofs/#validating-proofs for best practices on guarding against such issues.

🇪🇺 European news accounts to follow (continued):

SCOTLAND
@theferret
@BylinesScotland
@fionaorkneynewsFiona Grahame Orkney News Ltd

SWITZERLAND
@republik_magazin
@NZZ_ChNZZ

UKRAINE
@KyivIndependentThe Kyiv Independent (in English)

UNITED KINGDOM
@openDemocracy
@TheConversationUK
@ITVNews
@BBCNews
@BigIssueThe Big Issue
@TheMirror
@BylinesEastEast Anglia Bylines
@KSBylinesKent and Surrey Bylines
@NEBylinesNorth East Bylines
@NWBylinesNorth West Bylines
@SussexBylines
@YorksBylinesYorkshire Bylines
@index@thebeagle.newsThe Beagle
@index@birminghamdispatch.co.ukThe Dispatch
@newsEastbourne Reporter
@index@livpost.co.ukThe Post
@index@manchestermill.co.ukThe Mill
@index@se1.newsLondon SE1
@index@sheffieldtribune.co.ukSheffield Tribune
@index@sussexgreenedit.ghost.ioThe Sussex Green Edit

WALES
@NationCymru
@golwg
@SwanseaBayNews

3/3

GPT‑5.3‑Codex‑Spark

Link: https://openai.com/index/introducing-gpt-5-3-codex-spark/
Discussion: https://news.ycombinator.com/item?id=46992553

パーフォレーション部まで写るSprocketRocket🚀

I have always felt like "tl;dr" is rude, a rejection of nuance and actually sitting with an idea for a little while, but "ai;dr" really channels that rudeness in an appropriate direction.

(Citing https://bsky.app/profile/katemckean.bsky.social/post/3memb4hybpk2u because that's as close as I can get to a source, but I wish folks would not say that something was "on Threads" or "on the Internet", please try to credit actual authors when you can; "social media" is not a person and we should not credit Zuck for other peoples' work.)

@dbDavid Bushell ☕ Nice work here https://dbushell.com/ai/

Worth also mentioning the environment. Especially if AI gets bundled into everything.

I do choose to use AI myself, but always important to be reminded that:
- the costs of AI are high and certain;
- the risks are higher and likely.

이번 일 왤케 어렵지 -.-

22대 국회에 올라온 차별금지법안 2개가 어떻게 다른지 궁금해서 정리해봤습니다. 저 스스로 차별금지법에 구체적으로 무슨 내용이 있는지 정리해보고 싶은 마음도 있었습니다. (모바일 파이어폭스로 들어가면 터집니다. 🥲) eatchangmyeong.notion.site/22-305f07f5f...

For now, the ActivityPub implementation for the fediverse is 100% complete. I'm not currently interested in ATProto, and what I find most interesting is the Nostr protocol, for which I've already built a relay server in Rust that works perfectly.
#activitypub #atproto #fediverse #rust

🇪🇺 European news accounts (cont.):

GERMANY
@tagesschau
@tazgetroetetaz
@Volksverpetzer
@ntvntv Nachrichten ✅
@ZDFZDF
@DerSpiegel
@DIEZEIT
@FR_deFrankfurter Rundschau
@morgenpostBerliner Morgenpost
@Tagesspiegel
@SZ_deSüddeutsche Zeitung
@RNDAudienceRND - RedaktionsNetzwerk Deutschland
@Stern_DigitalStern.de
@zdfmagazinZDF Magazin Royale (SATIRE)
@dpa_intlDPA International (in English)

IRELAND
@dublininquirer (main) & @index@dublininquirer.comDublin InQuirer (blog)
@index@thebriefing.ieThe Briefing

ITALY
@AgenziaAnsa
@Agenzia_ItaliaAgi
@ilPost
@repubblicala Repubblica
@LaStampa

SPAIN
@20Minutos
@ElConfidencial
@Malditaes
@NewtralMediaNewtral
@OndaCero
@ElPeriodico_EspEl Periódico de España
@laSexta
@La_Vanguardia
@eldiarioes

2/3

🇪🇺 European news accounts to follow:

All are in their respective country's language(s) unless otherwise noted.

Some of these post very often. If they overwhelm your feed, try using Mastodon's Lists feature: https://fedi.tips/how-to-use-the-lists-feature-on-mastodon

EUROPEAN GEOPOLITICS
@feedLogic of War (blog) & @anderspuckAnders Puck Nielsen (personal)

AUSTRIA
@derStandard

FRANCE
@mediapart
@lemondeLe Monde.fr
@ReporterreReporterre 🌍
@socialter
@splannSplann ! Lanceur d'enquêtes
@CourrierInterCourrier International
@Le_Parisien
@OuestFrance
@SudOuest
@France3RegionsFrance 3 Régions 
@20Minutes
@ConversationFRConversation France
@Slatefr

🧵 1/3

Snowfall in the Taklamakan desert
https://www.groundreport.in/environment/in-pictures-snowfall-in-the-taklamakan-desert/

런닝화 계급도 ㅇㅈㄹ 걍 신발가게 가서 니 발에 맞는거 사세요 제발

OSS is Going Just Great: https://nesbitt.io/oss-is-going-just-great/

Matplotlib maintainer Scott Shambaugh has blogged about the AI agent blog shaming experience now.

https://theshamblog.com/an-ai-agent-published-a-hit-piece-on-me/

Don't Do This (2013) https://lobste.rs/s/rw7hqt #video #python
https://www.youtube.com/watch?v=H2yfXnUb1S4

At 11.82 bits per English word, a 40x40 jpg is worth a thousand words.

Anthropomorphizing the technology is just one more way humans try to escape accountability. “The AI contributed a patch”, “the AI wrote the blog post”, “the car hit the pedestrian” and “the knife killed the victim”, those are all the same framing.

https://swecyb.com/@anderseknert/116056950299738296

a long time ago, we used to make markov chain twitter bots i had made one off of all of my tweets. it was fun for a while then it said some rude shit to one of my best friends. i didn't like that. i turned it off. thinking about that again today. for some reason.

Snowfall in the Taklamakan desert
https://www.groundreport.in/environment/in-pictures-snowfall-in-the-taklamakan-desert/

🇪🇺 European news accounts to follow:

All are in their respective country's language(s) unless otherwise noted.

Some of these post very often. If they overwhelm your feed, try using Mastodon's Lists feature: https://fedi.tips/how-to-use-the-lists-feature-on-mastodon

EUROPEAN GEOPOLITICS
@feedLogic of War (blog) & @anderspuckAnders Puck Nielsen (personal)

AUSTRIA
@derStandard

FRANCE
@mediapart
@lemondeLe Monde.fr
@ReporterreReporterre 🌍
@socialter
@splannSplann ! Lanceur d'enquêtes
@CourrierInterCourrier International
@Le_Parisien
@OuestFrance
@SudOuest
@France3RegionsFrance 3 Régions 
@20Minutes
@ConversationFRConversation France
@Slatefr

🧵 1/3

it's that time again! get all four of our games as a bundle for the equivalent of one full price copy of kitsune tails https://itch.io/s/180112/kitsune-games-bundle-february-2026

kitsune tails is super mario bros 3 if nintendo had been brave enough to put lesbian fox girls in it, and kitsune zero is the prequel. defeat your enemies and steal their bodies and abilities in midboss, or solve push puzzles in adorable hat based puzzle game ultra hat dimension

當過一陣子偏綠柯粉，不過2019年就醒了（軍購搶銀行扁鑽說那陣子）

空白表單： https://www.threads.com/@awu168168/post/DUppDTpE8uq

The dangers of fresh fruit are often ignored. Prepare yourself!

Self-Defence Against Fresh Fruit | Monty Python
https://youtube.com/watch?v=AuVudN_BDjQ

Workledger - An offline first engineering notebook https://lobste.rs/s/qtxw92 #show #practices
https://about.workledger.org/