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.

1
0
0
1
0
0
fueda @fueda@misskey.io
Public

35mmや24mmはフルサイズのセンサーサイズとの関連で、写る大きさを計算しやすいという話。
https://note.com/haswell_ojisan/n/na780fb5215b6

隠れ35mmオジサンでいきたい｜オジサンの流儀【充電中】

標準レンズというと、一般に50mm前後を指すことが多いようです。 標準レンズの50mmこそ至高！みたいな人も多いのですが、一方で35mm派という人もいます。 ちょうどいい距離で撮れる 一般に35mmは広角レンズに分類されますが、50mmよりちょっと広く、かといって広角感はなく、自然に使えるということで常用レンズは35mmという人も多いようです。 水平54.43°、垂直37.85°、対角63.44°というのは使いやすい画角です。 以前書いた、レンズ主点からの撮影距離と写る大きさの図です。 1m離れれば1mのものが35mm、2m離れれば2mのものが35mmで写ることになります。3

note.com · note（ノート）

0
0
0
fromjason.xyz ❤️ 💻 @fromjason@mastodon.social
Public
Shared by Jenniferplusplus

Fediverse Report – #149 – On Protocol Governance – Connected Places:

"There are only two organisations that are active in the fediverse that are a paid member of the W3C: Meta and the Social Web Foundation. With the Social Web Foundation also receiving funding from Meta, the company that built Threads now has more institutional standing in ActivityPub governance than any of the organisations actually ... micro.fromjason.xyz/2026/01/17

Fediverse Report – #149 – On Protocol Governance – Connected Places:

Fediverse Report – #149 – On Protocol Governance – Connected Places: There are only two organisations that are active in the fediverse that are a paid member of the W3C: Meta and the Social Web Foundation. With the Social Web Foundation also receiving funding from Meta, the company that built Threads now has more institutional standing in ActivityPub governance than any of the organisations actually building open fediverse software.

micro.fromjason.xyz

0
0
0
1
0
0
mcc @mcc@mastodon.social
Public

Poll: Would you describe yourself as a "Doll"

0
0
0
0
0
0
Dan Piponi @dpiponi@mathstodon.xyz
Public

A few years back I wrote some Jax code to illustrate using algebraic style effects on the GPU and surprisingly it got linked to by Plotkin et al. [1]. Which was a bit embarrassing because the code had bit rotted due to dependence on Jax internals. Anyway, with some ChatGPT help I managed to resurrect it [2].

Jax now has a certain amount of official support for ("tame") effects via debugging callbacks but my approach supports the fuller notion of effect where the handler is additionally passed the entire continuation allowing effects to do things like modify control flow.

[1] arxiv.org/abs/2504.03890

[2] github.com/dpiponi/colabs/blob

arXiv logo

Handling the Selection Monad (Full Version)

The selection monad on a set consists of selection functions. These select an element from the set, based on a loss (dually, reward) function giving the loss resulting from a choice of an element. Abadi and Plotkin used the monad to model a language with operations making choices of computations taking account of the loss that would arise from each choice. However, their choices were optimal, and they asked if they could instead be programmer provided. In this work, we present a novel design enabling programmers to do so. We present a version of algebraic effect handlers enriched by computational ideas inspired by the selection monad. Specifically, as well as the usual delimited continuations, our new kind of handlers additionally have access to choice continuations, that give the possible future losses. In this way programmers can write operations implementing optimisation algorithms that are aware of the losses arising from their possible choices. We give an operational semantics for a higher-order model language $λC$, and establish desirable properties including progress, type soundness, and termination for a subset with a mild hierarchical constraint on allowable operation types. We give this subset a selection monad denotational semantics, and prove soundness and adequacy results. We also present a Haskell implementation and give a variety of programming examples.

arxiv.org · arXiv.org

0
0
0
John Regehr @regehr@mastodon.social
Public

this transfer function in LLVM's known bits analysis wins some sort of prize for heroism

"Try to detect the lerp pattern: a * (b - c) + c * d, where a >= 0, b >= 0, c >= 0, d >= 0, and b >= c."

github.com/llvm/llvm-project/b

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. - llvm/llvm-project

llvm-project/llvm/lib/Analysis/ValueTracking.cpp at release/22.x · llvm/llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. - llvm/llvm-project

github.com · GitHub

0
0
0
0
0
0
0
0
0
Zach Everson @z_everson@journa.host
Public
Shared by Paul Cantrell

I get it: Billy Joel could write “We Didn’t Start the Fire 2” using just headlines from the past two weeks.

That said, Trump’s increase in wealth has to be one of the biggest stories of his first year in office.

Check out this week's news on Trump's for-profit presidency in 1100 Pennsylvania.

1100pennsylvania.com/p/trump-i

Trump Is Worth $2.3 Billion More Than When He Was Re-Elected

News on the return of Donald Trump's for-profit presidency

www.1100pennsylvania.com

0
0
0
John Carlos Baez @johncarlosbaez@mathstodon.xyz
Public
Shared by Chao-c'

Some good news in a time of darkness: the European wildcat, Felis sylvestris, is making a comeback! This thoughtful-looking example was photographed in a mountainous region of the Czech republic.

The European wildcat's extreme elusiveness may have helped it avoid hunters in places where a larger native cat, the lynx, has been killed off. There may be about 140,000 European wildcats spread across more than two dozen countries. But they are very hard to find!

Wildlife photographer Andrea Giovanni, who made a video of one, writes:

"I'd never even thought of taking photos of wildcats, for a simple reason: I thought it was impossible, or at least, extremely difficult. It's considered 'the ghost of the forests' because it's very, very elusive, and it's hard to predict where it can be spotted. Other animals tend to follow the same trails through the forest. The wildcat goes wherever she wants to."

One reason the European wildcat is coming back is increased legal protections. But another is that villages in Italy and other regions are becoming depopulated! Some are very worried about declining human populations. But it does make room for other species. That gives me some hope for the future.

I got this picture, taken by Vladimír Čech Jr in the Doupov mountains, from a very nice article on the European wildcat:

bbc.com/future/article/2026011

For more on this species:

en.wikipedia.org/wiki/European

Seven subspecies have been demarcated!

A European wildcat, looking a bit like a tabby with a very large head and thick tail, turning and looking back suspiciouslyi as it walks next to a rock face amid greenery. Taken in the Doupov mountains in the Czech Republic by Vladimír Čech Jr. https://www.bbc.com/future/article/20260112-rare-images-of-europes-ghost-cat
0
0
0
0
0
0
1
0
0
1
0
0
Nolan Lawson @nolan@toot.cafe
Public

"Stay away from my trash!" by Steve Ruiz tldraw.dev/blog/stay-away-from

I've been thinking about this exact same problem of AI contributions in OSS, and I think he's onto something. "If writing the code is the easy part, why would I want someone else to write it?"

Stay away from my trash! - tldraw: Build whiteboards in React with the tldraw SDK

The tldraw SDK provides tools, services, and APIs to build beautiful whiteboards and infinite canvas applications with real-time collaboration and a powerful React-based canvas.

tldraw.dev

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
[object Object] @lucydev@wetdry.world
Public

the whole ai-bro shtick about "ai democritizes art/programming/writing/etc" seemed always so bs to me, but i couldn't put it into words, but i think i now know how.

ai didn't democritize any of these things. People did. The internet did. if all these things weren't democritized and freely available on the internet before, there wouldn't have been any training data available in the first place.

the one single amazing thing that today's day and age brought us is, that you can learn anything at any time for free at your own pace.

like, you can just sit down, and learn sketching, drawing, programming, writing, basics in electronics, pcb design, singing, instruments, whatever your heart desires and apply and practice these skills. fuck, most devs on fedi are self taught.

the most human thing there is is learning and creativity. the least human thing there is is trying to automate that away.

(not to mention said tech failing at it miserably)

0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
2
0
0
Misty @misty@digipres.club
Public

Having a deck now is mostly good, except yesterday I had a cat stuck on the roof which is a completely new experience to me.

(Don’t worry the cat eventually figured out how to get back down. And he was having the time of his life until he figured out he was stuck.)

0
0
0
1
0
0
1
0
0
Tuta @Tutanota@mastodon.social
Public
Shared by mcc

Age verification is spreading like cancer.

First they came for adults site and social media; now they are already discussing about putting VPNs and app stores behind 🇬🇧🇦🇺

What’s sold as “online safety” means via IDs checks or face scans.

Privacy & anonymity protect journalists, whistleblowers & activists.

We must fight against age verification - or the free web dies!

👉 More: tuta.com/blog/age-verification

First they came for Adult sites And I did not speak out Because I was not interested in Adult sites Then they came for Social Media And I did not speak out Because I was not interested in Social Media Then they came for the VPNs And I did not speak out Because I was not interested in VPNs Then they came for chat apps And I did not speak out Because I was not  interested in chat apps Then they locked the whole web behind ID verification And there was no one left To speak up against this
0
0
0
0
0
0
0
0
0
Shauna GM @shauna@social.coop
Public
Shared by Sarah Rainsberger

thinking about the way that living in a society that's so heavy on technological and bureaucratic interactions is constantly dealing us psychic damage.

humans did not evolve to negotiate our needs with giant implacable faceless institutions, we evolved to negotiate them with other human beings

0
0
0
0
0
0
0
0
0
fromjason.xyz ❤️ 💻 @fromjason@mastodon.social
Public

Fediverse Report – #149 – On Protocol Governance – Connected Places:

"There are only two organisations that are active in the fediverse that are a paid member of the W3C: Meta and the Social Web Foundation. With the Social Web Foundation also receiving funding from Meta, the company that built Threads now has more institutional standing in ActivityPub governance than any of the organisations actually ... micro.fromjason.xyz/2026/01/17

Fediverse Report – #149 – On Protocol Governance – Connected Places:

Fediverse Report – #149 – On Protocol Governance – Connected Places: There are only two organisations that are active in the fediverse that are a paid member of the W3C: Meta and the Social Web Foundation. With the Social Web Foundation also receiving funding from Meta, the company that built Threads now has more institutional standing in ActivityPub governance than any of the organisations actually building open fediverse software.

micro.fromjason.xyz

0
0
0
0
0
0
0
0
0
John Schrag @jvschrag@hachyderm.io
Public

Last night I went to see a play about the Labour movement here in Toronto – specifically about the 1872 printers’ strike. It was called “NINE HOURS NOW! The Battle for a Shorter Working Day”. The play was put on by the Toronto Worker’s Theatre Group, and we watched it at a Steelworkers Union building. I found out about the play because it was written by my friend, retired history professor Craig Herron. While the performances were, well, amateur, the content of the play was really interesting.

In 1872 the industrial revolution was coming to Toronto, with big machines displacing skilled workers and suppressing salaries in the clothing and metal-working industries. Men worked 10 hour days, 6 days a week. Women who worked were paid less and had home duties on top of that. Employer/employee relations were governed by Master & Servant Laws, which included the possibility of criminal prosecution if an employee disobeyed their boss. And yes, the bosses were referred to as “Masters” commonly.

1/4

0
0
0