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
Rose 🌹 @rose.bsky.team@bsky.brid.gy
Public

So excited to welcome Toni to the Bluesky team! Toni has been an advisor to me and Jay for years, and we're thrilled he has answered our call to lead us in the interim.

RE: https://bsky.app/profile/did:plc:cwf4mmm7mpzistinx3ox2zhj/post/3mgnkln3fmk2j

Toni Schneider (@toni.bsky.team)

I'm thrilled to announce that I'll be joining Bluesky as interim CEO. I deeply believe in what this team has built and the open social web they're fighting for. More here: https://toni.org/2026/03/09/coming-off-the-bench-for-bluesky/

bsky.app · Bluesky Social

0
0
0
0
0
0
0
2
0
dan @danabra.mov@bsky.brid.gy
Public

what i need in local development: - i have ~4 users, i can ignore commits for other users - i turn it on while working on the app (obviously! it's on my laptop). i don't care what happens in between. - i'm fine with it nuking its own db and resyncing from scratch if needed - i can't "wait hours"

0
0
0
0
0
0
dan @danabra.mov@bsky.brid.gy
Public

if tap is fundamentally incapable of "running on and off" then this needs to be documented. it's just completely unclear how to use it properly. maybe the problem is between the screen and the keyboard, but it's been unusable for local development for me ever since i tried it. regret switching to it

0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Proving and computing: The infinite pigeonhole principle and countable choice. ~ Zena M. Ariola, Paul Downen, Hugo Herbelin. arxiv.org/abs/2603.04006

arXiv logo

Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice

Structural recursion is a common technique used by programmers in modern languages and is taught to introductory computer science students. But what about its dual, structural corecursion? Structural corecursion is an elegant technique, supported in languages like Haskell and proof assistants such as Rocq or Agda. It enables the design of compositional algorithms by decoupling the generation and consumption of potentially infinite or large data collections. Despite these strengths, structural corecursion is generally considered more advanced than structural recursion and is primarily studied in the context of pure functional programming. Our aim is to illustrate the expressive power of different notions of structural corecursion in the presence of classical reasoning. More specifically, we study coiteration and corecursion combined with the classical callcc operator, which provides a computational interpretation of classical reasoning. This combination enables interesting stream-processing algorithms. As an application, we present a corecursive, control-based proof of the Infinite Pigeonhole Principle and compare it with the continuation-passing proof of Escardó and Oliva in Agda. To further demonstrate the power of mixing corecursion and control, we give an implementation of the Axiom of Countable Choice. In contrast to the usual continuation-passing implementations of this axiom, which rely on general recursion whose termination is established externally, our approach justifies termination by coiteration alone.

arxiv.org · arXiv.org

0
0
0
0
0
0
0
0
0
dan @danabra.mov@bsky.brid.gy
Public

@dholms.at is local development supported with Tap? the workflow is that i don't have it on always, i only have it on while developing. i *do not* want it to "catch up" on thousands of commits across hours or whatever. my app literally has 4 users (all of which are me). i just need live updates

0
0
0
0
1
1
0
0
0
0
4
0
0
0
0
Mike Piontek @robotspacer@xoxo.zone
Public
Shared by Misty

Here’s my playthrough of another important HyperCard game: Caper in the Castro by C.M. Ralph. It’s the first game to focus on LGBTQ themes. It’s a point-and-click murder mystery, and it has a lot of charm. I love it. youtube.com/watch?v=ADdfysIYFxQ

You can play it here on the Internet Archive: archive.org/details/hypercard_ The game was thought to be lost for several years; I’m so glad it was eventually recovered.

Caper in the Castro – the first LGBTQ game, made in HyperCard

Tonight I’m playing the first known LGBTQ game, Caper in the Castro by C.M. Ralph! It’s a point-and-click murder mystery made in HyperCard, released in 1989 ...

www.youtube.com · YouTube

0
0
0
0
0
1
0
0
0
0
0
0
Mike Masnick @mmasnick.bsky.social@bsky.brid.gy
Public

Toni is a wonderfully thoughtful and insightful exec, who has shown that you can build a real business around open software. Finding someone who can execute and who understands the vision of an open protocol at the same time is rare—Toni gets it. I'm excited to see what Toni and Jay build together.

RE: https://bsky.app/profile/did:plc:cwf4mmm7mpzistinx3ox2zhj/post/3mgnkln3fmk2j

Toni Schneider (@toni.bsky.team)

I'm thrilled to announce that I'll be joining Bluesky as interim CEO. I deeply believe in what this team has built and the open social web they're fighting for. More here: https://toni.org/2026/03/09/coming-off-the-bench-for-bluesky/

bsky.app · Bluesky Social

0
0
0
1
0
0
洪 民憙 (Hong Minhee) :nonbinary: @hongminhee@hollo.social
Public
Shared by 洪 民憙 (Hong Minhee) :nonbinary:

Salvatore Sanfilippo (@antirez) and Armin Ronacher (@mitsuhikoArmin Ronacher) both argue that reimplementation of libraries is fine. Their legal reasoning might be correct. That's not the point.

Legal and legitimate are different things—and both pieces quietly assume otherwise.

https://writings.hongminhee.org/2026/03/legal-vs-legitimate/

Is legal the same as legitimate: AI reimplementation and the erosion of copyleft

Last week, Dan Blanchard, the maintainer of chardet—a Python library for detecting text encodings used by roughly 130 million projects a month— released a new…

writings.hongminhee.org · Hong Minhee on Things

Link author: 洪 民憙 (Hong Minhee) :nonbinary:@hongminhee@hollo.social

2
2
0
Venkatesh-Prasad Ranganath @orderwithchaos@mastodon.social
Public
Shared by 洪 民憙 (Hong Minhee) :nonbinary:

"Whatever courts eventually decide about AI reimplementation, the question we need to answer first is not a legal one. It is a social one. Do those who take from the commons owe something back?"

writings.hongminhee.org/2026/0

Is legal the same as legitimate: AI reimplementation and the erosion of copyleft

Last week, Dan Blanchard, the maintainer of chardet—a Python library for detecting text encodings used by roughly 130 million projects a month— released a new…

writings.hongminhee.org · Hong Minhee on Things

Link author: 洪 民憙 (Hong Minhee) :nonbinary:@hongminhee@hollo.social

0
0
0
0
0
0
Arya N @null0x0@fosstodon.org
Public
Shared by 洪 民憙 (Hong Minhee) :nonbinary:

An excellent read

writings.hongminhee.org/2026/0

Is legal the same as legitimate: AI reimplementation and the erosion of copyleft

Last week, Dan Blanchard, the maintainer of chardet—a Python library for detecting text encodings used by roughly 130 million projects a month— released a new…

writings.hongminhee.org · Hong Minhee on Things

Link author: 洪 民憙 (Hong Minhee) :nonbinary:@hongminhee@hollo.social

0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
Stefan Bohacek @stefan@stefanbohacek.online
Public

"As Bluesky matures, the company needs a seasoned operator focused on scaling and execution, while I return to what I do best: building new things."

wired.com/story/bluesky-ceo-ja

Bluesky CEO Jay Graber Is Stepping Down

Venture capitalist Toni Schneider will take over as interim CEO as Bluesky’s board of directors hunts for a permanent replacement.

www.wired.com · WIRED

0
4
0
Matthew Haughey @mathowie@xoxo.zone
Public

Yesterday I did Sunday Brunch at Salty's overlooking the Columbia River and even though food was $90/person it was an insanely fun experience to spend a couple hours inside a timewarp, feeling like I was at a high end casino buffet in 1987. This review nails the vibes youtube.com/watch?v=E3m0u9H4tCA

Oregon's Best Buffet is Back! The Legendary Sunday Seafood Brunch Buffet at Salty's!

Click the https://vessi.com/timlee and use my code TIMLEE to get 15% off of your Vessi footware and apparel if you miss the sale! Watch for the Lunar New Ye...

www.youtube.com · YouTube

0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

Unlocking Python's Cores:Energy Implications of Removing the GIL

Link: arxiv.org/abs/2603.04782
Discussion: news.ycombinator.com/item?id=4

arXiv logo

Unlocking Python's Cores: Hardware Usage and Energy Implications of Removing the GIL

Python's Global Interpreter Lock prevents execution on more than one CPU core at the same time, even when multiple threads are used. However, starting with Python 3.13 an experimental build allows disabling the GIL. While prior work has examined speedup implications of this disabling, the effects on energy consumption and hardware utilization have received less attention. This study measures execution time, CPU utilization, memory usage, and energy consumption using four workload categories: NumPy-based, sequential kernels, threaded numerical workloads, and threaded object workloads, comparing GIL and free-threaded builds of Python 3.14.2. The results highlight a trade-off. For parallelizable workloads operating on independent data, the free-threaded build reduces execution time by up to 4 times, with a proportional reduction in energy consumption, and effective multi-core utilization, at the cost of an increase in memory usage. In contrast, sequential workloads do not benefit from removing the GIL and instead show a 13-43% increase in energy consumption. Similarly, workloads where threads frequently access and modify the same objects show reduced improvements or even degradation due to lock contention. Across all workloads, energy consumption is proportional to execution time, indicating that disabling the GIL does not significantly affect power consumption, even when CPU utilization increases. When it comes to memory, the no-GIL build shows a general increase, more visible in virtual memory than in physical memory. This increase is primarily attributed to per-object locking, additional thread-safety mechanisms in the runtime, and the adoption of a new memory allocator. These findings suggest that Python's no-GIL build is not a universal improvement. Developers should evaluate whether their workload can effectively benefit from parallel execution before adoption.

arxiv.org · arXiv.org

0
0
0
0
0
0
Rose 🌹 @rose.bsky.team@bsky.brid.gy
Public

It's been one of the greatest honors of my life to serve as Jay's COO. She is a rare human who sees a more hopeful future and leads with integrity, grace, and wisdom. I can't wait to see how she continues to change the world as Bluesky's CIO.

RE: https://bsky.app/profile/did:plc:oky5czdrnfjpqslsw2a5iclo/post/3mgnkkbkw2c2v

0
0
0
Jay 🦋 @jay.bsky.team@bsky.brid.gy
Public

Some personal news: I’m transitioning from CEO to a new role as Bluesky’s Chief Innovation Officer! I’m excited to welcome @toni.bsky.team@bsky.brid.gy as our interim CEO. More here: bsky.social/about/blog/0...

A New Chapter for Bluesky - Bl...

A New Chapter for Bluesky - Bluesky

After several intense and incredible years building Bluesky from the ground up, I've decided to step back as CEO and transition to a new role as Bluesky's Chief Innovation Officer.

bsky.social · Bluesky

0
0
3
0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

Jolla on track to ship new phone with Sailfish OS, user-replaceable battery

Link: liliputing.com/the-new-jolla-p
Discussion: news.ycombinator.com/item?id=4

The new Jolla Phone with Sailfish OS is on track to start shipping in the first half of 2026 - Liliputing

The new Jolla Phone with Sailfish OS is on track to start shipping in the first half of 2026

liliputing.com · Liliputing

Link author: Brad Linder@liliputing_@liliputing.com

0
0
0
0
0
0
0
0
0
zunda @zundan@mastodon.zunda.ninja
Public

ついでにXcodeを更新したみたい（Tahoeにはしたくないよう…

$ gcc --version
Apple clang version 17.0.0 (clang-1700.6.4.2)
Target: arm64-apple-darwin24.6.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin

0
0
0
0
5
0
0
0
0
0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

Grammarly is offering ‘expert’ AI reviews from famous dead and living writers

Link: wired.com/story/grammarly-is-o
Discussion: news.ycombinator.com/item?id=4

Grammarly Is Offering ‘Expert’ AI Reviews From Your Favorite Authors—Dead or Alive

The tool, offered by the recently-rebranded company Superhuman, gives feedback based on the work of famous dead and living writers—without their permission.

www.wired.com · WIRED

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
PAIGE! 🍁 @paige@masto.canadiancivil.com
Public

Over at @fedihost we get asked about character limits enough times for me to write this up in the hopes of heading off some support tickets.
fedihost.co/blog/slug/custom-m

Basically, the character limit is hard-coded so you have to run a branch to change the limit to over 500.
Do you guys think that should make the character limit easier to change?

Custom Mastodon Character Limits - FediHost

Why is it so hard to change the Mastodon character limit?

fedihost.co · FediHost.co

0
2
0
Mitchell Hashimoto @mitchellh@hachyderm.io
Public

I love and use AI heavily, but recognize and respect the human touch points. One of the things I'm proud of is that our release notes for Ghostty are still lovingly created by hand by our maintainer team. We spent over 16 hours preparing them. I hope you liked them. ❤️

0
0
0