What is Hackers' Pub?

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/

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/

WSL stands for Windows as a second language

아니 크기 큰 건 알겠는데... ㄹㅇ 이정도 가격이 나오는 게 맞음...?? 아니 걍 모델링 괜찮은 거 가져다 3D 프린터로 뽑아서 부품 조립한 뒤에 색칠하면 되는 거 아님...?? 그냥 모델러 100만원 프린터 및 재료비 100만원 색칠해주는 사람 100만원 써서 직접 만드는 게 훨씬 쌀 것 같은데 내가 걍 알못이라 그런가...

sorry I don't have time for discourse. I'm doing important work here
https://backloggd.com/u/MichaelKlamerus/list/games-where-a-person-in-front-of-a-greenscreen-talks-directly-to-you/title/grid?page=1

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

The war waged by the tech authoritarian oligarchy against the media has reached a new level:

#Palantir is suing us. Us, the Republik Magazin.

A small Swiss media company, funded by readers, founded in 2018 and free of advertising. I am not aware of any other media company globally that Palantir is currently targeting so aggressively.

What is this about? Together with my wonderful colleagues at the WAV research collective Jenny Steiner, Lorenz Naegeli, Marguerite Meyer, and Balz Oertli, we published a two-part series on Palantir's activities in Switzerland on December 8 and 9.

Using an extensive corpus of documents – which we obtained thanks to the Freedom of Information Act – we were able to trace a sales campaign over a period of seven years. Palantir tried to get in with many federal authorities – and was rejected everywhere.

And we also found out that the Swiss Army Staff evaluated the products and came to the conclusion that the army should refrain from using Palantir products.

Among other risks, they feared that data would be passed on to the US authorities.

Palantir is not just any company. ICE uses its products to hunt down migrants in the US. The Israeli army IDF uses the software in its Gaza offensive. The British health authority NHS has made itself dependent on the products for data analysis during the pandemic. And CEO #AlexKarp displays inhuman and aggressive rhetoric towards Europe, while the company itself advertises the “optimization of the kill chain.”

These are all facts, repeatedly verified and published by renowned media outlets. Our research relating to Switzerland and Zurich is based on this.

In addition to analyzing documents, we also spoke to various sources – including Palantir executives here in Zurich. The quotes used were presented to them and approved. Of course, we always adhered to the high standards of journalistic work. We conducted a thorough fact check before publication.

But the company doesn't want us to write the truth.

After the US company owned by right-wing tech billionaire #PeterThiel dedicated an absurd blog post to us, claiming some misinformation (such as that they had not participated in official tenders with the federal administration, a point we never claimed. On the contrary: we spoke from the outset of attempts to establish contact, sales talks, informal meetings, business as usual), after the Global Director of Privacy & Civil Liberties (PCL) Engineering and contact person for Swiss media Courtney Bowman launched personal attacks against us in LinkedIn comments between Christmas and New Year (“partisan fear-mongering”), Palantir's Swiss lawyers demanded a counterstatement on December 29.

We rejected this demand in its entirety.

In January, they demanded the same thing again. We rejected it again.

And now we see each other in court.

But why all this?

Our research on the Swiss army report caused a huge international media response. The Guardian and the Austrian newspaper Der Standard reported on the Swiss army's rejection. Numerous financial portals and stock market magazines picked up our news (which could have consequences for the overvalued stock market company Palantir).

And Chaos Computer Club spokesperson Constanze Kurz presented our research to a huge audience at the renowned IT conference Chaos Communication Congress in Hamburg at the end of December.

All of this is making Palantir nervous.

We have now submitted a comprehensive defense brief. We can substantiate all of our findings with several documents and publicly available media reports.

We trust in the rule of law and freedom of the press in this country.

In keeping with yesterday's event “Zurich, little Big Tech City” at the Gessneralle, where we first announced this news exclusively to the audience on site:

World politics will soon be negotiated in Zurich: freedom of the press, the facts about ICE, Trump, Israel, Karp, tech authoritarianism.

The truth.

All this at the Zurich Commercial Court.

We will not be intimidated. And we will keep you informed.

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

She heard a car door slam in the distance mid grooming 😂

#cats

https://blog.naver.com/kagoshimalove/224181137903

제주, 이스타 항공 가고시마 노선은 봄부터 운휴 예정이라고. 대한항공은 5월까지는 매일, 그 후 10월까지는 화목토. 대한항공이라고 해도 그렇게 비싼 노선은 아니지만 아쉽네. 겨울 한철 장사 노선이라 어쩔 수 없겠지만.