What is Hackers' Pub?

Am Ende wird alles wieder Mycel...oder so...und wegen des gestrigen späten Totensonntagskonzerts hat sich der #fungday von sunday auf monday verschoben. Nun aber zum Thema: Der Fruchtkörper zum heutigen #fungday heißt Shiitake. Zusammen mit Topinambur, Aubergine und Paprika ergibt das eine erdige Pilzpfanne, die dank Sojasauce und den Basiszutaten als umami-esk gelten darf.

#vegan
#food

just got an automated email a few minutes ago saying the bunker elevator doors had failed to open. i have never been so thankful theyre rusted shut. i dont know whats down there and now i dont think i want to

It’s not enough that MAGA supporters are realizing that they were conned by Trump, rightwing media, the Republican Party and foreign trolls, but the bigger issue is that X and Musk allowed that con to happen on their platform. They knew about the foreign interference.
https://www.thedailybeast.com/top-maga-influencers-accidentally-unmasked-as-foreign-actors/

#musk #x #MAGA #republicans

The criminal cases against both James Comey and Letitia James are dismissed. A total humiliation for Donald Trump and Pam Bondi. — And it’s only Monday.

soupy peanut butter noodles https://www.diningandcooking.com/2397266/soupy-peanut-butter-noodles/ #Vegan #VeganFoodPorn #VeganPorn

They. Never. Do.

Tax. Them.

https://www.usatoday.com/story/news/politics/2025/11/22/rich-fleeing-manhattan-false-narrative-price-demand-up/87385511007/

France threatens GrapheneOS with arrests / server seizure for refusing backdoors

Link: https://mamot.fr/@LaQuadrature/115581775965025042
Discussion: https://news.ycombinator.com/item?id=46036217

🦈

In every dystopian novel: the government bans books.

In reality: we gave up reading voluntarily.

너무 일찍 자서 너무 일찍 일어났다.

買っちった

#FreeBSD Users
Do you run quarterly or latest packages on your #FreeBSD workstation? Or do you build ports?

Servers excluded this time, only #desktop systems 😉

#freebsd #unix #bsd

Everybody go read "Termination Shock" by Neal Stephenson, because apparently that whole scenario is actually about to start happening: https://www.politico.com/news/magazine/2025/11/21/stardust-geoengineering-janos-pasztor-regulations-00646414

キーボード盆栽

Some helpful advice for all you software devs:

- You cannot solve social problems with code

- You cannot improve a system until you understand why it works the way it does

- You cannot produce tools for someone else without understanding how they work and what they are trying to accomplish

secretly ties individual hair strands into knots while you sleep

ド下品で治安最悪に終わってる世界の住人が漫画書くようになって人としても成長する作品があるんだけど
「ウリッコ」
個人的にオススメしたい

物を作る時に「今のどこが面白かった？」「もっと工夫出来るんじゃね？」を模索していくの楽しいよねって人に合いそう

A new bridge links the strange math of infinity to computer science. ~ Joseph Howlett. https://www.quantamagazine.org/a-new-bridge-links-the-strange-math-of-infinity-to-computer-science-20251121/ #Math #CompSci

今日はいい天気

76d8ac3fe6 (upstream/main) chore(deps): update dependency i18n-tasks to v1.1.1 (#36997)
96d5e57351 Revert "Increase HTTP read timeout for expensive S3 batch delete operation (#36971)" (#36996)
57bfe863f3 chore(deps): update dependency aws-sdk-core to v3.239.1 (#36955)
b16452dd99 Add shared context for API authentication (#36981)
1bc13609ab chore(deps): update dependency aws-sdk-s3 to v1.205.0 (#36956)
e44a9c0879 New Crowdin Translations (automated) (#36984)
f1bf6e6344 Remove unused `from_limited?` method from NotifyService (#36988)

We're (now) moving from OpenBSD to FreeBSD for firewalls

Link: https://utcc.utoronto.ca/~cks/space/blog/sysadmin/OpenBSDToFreeBSDMove
Discussion: https://news.ycombinator.com/item?id=45980474

The criminal cases against both James Comey and Letitia James are dismissed. A total humiliation for Donald Trump and Pam Bondi. — And it’s only Monday.

@catsaladCat 🐈🥗 (D.Burch) anti-boost: delete a post on someone's page for your instance

Tonight, for some reason, this came back to my mind. Maybe because the weather feels the same as it did back then.

https://my-notes.dragas.net/2025/07/30/i-just-want-to-go-back-home/

#MyNotes #Memories #Flashback #ThrowBack

너도 같이 천국으로 가자 (…)

EDIT: Man, this did numbers! Thanks to all who keep boosting! It makes my heart sing. I will update the update when/if anything changes.

Ok, oddly specific ask, but if ANYONE has one of these laying around doing nothing, can I buy it from you? Early 2000s Lucent wifi yagi. It's a nostalgia item, but it will be used. Throw me a message or something if you have one and don't want $250 for it.

Sum up of my weekend

When the code bot says "I see the issue now" I cannot emphasise enough how much it has not and will not see the issue now or at any point in the future, in any future, in any universe, across all space and time

아 근데 트위터가 망해서 트친을 데려오는 것보단 트친이 정지당하게 사보타주해서 데려오는게 더 현실적이고 실현가능하지 않나 ㅋㅋㅋㅋ

Automatic geometry theorem proving using polynomial elaboration. ~ Mauricio Barba da Costa et als. https://youtu.be/1FjQzA8S7Z4 #ITP #LeanProver #Math

Until now, if you lost or broke your phone, your Signal message history was gone, a real challenge for everyone whose most important conversations happen in Signal. So, with careful design & development, we’re rolling out opt-in secure backups.

Secure backups will let you save an archive of your Signal messages remotely in privacy-preserving form, refreshed daily.

Now available in the latest Android beta release, rolling out to iOS & Desktop soon

https://signal.org/blog/introducing-secure-backups/

열심히 사는것 같은데 왜 티가 안 나냐

What was in the #vegan bowl tonight?

Vegetable Fried Rice with Spicy Marinated Dry-fried Tofu.

#VeganForTheAnimals #ItsEasy2bVegan #VeganFood #Vegan4Life #SvenskaVeganer #KeepDeathOffThePlate #HomeCooking #Vegansk #Vegaani #WorldVeganMonth

Look, we're not mad. We're just disappointed that some of y'all weren't listening last time and let this happen again.

https://blog.gayint.org/shaiHulud2.html

#GAYINT #FURINT

Gödel mirror: A paraconsistent calculus mechanized in Lean 4. ~ Jhet Chan. https://youtu.be/6WXyGRZ2uU0 #ITP #LeanProver #Logic #Math

@catsaladCat 🐈🥗 (D.Burch) let me embed a MIDI you cowards!!!!

Look, we're not mad. We're just disappointed that some of y'all weren't listening last time and let this happen again.

https://blog.gayint.org/shaiHulud2.html

#GAYINT #FURINT

@catsaladCat 🐈🥗 (D.Burch) A hot bath/shower with regular lights off and just a string of fairy lights in the window, clean comfy clothes, a nice pot of tea, a heated super-plush throw blanket, and a (digital or hard copy) stack of well-written books in your favorite genre. If digital, an e-ink screen to read them on. Add non-human companions as desired.*

---
*Cats, dogs, affectionate boa, roomba, furby with the speaker disabled, Mothman, M-113 of Regulus VIII, Superman, whatever.

Rejected Mastodon features:

• Export to PDF
• Trending Emojis
• FurAffinity OAuth
• Scheduled Favorites
• Profile background music
• Arch nemesis recommendations

It's great that sites offer both light and dark mode, but why do I have to manually choose? Use `prefers-color-scheme` in your CSS, and the site will adjust to my already expressed preference: https://developer.mozilla.org/en-US/docs/Web/CSS/Reference/At-rules/@media/prefers-color-scheme

ITP 2025 Lean workshop. https://youtube.com/playlist?list=PL0oY24ee23INkDNXVoUMBZZ-q_EzE6gwx&si=vxrHKoHjH58UuKt- #ITP #LeanProver

So much for the federated merge requests via #ActivityPub.

https://gitlab.com/groups/gitlab-org/-/epics/260#note_2910231358

When I called in https://lwn.net/Articles/963427/ @sir position as the pragmatic one, I was called disingenuous.

(And, BTW, https://codeberg.org/forgejo/forgejo/issues/9225 doesn’t seem to be finished either).

#GitLab #ForgeFed #SourceHut #Forgejo #Radicale

UptimeKit-CLI is production ready free and opensource uptime monitoring tool directly from your terminal. It supports continuous monitoring without needing to keep the terminal open and features a live dashboard showing status, latency, and other uptime metrics. It supports HTTP/HTTPS, ICMP Ping, and DNS monitoring. It also offers metrics like latency sparklines, P95, and a status history timeline. https://github.com/abhixdd/UptimeKit-CLI?tab=readme-ov-file

the incentive was always there but imo the ad revenue sharing thing was the single worst change to the site with cascading downstream effects

RE: https://bsky.app/profile/did:plc:2whlowi5jjjqrdrrj4lxh2lx/post/3m6d4enxqck2z

A perspective on interactive theorem provers in Physics. ~ Joseph Tooby-Smith. https://advanced.onlinelibrary.wiley.com/doi/10.1002/advs.202517294 #ITP #LeanProver #Physics

It’s been down for more than three hours now. Nothing critical, it’s just one of the nodes in my "CDN" that serves the BSD Cafe’s media (and a bit more), and DNS has already taken it out since it’s not responding.
Still, I’ve never experienced such a long outage on #Hetzner before.

#BSDCafeUpdates #BSDCafe

I hate ‘self-taught’. You’re not self-taught, you’re community taught. Self-taught is erasing all the work that allowed you to learn from freely available materials and people.

It’s a poor phrase for the idea that you are degreeless. And there’s nothing wrong with skipping formal education.