What is Hackers' Pub?

반냥풋푸세력을 척결하기 위해
비상계엄령을 선포합니다

"La felicidad pertenece a quienes se bastan a sí mismos. Pues todas las fuentes externas de felicidad y placer son, por su propia naturaleza, sumamente inciertas, precarias, efímeras y sujetas al azar." ~ Arthur Schopenhauer (1788-1860).

Hey folks, I know Giving Tuesday was yesterday and I purposefully avoided it because there's many causes that deserve your dollars more than us.

If you have something left, I'm contributing more to keep our community alive than what we're getting in, and I know that we can fix that.

If everyone who read this contributed $5, we'd be in a much better position, paying off backed-up invoices.

If everyone who read this committed $10 monthly, it'd pay off our hardware deficit. The hardware I bought to get us off the cloud, I bore the entire $25,000 cost. I'm fine with this as long as we can chip away at it... But as it is, we're not.

Right now we're $453 behind on monthly costs. The physical servers are fine at being chipped down, knowing we're solidified for years to come.

To donate via PayPal: https://www.paypal.com/donate/?hosted_button_id=TUYC2QUKR2HQS

or, via Credit Card: https://shop.mstdn.ca/products/mstdn-ca-server-proceeds-subscription

Your contribution is greatly appreciated!

#mstdnca #fedifund

Readings shared December 2, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/03-readings_shared_12-02-25 #AI #CoqProver #ITP #IsabelleHOL #LLMs #LeanProver #Math #Rocq

으언제은가아그가너허르을~ ​​

GNOME 기능인지 Pop OS 기능인지는 모르겠는데
상단 표시줄 메뉴에서 타일 윈도우 키면 타일링 DE처럼 써먹을 수 있구나

ほぼ無負荷、12VPDで１３分弱で消えた。やっぱ窓開け作戦だぬ

Your `pip` unwrapped 🎇

- you tried to install `requirements.txt` 18 times this year. Doing better than last year!
- of the packages you installed 67% started with py, 11% python, and 6% Py. You guessed wrong 85 times.
- your love for building source has no bounds, except maybe the 92 failed compiles
- you updated `requests` 18 times. Urllib is feeling lonely.
- the average time between updating `pip` was 97 days. But we warned you 338 times!

ねるぅー！おやすみすきーー！！​​​​

@xgranadeCassandra Granade 🏳️‍⚧️ @whitequark✧✦Catherine✦✧

Go is what happens when you use C for decades and come up with a load of great ideas to improve it, and then implement them. Along the way, taking great care to never look at any ways other people have improved on C.

It is a language that containers every good idea Rob Pike ever had, and none of the good ideas people who are not Rob Pike ever had. Which would be more excusable if it weren’t the second language to merit that description.

It turns out that there are a lot more smart people in the world who are not Rob Pike than who are.

ポッドキャスト開始時のプラットフォーム選定やサイト準備 2025 | おそらくはそれさえも平凡な日々

https://songmu.jp/riji/entry/2025-12-03-how-to-prepare-a-podcast-site.html

Transhumanists talking about "continuity errors" in a latently sinister fashion

Great to be part of social.coop! Here's an #introduction: The People's Tech is aimed towards becoming a co-op based in England with a small team of Small Tech workers promoting technology at the intersection of privacy, security, sustainability, *and* inclusivity, Covid-safer and non-hierarchical, slowly rolling out public workshops discussing alternatives to Big Tech, plus private consultation for co-ops, non-profits, and campaign groups on how to make better choices (which has already begun!)

Apple just announced some upcoming changes to its Observation framework that might look familiar to users of our SwiftNavigation library! We obviously think it’s a great addition, and are happy to see Apple provide the same solution as ours directly in the framework.

See Apple's pitch here: https://forums.swift.org/t/pitch-advanced-observation-tracking/83521/10

And our tool here: https://github.com/pointfreeco/swift-navigation/blob/main/Sources/SwiftNavigation/Observe.swift

with the new `fold` feature, i could now implement the MIDI voice allocator.

#devlog #LRDL

나는 상어

한번 데친 상어

"How would you talk without teeth? A pear!" Ah… jokes

사이버펑크2077애니에 나오는 신데바스탄인지 산데비스탄인지 신데비스탄인지 아직도 헛갈림

クッソ寒い。ヒューマノイドスリーピングバッグ買っててよかったと思える。

​​

This is why you don’t take venture capital. You will be sold into the current hype cycle, whether it makes sense or not.
https://mastodon.social/@mjtsai/115652129044698619

解決　土日にでもやるかなあ

If you use #neovim and #rust and want to have access to the whole compiler output as it renders in the terminal, you might want to take a look at this plugin
https://github.com/alexpasmantier/krust.nvim

India scraps order to pre-install state-run cyber safety app on smartphones

Link: https://www.bbc.com/news/articles/clydg2re4d1o
Discussion: https://news.ycombinator.com/item?id=46133068

7分は出てるしキーロックしてから3分待ちぐらいなら行けるかもだが、妙案思いついた、窓開けてやればいいんだ

The 30 Best Rock Albums of 2025
https://pitchfork.com/features/list-and-guides/best-rock-albums-2025/?utm_source=flipboard&utm_medium=activitypub

Posted into Features @features-pitchforkFeatures

Noticing someone with a double-barrelled last name and long first name.

Made me remember a person I met with a triple hyphenated last name! Must've been tough to wield day-to-day!

A #poll…

For your regular every-day name, eg introducing yourself (not your full legal name) how many syllables does it take to say it?

#names #syllables

trade offer

you receive: SMB3-like gay foxgirl platformer, turn-based roguelike starring an agender body snatching imp, adorable hat based puzzle game, and an SMB1-like platformer with fiesty fox girl protagonist

we receive: $20 and the ability to survive the winter

https://itch.io/s/169922/kitsune-games-bundle

12월 4일 #견주기
1번째 시도에 성공했습니다. 초성이 ㅁㅇ인 단어를 맞출 수 있을까요?

https://gyeon.postica.app

Noticing someone with a double-barrelled last name and long first name.

Made me remember a person I met with a triple hyphenated last name! Must've been tough to wield day-to-day!

A #poll…

For your regular every-day name, eg introducing yourself (not your full legal name) how many syllables does it take to say it?

#names #syllables

12月になったしあした寒いらしいしオイルヒーターを解禁

Was sind eure liebsten Switches?

あーオートACC切れるまでの間にもばばの出力止まる説がある　何分持つかな

when you discover even more @catsaladCat 🐈🥗 (D.Burch) accounts

품절로 만들 때가 됐어 이제

多分時間がないというより、時間管理能力が無さすぎる

RE: https://misskey.flowers/notes/aftq5mh087d6037z

<br/>出てるし改行も結局できてないしもう無茶苦茶

うさぎ（※うさぎではない）はひっぱると3mくらいにのびます

もどらなくなるのでやめてください

🌏🌔🪐

最近時間がない

You must construct additional genders.

ぶえ

You must construct additional genders.

ﾃﾞｭﾌﾃﾞｭﾌのｺﾎﾟｫ...これにはﾌｫｶﾇﾋﾟｽﾄもﾆﾁｧ...​​

📢 Academics of mastodon,

We are recruiting one author to contribute to our edited book "A Research Agenda on Critical AI Studies". We are looking for someone who could write a chapter on LLMs from a critical perspective (copyright, surrogation, etc.).

If you are interested, DM or email me at ana.valdivia@oii.ox.ac.uk.

#CriticalAI

when you discover even more @catsaladCat 🐈🥗 (D.Burch) accounts

ESP32-S3: As a Linux Console TTY https://lobste.rs/s/gkulyd #debugging #hardware #linux

ジョルジュデュブッフボジョレーヌーボーのデュブッフの​​みが毎年気になる