What is Hackers' Pub?

とても怪しそう

fact: in the earliest days of public transit, ticket validation was commonly performed by hired catgirls. the creatures’ unique teeth patterns served to bind the validated ticket to the particular transit line, and the validation stations doubled as information desks, as members of the species tend to be massive transit nerds.

however, this system had to be quickly phased out in favor of mechanical validators, due to numerous complaints about accidental validation of passenger fingers and other body parts.

Introducing the "Tuscolo" Certificate Transparency logs, a new thing that @filippoFilippo Valsorda and I am operating:

https://groups.google.com/a/chromium.org/g/ct-policy/c/KCzYEIIZSxg

For a while the certificate transparency ecosystem has been struggling to keep up with correctness (basically never roll back) and reliability (99% uptime) requirements, to address this there is a updated standard that @filippoFilippo Valsorda worked on, Since he also worked on the first serious implementation of this new standard "sunlight", Port 179 LTD (me) and Geomys (Filippo and friends) are now running a log running this, ensuring there is "skin in the game" for this spec.

This log will be different from the traditional set up of CT logs that involve large MySQL or Cassandra clusters, and instead we just have a single reasonably low cost "bare metal" AMD machine. We expect this log to be around 50 times cheaper to operate than the established CT logs based in the "hyperscalers" (AWS/GCP/Azure/etc).

Tuscolo is currently receiving all Lets Encrypt certificates (as they are issued), hopefully there will be more CA's to come once we have full acceptance in the web browsers (we will likely be the first for a sunlight/new spec log to be accepted)

@heymarkreevesMark Reeves 🇺🇦 🇨🇦 There are already some great alternatives, like @mirlomirlo.space and https://bandwagon.fm, we just need to help them grow!

수면 앱을 써봐야하나
효과가 있는지는 모르겠지만

怪しげな魔術、はじめました

Thanks to your amazing support, our team is funded for the next year. This is a huge relief and lets us focus on building a truly self-sustaining OSL.

https://osuosl.org/blog/osl-future-update/

Today, during office hours, I opened many cool tabs as usual. ✨

* Coolify https://fmacedo.com/posts/coolify-your-django-project/
* django-simple-deploy https://django-simple-deploy.readthedocs.io/en/latest/
* a proposal for llms.txt https://llmstxt.org/
* charm https://charm.sh/

Did I forget something?

Itter.sh – Micro-Blogging via Terminal

Link: https://www.itter.sh/
Discussion: https://news.ycombinator.com/item?id=43936884

There was a «A Language Creators’ Conversation» in 2019 with:
• Anders Hejlsberg (Turbo Pascal, Delphi, C#, #TypeScript)
• James Gosling (#Java)
• Guido Van Rossum (#Python)
• Larry Wall (#Perl)

hosted by Carol Willing (#JupyterProject).

The audio is very bad, but I wanted to share the content so I paid a human to transcribe it better than an AI could.

Here's the transcript & link to video. Enjoy!

https://ramalho.org/posts/language-creators-2019/

Thrilled to announce my new Project Zero blog post is LIVE! 🎉 I detail my knowledge-driven fuzzing process to find sandbox escape vulnerabilities in CoreAudio on MacOS.

I'll talk about this and the exploitation process next week
@offensive_con

https://googleprojectzero.blogspot.com/2025/05/breaking-sound-barrier-part-i-fuzzing.html

졸린다 자고 싶지 않음

16-bit Intel 8088 Chip by Charles Bukowski https://lobste.rs/s/ag5hyv #culture
https://kottke.org/25/05/16-bit-intel-8088-chip-by-charles-bukowski

@heymarkreevesMark Reeves 🇺🇦 🇨🇦 I'm making music as a hobby, but I'd imagine for professional musicians the network effect could be a strong draw.

Previous attendees:

If you were registered for the canceled April 2025 FediForum, and have not asked for a refund, you are automatically registered for the June event. You do not need to re-register.

I'm trying to understand why a self-hosted Wordpress site is loading slowly.

Does anyone have a tool or a workflow that helps diagnose these issues?

My trackpad is slowly dying so I have to get used to the nipple and maybe a window manager, specifically i3, what do you guys think of WMs?

My feelings are hurt. Needed to listen to Obviously by McFly to get the earworm out of my head - and it was posted to YouTube 17 years ago 💀

Lógicas de orden superior y verificación formal [Slides]. ~ Lourdes del Carmen González Huesca. https://drive.google.com/drive/folders/1cE1a0N-2ZMrVx8i58W0KG8s3KMVHawZn #Logic #Math #Haskell #FunctionalProgramming #ITP #Coq #Rocq

つのせ誕おめでとうございます　という落書き

Thrilled to announce my new Project Zero blog post is LIVE! 🎉 I detail my knowledge-driven fuzzing process to find sandbox escape vulnerabilities in CoreAudio on MacOS.

I'll talk about this and the exploitation process next week
@offensive_con

https://googleprojectzero.blogspot.com/2025/05/breaking-sound-barrier-part-i-fuzzing.html

Lógicas de orden superior y verificación formal. ~ Lourdes del Carmen González Huesca. https://youtu.be/9uTD7BMvbjw #Logic #Math #Haskell #FunctionalProgramming #ITP #Coq #Rocq

にゃーん

Void Linux 미러의 Helm 차트를 정리해서 다양한 미러를 구성할 수 있는 Helm 차트를 만들었어요~~

https://github.com/kyokugirl/helm-charts/tree/main/charts/file-mirror

www.catholicnews.co.kr/news/article... 천주교에서 이런분도 계셨다

윤순녀, "낙태 반대하려면 아기가 살 세상도 고민해야죠...

I am trying to set up a local mastodon server on ip address and http for my high school students. I can't get it working and would love the help of any mastodon admins out there!

Details here:
https://github.com/mastodon/mastodon/discussions/34653

#mastodon #MastodonAdmin

@justdude yes, N150 but performance should be comparable

remember to solve all your problems using technology. this is sustainable and will work for everything

Automatically create passkeys in Google Password Manager on Chrome desktop

https://developer.chrome.com/blog/passkey-automatic-upgrades?hl=en

Do popes leave a final letter for their successor the way presidents do? If so, I'll bet this one says "whatever you do, don't meet with JD Vance."

Do popes leave a final letter for their successor the way presidents do? If so, I'll bet this one says "whatever you do, don't meet with JD Vance."

Federal District Judge William Sessions orders Rumeysa Ozturk, a Tufts doctoral candidate, be immediately released from immigration custody on bail, saying her case raises "very substantial" and "very significant" First Amendment and due process claims. https://www.cbsnews.com/news/rumeysa-ozturk-bail-hearing-tufts-student/

New Video: Look up in a Japanese city, and you're likely to see a sky view partly obscured by power lines. So, why are Japan's utility lines far more visible than those in other advanced economies? Our video, below, covers the intriguing history.

I love browsing for transgender newsbreaks on twitter. I use transgender min_faves:100 sorted by new to find things that are popping up. I always get such interesting stories... usually goes like this: Trans sports Nazis Trans sports Porn Porn Porn Porn Porn

Let the fun begin!

#RunBSD #MiniPC

まぁサーバーサイドのエラーってわかっただけいいんじゃないかしら

"Domina rcctl en OpenBSD" por The OpenBSD guy
https://youtu.be/GGsxdfxDOkM

Getting tired of dealing with code generation issues w/C compilers in my #osdev project, so I've started working on a fresh implementation of the C code in x86-64 assembly.

I've gotten this to the point where it starts up, switches to protected mode, then to long mode, and can read keyboard input and display some things to the text screen. I'll start rewriting the actual display driver tomorrow, then the ATA driver so I can get it to load the konilo rom & blocks. At that point, I'll hopefully be able to reuse the existing unix ilo-amd64 assembly vm code to run a full Konilo system.

#openSUSE removes Deepin from #Tumbleweed and later #Leap due to numerous violations of packaging policy.
Sounds probably bad for Deepin users, but what surprised me is this:
"In January 2025, during routine reviews, we stumbled upon the deepin-feature-enable package, which was introduced on 2021-04-27 without consulting us or even informing us."
This package basically asked user permission and then injected D-Bus configs and Polkit policies from custom tarballs to circumvent openSUSE strict policy about new D-Bus and Polkit. Sounds shady, right?
But it has been happening for four years! It seems modern OSes and #Linux in particular are overbloated.
How can we expect normal user to know their system, if even maintainers have no idea what's happening behind the curtains?
It's good to see this resolved at last, but man, four years!
What's funny, this "shady" package description plainly states that it asks the user if they agree to openSUSE security circumvention to install D-Bus configs and PolKit policies.

https://security.opensuse.org/2025/05/07/deepin-desktop-removal.html

Scrap your iteration combinators. ~ Tom Ellis. https://h2.jaguarpaw.co.uk/posts/scrap-your-iteration-combinators/ #Haskell #FunctionalProgramming

うぬぬ

New blog post "Sep 0.10.0 - 21 GB/s CSV Parsing Using SIMD on AMD 9950X 🚀"

📈 Sep #performance from 7 GB/s to 21 GB/s over last two years
🧑‍💻 #csharp #SIMD and #x64 assembly on #dotnet 9.0
🛠️ Tweaks and new #AVX512-to-256 parser
🔢 Lots of benchmarks

👇
https://nietras.com/2025/05/09/sep-0-10-0/

Today, during office hours, I opened many cool tabs as usual. ✨

* Coolify https://fmacedo.com/posts/coolify-your-django-project/
* django-simple-deploy https://django-simple-deploy.readthedocs.io/en/latest/
* a proposal for llms.txt https://llmstxt.org/
* charm https://charm.sh/

Did I forget something?

Another photo thread!! :3

This time starting in Hong Kong

All photos CC BY-SA 4.0 by Jana M. Hemsing

Beginnings of a Haskell game engine. ~ Mitchell Vitez. https://vitez.me/haskell-game-engine-beginnings #Haskell #FunctionalProgramming