What is Hackers' Pub?

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.

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 😉

#RunBSD

Als Unwort des Jahres bietet sich #Familienunternehmen an.

The "glowing" tree...

#Foto #Nature #Tree #Autumn #NorthernGermany #LandBetweenAndBelowTheSeas

@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.

#vegan #goVegan #comfortfood

https://goingdark.social/@watchfulcitizen/115605398411708768

#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

Permalink: https://wizardzines.com/comics/css-isnt-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/

@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.)

#Music #JimmyCliff

https://www.youtube.com/watch?v=FHAbj1pIT4g

@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.

https://spritely.institute/news/composing-capability-security-and-conflict-free-replicated-data-types.html

#spritely #localfirst #ocaps

#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