Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.
Rosalia album
I can't do the new Rosalia album, sorry. By far the most interesting part of her new album is the track with Björk on it, and like, I'd much rather just listen to Björk.
The album is eminating inauthentic vibes to me. Listening to it a couple more times would let me phrase it better, but I'm not going to put myself through that lol.
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.
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.
In the past year or so, Colorado released 25 wolves, to re establish a population. But it isn't going to be easy.
10 are dead.
And half of those? PEOPLE.
https://www.vox.com/climate/470075/colorado-wolf-release-program-stumbles
meow
The day was really intense and stressful, but the first thing I did this morning was something that put me in a good mood right away.
A submission for a presentation at a wonderful conference.
But I will say no more for now 😉
Als Unwort des Jahres bietet sich #Familienunternehmen an.
The "glowing" tree...
#Foto #Nature #Tree #Autumn #NorthernGermany #LandBetweenAndBelowTheSeas
@minegoMicah Overachiever! Nice :3
@catsaladCat 🐈🥗 (D.Burch) 
Ya know what they say...
Go big and go home. (Some say "or" but that makes no sense...)
how much of the cloudflare rust rewrite have been vibe coded?
https://www.cloudflare.com/learning/ai/how-to-get-started-with-vibe-coding/
Eins der Standardwohlfühlessen: knusprige Pilze auf cremiger Polenta, dazu Salat und ein bisschen Juicy Marble.
#FreeBSD 15-STABLE:
Newer FreeBSD version for package FreeBSD-zfs-lib32:
To ignore this error set IGNORE_OSVERSION=yes
- package: 1500502
- running userland: 1500501
Ignore the mismatch and continue? [y/N]:
Anyone know what to do here?
I'm on pkg+hxxs://pkg.Freebsd.org/${ABI}/base_latest/
pkg is V2.4.2
“It's a perfect week to push to PROD!” 🦔
CSS isn't design
An introduction to formal real analysis (Lecture 21: Functions and derivatives). ~ Alex Kontorovich. https://youtu.be/ofB8uRHGu-c #ITP #LeanProver #Math
Serflings is a remake of The Settlers 1
Link: https://www.simpleguide.net/serflings.xhtml
Discussion: https://news.ycombinator.com/item?id=46013132
We are thrilled to announce 
@aevaÆva as our keynote speaker for FOSS Backstage 2026!
Read our new blog post to learn more: https://26.foss-backstage.de/aeva-black-to-keynote-at-foss-backstage-2026/.
Join us and save more than 40% on the regular ticket price with our Early Bird Ticket, which is only available until 8 December! Get your ticket: https://tickets.plainschwarz.com/fossback26/c/gk1NRcabT/
Repeat after me: Rust is a machine that turns security incidents into downtime incidents
@mcc@mastodon.social the scary thing about this framing is that it rather highlights the fact that security issues don't tend to have (short term) cash flow implications, while downtime incidents do.
I've never been a fan of reggae, but my dad took me to see this when I was... 15 or so, and I've always loved this scene.
(Dad led a church youth group that visited Jamaica and helped paint a school or something, back in the 70s.)
What do you recommend?
@catsaladCat 🐈🥗 (D.Burch) disappearing into the woods to become a local legend used to threaten unruly children into behaving.
New post from me over on the 
@spritelyThe Spritely Institute blog: Composing capability security and conflict-free replicated data types
Local-first apps often use CRDTs, but I'm not really aware of any that fully embrace capability security. This post is an attempt to show how the two can be composed using a simple group chat application as a case study.
#License nerds: Is it compatible with #GPL v3 to ask soft-phone users to accept "general terms" and a "privacy policy" if all you want is to use a THIRD PARTY account? I think this is a violation. 🤔
Looking at you 
@linphone1Linphone …
Digital sovereignty can only be achieved with Free Software! That’s why, in our feedback to the Germany Stack consultation, we call for the Stack to be implemented entirely as Free Software.
Read our news item:
https://fsfe.org/news/2025/news-20251124-01.html
Our feedback on openCode:
https://gitlab.opencode.de/dstack/d-stack-home/-/issues/347 (DE)
The Germany Stack consultation runs until 30 November 2025. Until then, everyone can submit feedback via openCode.
#FreeSoftware #PublicCode #DStack #OpenSource 
@BMDSBundesdigitalministerium
Germany Stack: Only Free Software Enables Digital Sovereignty - FSFE
The “Germany Stack” is a central digital-policy project of the German federal government. The FSFE calls for the Stack to be planned in close coordination ...
fsfe.org · FSFE - Free Software Foundation Europe
Link author: 
Free Software Foundation Europe@fsfe@mastodon.social
Repeat after me: Rust is a machine that turns security incidents into downtime incidents
こんな時間に酒飲んでも朝っぱらからチャキチャキ働いてる俺偉すぎんだろマジ
운동 결제의 날이 또 왔구만….
Damn these things sell out quick. I was too slow:
https://store.analogue.co/products/analogue-3d-black
I'm gonna have to be quick on the buzzer when this thing is released:
https://www.lego.com/en-us/product/star-trek-u-s-s-enterprise-ncc-1701-d-10356
What do you recommend?
@catsaladCat 🐈🥗 (D.Burch) I don’t recommend it
What do you recommend?
@rgbunnyRetro Goth Bunny @catsaladCat 🐈🥗 (D.Burch) It's a bunny consensus.
밥도 먹었고 배부른데 자꾸 심심해서 뭔가 먹고싶다
RE: https://mastodon.world/@signalapp/115169549050033066
Now available on iOS 😎
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 :
1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold".
2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean.
3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean
EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0
What do you recommend?
IT-Sicherheit: BSI will Webmail-Anbieter stärker in die Pflicht nehmen
Die E-Mail-Sicherheit lastet größtenteils auf den Schultern der Anwender, moniert das BSI. Es sieht die Betreiber etwa bei der Anmeldung in der Verantwortung.
Announcement time:
Sara, Goose, Zero and I are moving to London in January!
The whole process is proving very expensive (what isn’t these days) so I’ve decided to bump the price of Obscura from $20 to $25 per year. But since it’s black friday, you can get your first year for just $10 yay!
https://apps.apple.com/us/app/obscura-pro-camera/id1579306989
그리고 맨날 이상한 위치에 큰 물건 둬서 콘센트랑 랜포트 못쓰게 하는데 미리 가서 구역 다 나눠야지 ㅡㅡ
Want to find a specific port? Just type the following under /usr/ports
or one of its subdirectories:
make search name=<port-name>
or
make search key=<keyword>
首野獣のカス絵ズル
よこせ
A judge may break up Google’s ad empire. 
@leoChief TWiT 
, Fr. Robert Ballecer, SJ, 
@molly0xfffMolly White, and 
@wesley83Wesley Faulkner talk about the fallout, Copilot’s stumble, and global moderation issues.
Episode: https://twit.tv/shows/this-week-in-tech/episodes/1059
Want to find a specific port? Just type the following under /usr/ports
or one of its subdirectories:
make search name=<port-name>
or
make search key=<keyword>
나도 이번에 이사갈 때 멀티탭 싹 바꾸고 소화기스티커 싹 다 붙일거야….
How to Install #Pleroma on #Ubuntu #VPS (5 Minute Quick-Start Guide)
This article provides a guide demonstrating how to install Pleroma on Ubuntu VPS.
What is Pleroma?
Pleroma is a free, open-source, self-hostable microblogging server that speaks the #ActivityPub federation protocol—so your users can interact with people on other #Fediverse platforms (e.g., Mastodon) while you keep full control over your server ...
Continued 👉 https://blog.radwebhosting.com/how-to-install-pleroma-on-ubuntu-vps/?utm_source=mastodon&utm_medium=social&utm_campaign=mastodon.social #letsencrypt #selfhosted #selfhosting
soundcloud, but in the fediverse?
#activitypub #askfediverse
@raphaelRaphaël Bastide there's also bandwagon and perhaps mirlo (if they achieve their goal of federating), even though they're closer to bandcamp than soundcloud.
@openrisk @raphaelRaphaël Bastide Do you know a particular instance that musicians can join
@QuentinJuhel @raphaelRaphaël Bastide
no specific recommendation but you could check these catalogs:
Kat Marchán 🐈
Misty
just small circles 🕊
