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.

0
0
0
0
0
0
0
0
0
0
0
0
Vitex @vitex@f.cz
Public

Dnes si připomínáme 45 let od vraždy Johnna Lennona

Jako každý rok, budeme dnes večer vzpomínat, zpívat, chlastat a hulit na Maltézkém náměstí u zdi, dokud nás nevyžene zima nebo cajti.

(Kdo by chtěl na Johnovi najít nějakou chybu, může, ale my tu opěvujeme legendu, očištěnou od vyhnání hipíků z ostrova a podobných chybyček ná kráse)

cs.wikipedia.org/wiki/Vra%C5%B

J.W.Lennon
0
0
0
0
0
0
0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

GitHub Actions Has a Package Manager, and It Might Be the Worst

Link: nesbitt.io/2025/12/06/github-a
Discussion: news.ycombinator.com/item?id=4

GitHub Actions Has a Package Manager, and It Might Be the Worst

GitHub Actions has a package manager that ignores decades of supply chain security best practices: no lockfile, no integrity verification, no transitive pinning

nesbitt.io · Andrew Nesbitt

0
0
0
Bulhwi Cha @chabulhwi@mathstodon.xyz
Public

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
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
3
0
0
1
0
0
0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

Palantir Could Be the Most Overvalued Company That Ever Existed

Link: 247wallst.com/investing/2025/1
Discussion: news.ycombinator.com/item?id=4

Palantir Could Be the Most Overvalued Company That Ever Existed

We’re entering a new period in the market. Call it what you want – a paradigm shift or simply shifting investor sentiment – but it’s clear that valuations now matter.  Unlike previous periods of time, such as the growth frenzy following the onset of the pandemic in which any unprofitable growth stock with a reasonable ... Palantir Could Be the Most Overvalued Company That Ever Existed

247wallst.com · 24/7 Wall St.

0
0
0
NN1 Dev Club @nn1dev@mastodon.social
Public
Shared by keithamus

We'd like to invite you to our 10th meetup that will take place on 29/01/2026 at 6pm. We've got some absolute legends speaking at this one! @keithamus, ex-GitHub senior engineer now a staff-level member of Mozilla's DOM Core team and prolific contributor to all dominant browser engines, is going to walk us through the chaos of CSS. Following this technical deep dive, Paul Jesson and Ian Zant-Boer will share insights on building financial foundations for tech businesses.

nn1.dev/events/10/

#10: "Bad at CSS" by Keith Cirkel and "Start-Up to Exit: The Journey for Tech Companies" by Paul Jesson and Ian Zant-Boer | NN1 Dev Club

We've got some absolute legends speaking at this one! Keith Cirkel, ex-GitHub senior engineer now a staff-level member of Mozilla's DOM Core team and prolific contributor to all dominant browser engines, is going to walk us through the chaos of CSS. Following this technical deep dive, Paul Jesson and Ian Zant-Boer will share insights on building financial foundations and navigating fundraising rounds for tech businesses.

nn1.dev · #10: "Bad at CSS" by Keith Cirkel and "Start-Up to Exit: The Journey for Tech Companies" by Paul Jesson and Ian Zant-Boer | NN1 Dev Club

Link author: NN1 Dev Club@nn1dev@mastodon.social

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
3
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
2
0
0
Martin Seeger @masek@infosec.exchange
Public

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
DW Innovation @dw_innovation@mastodon.social
Public

Big news: Deutsche Welle has launched DW Access, an Android app that delivers independent news where it's needed most: in regions under information lockdown.

Key features:

➡️ No app store needed (share via link, messenger, bluetooth)

➡️ Offline mode

➡️ Built-in VPN protection

➡️ Zero personal data collected

More info (and download options) over here: corporate.dw.com/en/dw-access-

DW Access | Keyvisual Composite

DW Access: New app counters global censorship

DW Access is a lightweight app designed to ensure access to independent information in regions where digital freedom is under threat. It provides users with a secure way to reach DW content even under severe censorship.

corporate.dw.com · Deutsche Welle

0
0
1
1
0
0
2
0
0