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.
Demostraciones de "(a ∖ b) ∖ c ⊆ a ∖ (b ∪ c)" con Lean4 y con Isabelle/HOL. https://jaalonso.github.io/calculemus/posts/2021/05/19-diferencia_de_diferencia_de_conjuntos/ #LeanProver #IsabelleHOL #Math #Calculemus
Have you been Nicoled yet?
#Fediverse 🐥
Hello Fediverse admins/mods,
I need help to collate some Nicole data. I've noticed they're exclusively using outlook.com emails so far, and I want to make a big list of known emails to send to microsoft
Please DM me with any emails from disabled Nicole accounts
今日のBBC Global News Podcastには無能大統領が登場しなかった。いい日だ！（ひどいニュースは他にもたくさんあるよ）
You can automatically download and install binary packages by doing
pkg install <package>
This will also automatically install the packages that are dependencies
for the package you install (ie, the packages it needs in order to work.)
In the last 24h we created 81 GB traffic.
Flaky: 10 GB, Obsy: 71 GB
Have a nice evening with free access to the internet.
Obsy and Flaky
Dette er ikke den gode reklamen de tror det er.
Primeiro você começa
Depois você desiste.
(desistir antes de começar também tá valendo)
macOSでMastodonを動かせないことはないだろうけどCで書かれたライブラリの一部は自分でビルドしないといけなさそうよね。下記の記事はずいぶん昔のもの。
macOSでお手軽Mastodon開発 #Ruby - Qiita
https://qiita.com/zunda/items/5f8a0a8ee1e7c297dcd4
Hot ball in aloe gel 
Glenn Close / Jamie Farr
we finally have official confirmation from 
@nlnet that they'll fund (through 
@NGIZeroNGI Zero open source funding Core) our next MNT Reform series Processor Module, for Qualcomm QCS6490. as we'll adapt Thundercomm TurboX C6490P solderable modules as the base, we'll also get pin compat to more processors incl the very powerful Dragonwing QCS8550 that can go up to 3.2GHz.
ヒースロー空港のSPoF
ふえ
Good news! @nlnet has confirmed that my work on the s6-rc service manager will be funded, through the @NGIZeroNGI Zero open source funding Core initiative, so improvements will be happening this year.
You can expect at least a friendlier user interface, early boot scripts providing enough policy to be autonomous, and if all goes well, integration in a mainstream Linux distribution such as Alpine. Finally.
ah fuck I'm making a build system aren't I
I was able to get an instance of System 7 running in Basilisk 2 on both my Macbook Air and Mac Mini to connect to each other using AppleTalk!
1) Basilisk 2 preferences must have udptunnel set to true
and udpport set to the same port on all Basilisk 2 instances.
2) The Control Panel Sharing Setup must have File Sharing configured and started.
3) Guest user should have Allow guests to connect checked.
Thanks 
@oevl, you inspired me with your post last night.
こっちの方がいいかな
にゃんぷっぷ〜ってプラモデルだったんだ……
added more pride flags to my hatttttt :3
We are happy to announce that 56 teams and individuals will receive funding to support their work on improving the core technologies of the internet.
We'd like to congratulate them and thank them for making the internet better for us all.
Come and take a look at the projects to see the marvellous work being done to upgrade the open internet architecture.
https://nlnet.nl/news/2025/20250321-call-announcement-core.html
#FOSS #NGI0 #NGI
こっちの方がいいかな
Wow, TechCrunch got acquired by a private equity firm that has also bought a bunch of other old tech pubs: "Regent is trying to pull together a portfolio of tech news sites and is eager to invest in news. Earlier this week, it acquired Foundry, which houses a slew of online tech publications, such as PCWorld, Macworld and TechAdvisor." https://www.axios.com/2025/03/21/yahoo-techcrunch-regent
EFF’s Mario Trujillo accepted a James Madison Freedom of Information Award from the Northern California Chapter of the Society of Professional Journalists last night for his work helping independent news outlet 
@indybay quash an illegal San Francisco Police search warrant and vacate a gag order.
TIL aside from livespan, there is healthspan (healthy life expectancy (HALE)), which is the average expected number of years of “full health”.
I've moved my Mastodon account that posts screenshots of old websites to a new handle: 
@classicweb. It's a manually curated bot that posts memorable websites from the past, like this strange 2006 site that appeared out of nowhere (was it microblogging, was it a new form of txting? Nobody knew at that point...)
https://indieweb.social/@classicweb/114201528286279570
🚀 Discover amazing apps in the GNOME ecosystem! Check out the GNOME Circle Initiative and explore the awesome projects that make GNOME even better.
🔗 Visit now: https://circle.gnome.org
今天還是留得比較晚(8點)，結果發現就算是賣肝的公司，不知為什麼同事都離開了
最後還是有時間和伴侶會合吃甜品
還有已經差不多十年前的前同事(也是伴侶上一份工作的同事
一位是因為伴侶關係久久才見一次的，一位是從來沒見過的，但都很親切的感覺
這間公司除了薪水低一些，但裡面都是有著有趣靈魂的人
I've moved my Mastodon account that posts screenshots of old websites to a new handle: @classicweb. It's a manually curated bot that posts memorable websites from the past, like this strange 2006 site that appeared out of nowhere (was it microblogging, was it a new form of txting? Nobody knew at that point...)
https://indieweb.social/@classicweb/114201528286279570
this too shall fail
ずっとなにかしてた
そろそろ寝ないといけない...
My boss told me that getting s390x mainframe is not a valid work expense. It's not /that/ expensive, riiight? :<
まだマストドンするから寝ません。
Then there was a trailer for the Latvian animation Flow which looks great and DIFFERENT and was made mostly in Blender which I literally have on my computer and makes you think, wow, I could....
"Daddy, can we go see Flow at the cinema?"
"We have Flow at home!"
Flow at home:|
I have a million text streams and emails flying around this morning and I'm about to take a damn flame thrower to auto carrot... 🚗 🥕
what's that #DouglasAdams line?
"Computer, if you don’t open that exit hatch this moment I shall go straight to your major data banks with a very large axe and give you a reprogramming you’ll never forget, is that clear?"
TIL there are muscles that only some have
The psoas minor muscle is considered inconstant and is often absent, only being present in about 40% of human specimens studied.
ｷﾞﾖﾊﾌﾞの英語は簡単(海外の病院のホームページを見ながら)
@peteorrall 
@stefanoStefano Marinelli
Me too :)
Hello out there!
Instapix, our self-hosted, Pixelfed-based Instagram alternative just went live!
Why don't drop by and check it out? 
Don't forget to boost and share the news! 🙏
Also check out our newspost:
* https://fediverse.foundation/en/blog/instapix/
All the best and have a great weekend,
Fediverse Foundation
#Instapix #Boost #FediverseFoundation #fediverse #pixelfed #Unplug #UnplugTrump #UnplugGAFAM
🚀 Discover amazing apps in the GNOME ecosystem! Check out the GNOME Circle Initiative and explore the awesome projects that make GNOME even better.
🔗 Visit now: https://circle.gnome.org
なんで日本語が必要なんですか?
開発できるできないに頭の良さはあんまり関係ないんじゃないのと思ってたり
Hallo da draußen!
Instapix die von uns gehostete, auf Pixelfed basierende Instagram-Alternative, ist live!
Hier gibt's den Newsartikel dazu:
* https://fediverse.foundation/blog/instapix/
Schaut doch vorbei und probiert es aus
Bitte auch fleißig boosten! 🙏
Viele Grüße und frohes Wochenende,
Fediverse Foundation
#Instapix #Boost #FediverseFoundation #fediverse #pixelfed #Unplug #UnplugTrump #UnplugGAFAM
Got an "emergency" helpdesk ticket today, a customer lost communication between all six sites, which is critical for their operation.
Logged into the main firewall that all the other five sites connect to via VPN, as they have two internet connections with public IPs.
Found that all VPNs were down on both Internet connections, failover not working, and that no traffic was coming in on UDP 500/4500 on the wan side.
I suspected their CPE routers were the culprit, and wouldn't you know it, someone created a remote access IPSec connection on both routers, using the ports required by the firewall behind them.
Called the customer and they confirmed that some MSP that shall not be named had set up their own VPN access yesterday without telling anyone, nor testing if anything's still running. 😑
Scenarios like this make up most of my work: Fixing problems caused by other people who don't know what they're doing, but are smart enough to be dangerous.
Case study: Verified Vampire proofs in the LambdaPi-calculus modulo. ~ Anja Petković Komel, Michael Rawson, Martin Suad. https://arxiv.org/abs/2503.15541v1 #ATP #Vampire #Dedukti
(and probably focused more on the technical aspects because that episode was the director's debut, and so that's always something interesting)
Hoshino Lina (星乃リナ) 🩵 3D Yuri Wedding 2026!!!
Shlee fucked around and 
Dr. Anna Latour
Evan Prodromou
wakest ⁂
Sara Joy 
Brage Fuglseth
