What is Hackers' Pub?

@stefanoStefano Marinelli @justineJustine Smithies
I can only view the first picture here.
For the others I get an error message?
Just in case it helps 👇

You wouldn't pool a whirl

Read my writeup. If you like the colour red or reactions involving the carbonyl atoms. Or for any other reasons

https://isopropyletherperoxide.github.io/2025/05/02/Pyrylium.html

流星群とか見たことないわね

Augmentation / Replacement https://lobste.rs/s/bdvhas #practices #vibecoding
https://olano.dev/blog/augmentation-replacement

Really excited to share this image for #MountainMonday today. I took this image on my first ever trip to #Europe last year. We ventured to the #Mountains in Northern Italy for some hiking where we were greeted with freshly snow capped mountains. It made for an incredible welcome to our trip to this area.

This image has become one of my favorites from the trip. Hopefully I will return someday.

#landscapephotography #lpw #naturephotography #mountainphotography #italy #dolomites #dolomiti #

Vienna Haskell Meetup on the 22nd of May 2025

https://well-typed.com/

Discussions: https://discu.eu/q/https://well-typed.com/

#haskell #programming

Dass die Union kein Bock auf ein AfD-Verbotsverfahren hat, ist gar nicht so überraschend, wenn man bedenkt, dass deren Forderungen, die dann dort auf ihre Vereinbarkeit mit dem Grundgesetz hin untersucht würden, zu einem großen Teil auch von ihr selbst kommen könnten.

Overengineering PR create with jj https://lobste.rs/s/dzjswf #vcs #vibecoding
https://crespo.business/posts/overeng-pr-create-jj/

OSがFedoraになった

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

#hyprland #FreeBSD

Blog Questions Challenge: Ten Pointless Facts About Me (thx @rl_daneR.L. Dane 🍵!)

https://michal.sapka.pl/2025/blog-questions-challenge-ten-pointless-facts-about-me/

I am not cool enough to nominate anyone.

Is there a #fediverse forum-like software? Lenny is alike but it’s closer so digg

To determine whether a file is a text file, executable, or some other type
of file, use

file filename
-- Dru <genesis@istar.ca>

はなげ

You know what I love about the Fediverse?

I don't feel compelled to follow everyone I interact with. My "algorithm" is the timeline I have made for myself, as contributed to by the people I have chosen to follow.

Many interactions are just two ships passing in the night, and that is it. Sometimes, we pass again and I choose to follow. Sometimes, I don't.

But it's not like I have lost all chance to ever see this person again. The algorithm of commercial platforms emphasizes following all interactions, no matter how ephemeral. Because anyone you don't explicitly follow may be lost forever in the soup of populist commercialization.

うーん
一部のファイルが壊れてる

#Introduction

Hello Fedi, I'm kzimmermann, and now it's no secret that I just moved here from #Fosstodon.

Perhaps my reasons for doing so were not clear. Yes, everyone had a personal reason, but I think mine were a little different, as I had been planning this move for a few months now.

I tried to summarize them here, but ended up writing something of a novel instead. Oh well. Here it goes:

https://kzimmermann.0x.no/articles/moving_to_cim.html

Mirror for those without IPv6: https://tilde.town/~kzimmermann/articles/moving_to_cim.html

Copying my bio information:

I'm an amateur hacker who works towards the advancement free software. Advocates for privacy and user freedom. Enjoyer of casual FOSS Gameplay. Historically, a fedizen since 2015.

I have a backup blog (in tilde.town) and a Peertube channel for those who like bad FOSS gameplay.

Please boost this so people get the news of my new home!

ビジュの第一印象だけで描けるのは今だけ！

The Beauty of Having a Pi-Hole

Link: https://den.dev/blog/pihole/
Discussion: https://news.ycombinator.com/item?id=43894175

In a bit under 22 hours, I will be streaming on Twitch at https://www.twitch.tv/glyph_official/ and doing something with #Python code and #Emacs either the last or second-to-last time before #PyConUS 2025.

Evolving OpenAI's Structure

Link: https://openai.com/index/evolving-our-structure/
Discussion: https://news.ycombinator.com/item?id=43897772

のんだ

04:02 です。 お水飲みましたか?

04:02 です。 お水飲みましたか?

おふとんになった

ぜんぜん気付いていなかったけど、良い記事だった(2024年12月16日)。

【特集】「国際美術展における政治性」大舘奈津子 https://critique.aicajapan.com/7909

とりあえずねる

On when to use coordinates and other concrete constructions in mathematics, and when to use coordinate-free formulations and abstractions:

1. If your priority is to perform computations in mathematics, use coordinates and concrete constructions.
2. If your priority is to generalize to as broad a range of use cases as possible, use coordinate-free formulations and abstractions.
3. If your priority is to actually understand what is going on behind the mathematical formalism, learn how the coordinate-based and coordinate-free approaches are equivalent.

EDIT: in order to illustrate this point, let me give the concrete example that motivated this abstract statement. In my analysis class today I gave two proofs of Plancherel's theorem on compact abelian groups. The first approach used the Stone-Weierstrass theorem to reduce to showing that multiplicative characters separated points, and then for groups written explicitly in coordinates such as products of cyclic groups, or tori, one explicitly wrote down enough characters to separate points. This is a quick proof but relies on coordinates. Then I gave the coordinate free proof in which one simultaneously diagonalized convolution operators to obtain an eigenbasis of characters. This is more advanced (it requires the spectral theorem for compact operators) but has the advantage of generalization, for instance to the Peter-Weyl theorem for compact nonabelian groups.

Though even the concrete proof involved one abstraction step: in order for the Stone-Weierstrass theorem to be useful, it had to be abstracted from the more concrete Weierstrass approximation theorem, which only applied to polynomials, and not to trigonometric polynomials.

Me, every time the EU "wants to attract researchers":

おひるねして二度寝したら朝ですね！​​

おきちゃ​​

ぜんぜん気付いていなかったけど、良い記事だった(2024年12月16日)。

【特集】「国際美術展における政治性」大舘奈津子 https://critique.aicajapan.com/7909

Our approach to solutions software engineering at @oxidecomputerOxide Computer Company may be seen by some as unusual; today @ahlAdam Leventhal and I will be joined by our colleague @sudomateoMatthew Sanabria to talk about his experience -- and what drew him to Oxide. Join us, 5p Pacific!

https://discord.gg/QrcKGTTPrF?event=1369015261574987818

Recorded and syndicated as always:

https://oxide-and-friends.transistor.fm/

And note that we are hiring for this role; more details:

https://oxide.computer/careers/solutions-software-engineer

Our approach to solutions software engineering at @oxidecomputerOxide Computer Company may be seen by some as unusual; today @ahlAdam Leventhal and I will be joined by our colleague @sudomateoMatthew Sanabria to talk about his experience -- and what drew him to Oxide. Join us, 5p Pacific!

https://discord.gg/QrcKGTTPrF?event=1369015261574987818

Recorded and syndicated as always:

https://oxide-and-friends.transistor.fm/

And note that we are hiring for this role; more details:

https://oxide.computer/careers/solutions-software-engineer

Periodic reminder that "leaving the US is privilege" is not helpful.

You're not leaving. You're fleeing.

I was asked by a 20 year younger friend how my internet was back then. I needed a moment but then I told her the story of an IRC channel and how we made the day for a young girl who happened to be on our IRC channel. Because this is what my internet was like back then and I wish sometimes it still was like this. Let me tell the story:

I was 25, the channel members were like 20 to 30 years old. Somehow this young girl found her way to us. She was 14 when she joined the channel. >>

もうこんなじかん

うあ

You know what I love about the Fediverse?

I don't feel compelled to follow everyone I interact with. My "algorithm" is the timeline I have made for myself, as contributed to by the people I have chosen to follow.

Many interactions are just two ships passing in the night, and that is it. Sometimes, we pass again and I choose to follow. Sometimes, I don't.

But it's not like I have lost all chance to ever see this person again. The algorithm of commercial platforms emphasizes following all interactions, no matter how ephemeral. Because anyone you don't explicitly follow may be lost forever in the soup of populist commercialization.

@whitequark✧✦Catherine✦✧ debug random number generator

A new challenger has entered the ring!

While I'm working on getting today's #FiresideFedi uploaded, thank you again to @blenderdumbassBlender Dumbass ( J.Y.Amihud ) , I can now confirm that our next #episode on Wednesday May 5th at 1430 Eastern / UTC -4 will feature #special #guest @laurenshof@firefish.social . Lauren runs @fediversereportConnected Places !

If you don't follow the #Fediverse #Report, go do so now! It has lots of interesting topics and isn't just centered on #Mastodon or #Peertube, but includes even #BSKY .

Watch the show live:
#Owncast #Livestream - https://stream.firesidefedi.live

After the show:
#Peertube #VOD - https://video.firesidefedi.live
#Castopod #Fedicast - https://audio.firesidefedi.live

All #Links - https://firesidefedi.live

#stream #live #interview #firesideFedi #FsF #people #peopleOverPlatforms #protocolsOverPlatforms #fedi #fediverse #open #internet #openInternet
#podcast #fedicast #FediverseReport #livestream #show

quiz: from this snippet, would you be able to understand how to program the breakpoint/watchpoint units in tandem?

As an experienced LLM user, I don't use generative LLMs often

Link: https://minimaxir.com/2025/05/llm-use/
Discussion: https://news.ycombinator.com/item?id=43897320

Support for Windows 10 ends on October 14, 2025. Microsoft wants you to buy a new computer. But what if you could make your current one fast and secure again?

Check out the End of 10 initiative to learn more! If you know anyone else who might find this useful, share it with them!

https://endof10.org

Das ist der Hammer. Diese Digitalwerbung ist unglaubliche Energieverschwendung und Ressourcenverschwendung für die Displays noch dazu. Dass Werbung auf Personen abgestimmt wird, die vorbeilaufen, habe ich, glaube ich, 2004 zum ersten Mal von Padelun an der Uni Bremen bei einem Vortrag gehört. Jetzt scheint das Realität geworden zu sein.

Das ist einfach Wahnsinn! Ich möchte gern von meinem Staat vor so was beschützt werden. Auch die Klo-Bushäuschen-Geschichte ist Wahnsinn. Wieso machen das die Verwaltungen der Städte mit?

https://www.ardmediathek.de/video/Y3JpZDovL2Rhc2Vyc3RlLm5kci5kZS80ODY3XzIwMjQtMDUtMDItMjMtMzU

#Wall #Stöer #Werbung #Werbefrei

This is why fedi matters. Making news outlets immune to the influence of third parties over their distribution, letting the people decide what goes viral. Running their own news sites with #ActivityPub enabled, the public becomes able to boost any story we want to those who follow us. No ads in the way, no algos having the final say over what shows up. We just need better tools for consuming what's most popular among those we follow and paying journalists. #SocialWeb
https://toot.io/@MediaOnMastodon/114456528522277718