What is Hackers' Pub?

In Romance languages such as Spanish, Italian and Portuguese, you can turn an adjective into an adverb by adding ‘-mente’ to its feminine form:

‘claro’ > ‘claramente’.

This suffix ‘-mente’ has a fascinating origin: it’s actually the same word as the noun ‘mente’ meaning “mind”
– which is feminine, hence why you add ‘-mente’ to the feminine adjective!

Click my new infographic to read the story of Romance adverbs.

実家Ubuntu 24.04.3 LTSちゃんです

$ sudo sh -c 'apt update && apt dist-upgrade -y'
:
The following packages will be upgraded:
base-files initramfs-tools initramfs-tools-bin initramfs-tools-core
4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
:
$ cat /var/run/reboot-required*
linux-image-6.8.0-100-generic
$ sync; sync; sync; sudo reboot

(-人-)

Of course my writing sounds like an LLM. I've been writing technical doc for 40 years. Who the fuck do you think the LLM trained on?

Flying back to me on Feb. 12, 1935, the USS Macon ran into a storm over Point Sur in California's Big Sur. Wind shear tore off the upper tailfin because of an unrepaired ring girder. Rear gas cells were punctured.

おうちUbuntu 24.04.3 LTSちゃんです

$ sudo sh -c 'apt update && apt dist-upgrade -y'
:
The following packages will be upgraded:
base-files initramfs-tools initramfs-tools-bin initramfs-tools-core
motd-news-config
5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
:
$ cat /var/run/reboot-required*
cat: '/var/run/reboot-required*': No such file or directory

ﾖｼ

Write your MP. Ask them to push for Magnitsky designations against named Epstein co-conspirators and an RCMP review of Canadian connections in the files.

Find your MP:

https://www.ourcommons.ca/members/en

UBC's guide for formal Magnitsky petitions:

https://allard.ubc.ca/community-clinics/international-justice-and-human-rights-clinic/global-magnitsky-sanctions-resources

3/3

#Epstein #CDNPoli #Canada

GPT‑5.3‑Codex‑Spark

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

When you think about it, isn't everybody a skeleton pilot

きょうもさむうい

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

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

十年後
最大的恐懼不是恐懼
而是無聲無息的妥協

Otro sandwiche con cara de bob esponja #comidonte #xalapa

The foxes in my back garden feel safe enough to sleep on their backs - enjoying the sun on their bellies

1/4

#fox #wildlife #garden #animals

had a good conversation earlier that went something like this:

them: “is AI making pentesting easier?”

me: “yes.”

them: “why, because you can use it to look for vulnerabilities in code quicker?”

me: “no, because it generates vulnerabilities in code quicker”

I feel this shouldn't have to be said, but if you're running an @OpenClaw bot please don't let it spam GitHub projects with PRs and then write aggressive blog posts attacking the reputation of the maintainers who close those PRs https://simonwillison.net/2026/Feb/12/an-ai-agent-published-a-hit-piece-on-me/

Due to a little impulse from @steveSteve Bate I've improved the documentation for #FedBOX and its adjacent #OAuth2 authorization server.

Currently it lives here: https://mariusor.srht.site/apps/fedbox/authorize/

사는게 힘들어

メトリクスちゃん

틈이 별로 없다

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/