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
dan @danabra.mov@bsky.brid.gy
Public

@alex.bsky.team if Tap is the recommendation in the docs, i think it's important to not just verify that it runs, but to also verify that an actual development workflow — such as closing your laptop and then continuing work next day — also works i feel like this is an assumption that nobody tested

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

Mathematicians in the age of AI. ~ Jeremy Avigad. arxiv.org/abs/2603.03684

arXiv logo

Mathematicians in the age of AI

Recent developments show that AI can prove research-level theorems in mathematics, both formally and informally. This essay urges mathematicians to stay up-to-date with the technology, to consider the ways it will disrupt mathematical practice, and to respond appropriately to the challenges and opportunities we now face.

arxiv.org · arXiv.org

0
0
0
0
0
0
0
0
0
IEEE Spectrum @ieeespectrum@mastodon.social
Public

Curling is at a crossroads: how much technology are we willing to incorporate into the sport, into training, and into competitions? spectrum.ieee.org/olympics-cur

Tech Is Taking Over Olympic Curling

Can the "Spirit of Curling" survive the rise of AI-powered strategy and precision?

spectrum.ieee.org · IEEE Spectrum

Link author: IEEE Spectrum@ieeespectrum@mastodon.social

0
0
0
mcc @mcc@mastodon.social
Public

What I listened to today: 2024-05-22 Mastodon post, Autechre

Sean Booth of Æ has a Fediverse account and one day last year posted this gorgeous outtake from Oversteps (which I still consider Æ's most risk-taking album). It's kind of breathtaking, utterly unlike Æ, a labyrinth of classical spanish guitar, while also quintessentially Æ and very "yeah that, that's an Oversteps track". I think of this as a cousin to known(1) but I feel shadows of other songs of that era too

data.runhello.com/blj/autechre

mcc @mcc@mastodon.social
Public
Shared by mcc

What I'm listening to today: "Southside", Lil Keke

What if I spent this entire week linking classic "dirty south" hip-hop tracks I loved from 97.9 The Box back in the 90s (which, I am visiting Houston this week and their selection is still excellent). No one could really stop me.

Here's known DJ Screw associate Lil Keke, dropping an effortless flow that stuck in my head for 29 years and my favorite instance of slide guitar in the entire corpus of music. Sorry Beck

youtube.com/watch?v=kg7cThO_vgo

Southside

Provided to YouTube by Virgin Music GroupSouthside · Lil' KekeDon't Mess Wit Texas℗ 1997 Seven13/SoSouth Music DistributionReleased on: 1997-07-01Composer Ly...

www.youtube.com · YouTube

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

Formalization in Lean of faithfully flat descent of projectivity. ~ Liran Shaul. arxiv.org/abs/2603.04376

arXiv logo

Formalization in Lean of faithfully flat descent of projectivity

We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$ if and only if $S\otimes_R P$ is projective over $S$. This formalizes and verifies Perry's fix of a subtle gap in the classical work of Raynaud and Gruson, a result which is a key ingredient in the study of finitistic dimension of commutative noetherian rings.

arxiv.org · arXiv.org

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

in reality my workflow is to constantly delete tap .db file, truncate my local db tables, and do a clean resync. multiple times a day because Tap gets stuck everytime. this workflow is way worse than when i had my own ingester which at least behaved predictably and reacted instantly.

0
0
0
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/

合法이면 公正한가: AI 再具顯과 카피레프트의 侵蝕

지난 週 ( 주 ) 、Python 텍스트 인코딩 探知 ( 탐지 ) 라이브러리인 chardet의 메인테이너 Dan Blanchard가 새 버전을 릴리스했다 。chardet 7.0은 速度 ( 속도 ) 가 旣存 ( 기존 ) 對比 ( 대비 ) 48 倍 ( 배 )…

writings.hongminhee.org · 洪民憙雜記

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

合法이면 公正한가: AI 再具顯과 카피레프트의 侵蝕

지난 週 ( 주 ) 、Python 텍스트 인코딩 探知 ( 탐지 ) 라이브러리인 chardet의 메인테이너 Dan Blanchard가 새 버전을 릴리스했다 。chardet 7.0은 速度 ( 속도 ) 가 旣存 ( 기존 ) 對比 ( 대비 ) 48 倍 ( 배 )…

writings.hongminhee.org · 洪民憙雜記

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

合法이면 公正한가: AI 再具顯과 카피레프트의 侵蝕

지난 週 ( 주 ) 、Python 텍스트 인코딩 探知 ( 탐지 ) 라이브러리인 chardet의 메인테이너 Dan Blanchard가 새 버전을 릴리스했다 。chardet 7.0은 速度 ( 속도 ) 가 旣存 ( 기존 ) 對比 ( 대비 ) 48 倍 ( 배 )…

writings.hongminhee.org · 洪民憙雜記

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