What is Hackers' Pub?

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.

Minsoo Choo :freebsd_logo: @minsoochoo@bsd.cafe
Public
Shared by Stefano Marinelli

My Windows UI/UX tier list by version:
S: Windows 10
A: Windows 7, XP
B: Windows 11
C: Windows 8, 8.1

Never used: Vista, 9x, NT, Server, Me, 2000

Dear Microsoft, please revert UI changes in Windows 11. They are horrible. I understand that Microsoft and Google envy Apple for UI design. But every time they try to copy Apple’s UI, it becomes a massive failure.

0
0
0
Æ. @aesthr@wandering.shop
Public

Set up your SSH (keys, usernames, ports) so that you can go to every host you need to with just `ssh <hostname>`.

It’s so nice.

Too long have I bothered with typing out “ssh -p 9999 whoever@whatever.com” constantly.

0
0
0
1
0
0
earthling @appassionato@mastodon.social
Public

Syria’s year after al-Assad: How the transition unfolded month by month

December 2024: Al-Assad flees to Russia after Damascus is seized, marking the collapse of six decades of Baath Party rule.

January 2025: Ahmed al-Sharaa is appointed transitional president, the constitution is scrapped and the regime’s security institutions are dissolved.
1/

0
0
0
1
0
0
0
0
0
Bulhwi Cha @chabulhwi@mathstodon.xyz
Public
Shared by notJoon

At last, I finished reading Chapter 7 of "Theorem Proving in Lean 4" in Korean by explaining how to use three tactics: cases, induction, and injection. youtu.be/N-ELdwO-vN4?si=kfemVP

"린 4로 하는 정리 증명" 7장 (11) 귀납형에 대한 전략

• "린 4로 하는 정리 증명" 7장: https://lean-lang.org/theorem_proving_in_lean4/Inductive-Types• 7장 퀴즈: https://git.sr.ht/~chabulhwi/tpil-solutions/tree/master/item/doc...

www.youtube.com · YouTube

3
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
Charlie Stross @cstross@wandering.shop
Public

I'm getting a LOT of new followers this weekend and today from mastodon.social that claim to be news aggregators. all created in the past 72 hours. Someone's spinning up a MONSTROUS propaganda/fake news campaign out there right now! I'm guessing it's a state level actor. Be cautious and double-check anything that sounds too good to be true or too outrageous to ignore!

screenshot showing an example mastodon profile of one of the fake news followers referred to in this toot. (No useful images, only clearly mendacious content hence lack of detailed description here.)
0
0
0
0
0
0
1
0
0
0
0
0
XR멍 @mock_jokerbug@threads.net
Public

볼 때마다 시각화를
정말 엄청 잘하셔서 놀랍습니다.

시각화뿐만 아니라
인터랙션의 자연스러움에서도
배울 점이 많은 것 같아요.

한국 분이 만드셨고,
곧 XR 관련 인터랙션
책도 내신다는데
너무 기대됩니다.

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
earthling @appassionato@mastodon.social
Public

Syrian exodus

The 14-year-long war led to one of the world’s largest migration crises, with some 6.8 million Syrians, about a third of the population, fleeing the country at the war’s peak in 2021, seeking refuge wherever they could find it.

More than half of these refugees, about 3.74 million, settled in neighbouring Turkiye, while 840,000 found refuge in Lebanon and 672,000 in Jordan.


0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
Martin Seeger @masek@infosec.exchange
Public
Shared by Cat 🐈🥗 (D.Burch) :paw:⁠:paw:

Dear OSS community on Mastodon,

Every day I scroll through my feed and I see proud announcements like:

“First Alpha Relase of HyperTurboWidget available"

or

“Version 2.7.1 now with improved glorb handlers!”

or

“Flux Capacitor version 4.5 is out”

… and I sit there wondering if I should be excited, terrified, or calling a licensed electrician.

Don’t get me wrong, I love open source. I just have no idea what three quarters of these projects actually do. Are we talking about a web server? A file system? A middleware thingy that keeps the flux from overflowing into the space–time continuum?

So, dear OSS developers of the world: When you announce a new release, please give us (your adoring but slightly confused audience) just a tiny bit of context.

  • Tell us what your software does.
  • Tell us why this release is cool.
  • Tell us what it requires to work.

Example:

We are proud to announce Flux Capacitor version 4.5 is now avalaible. While it creates a nice wormhole to 1955, it requires an underlying gigawatt stack 1.21 to work reliably.

Because nobody wants to cheer enthusiastically for “v2.7.1” while secretly Googling “what is a glorb and why does it need handling”.

Yours truly,

Someone who wants to celebrate your achievements

0
0
0
1
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
1
0
0
0
0
0
0
Daniela Schreiter @Fuchskind@mastodon.art
Public

Falls ihr überlegt meine Comics zu Xmas zu verschenken: Schaut doch mal bei Autorenwelt vorbei, da bekommen Autor*innen von jedem Verkauf noch etwas vom Erlös dazu ❤️.
shop.autorenwelt.de/search?q=&

Suchen

Fair Bücher kaufen. Wir beteiligen AutorInnen beim Verkauf ihrer Bücher zusätzlich mit 7% des Verkaufspreises.

shop.autorenwelt.de · Autorenwelt Shop

0
0
1
0
0
0