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

Been getting double-posting issues on mastodon.social server here. Quite embarrassing having to delete the duplicate replies.

Thought could be a Phanpy bug but seems unlikely because Phanpy implements `Idempotency-Key` (docs.joinmastodon.org/methods/). *Could* likely happen because Phanpy also have a fallback try/catch logic for servers that don't support `Idempotency-Key` 🤔

Hard to debug on the spot as the issue happens randomly.

0
1
2
0
17
1
0
0
0
3
0
1
0
0
0
0
0

.

絵は才能無くても努力で一定の水準(描いたことない人から見てうまいと思うレベル)まではうまくなれる そう思っていた時代があったが最近はそこまでいくのにも最低限の才能がいるんじゃないか?と思っている。

0
0
0

ペットボトルはほとんど買わないので、いつもスーパーの回収箱に捨てている。マンションの普段のペットボトル回収日とかに、一番デカい市指定袋に満タンに入ってるのが出されていて、すごいペットボトル大好き人間が居る!となる。

0
0
0
0
1
0
2
0
0

1/3
From @TheNoisyTrunk on The Site That Shall Not Be Named:
...
Here’s the bit the LNP is hoping everyone forgets:

They didn’t just fail to act after Christchurch.
They very deliberately staged action — then walked away from it.

March 2019: Christchurch happens.
Scott Morrison convenes a national summit.
📢🤡📰Big talk about online extremism, livestreamed violence, radicalisation.
📸📹🎆A Taskforce is announced with fanfare .

June 2019: The Taskforce delivers a detailed report.
Clear recommendations.
Five streams: prevention, detection, transparency, deterrence, capacity building.
Explicit focus on extremist material online.
Clear warning that voluntary measures may not be enough.

It looked like action.
It photographed well.
It bought headlines.

And who was the “tough on security” enforcer front and centre at the time?

Peter Dutton.
Home Affairs Minister.
Permanent scowl.
Endless press conferences about being “strong” and “unapologetic”.

@palestine@lemmy.ml @palestine@fedibird.comPalestine_Group

0
0
0
0
0
0
0
0
0

I like this quote in "From Zero to QED":

"The honest truth is that most people do not need dependent type theory or formal verification for their day jobs. But necessity is a boring criterion for what to learn. People study ancient languages, play chess, learn to cook elaborate dishes, prove that there are infinitely many primes. The question is not whether you need something but whether it interests you."

sdiehl.github.io/zero-to-qed/0

0
0
0
0
0
0
0
2
1
0
0
2
0
0
0
쿠팡은 민주정이 자리 잡은 아래에 주권자의 투표로 뽑힌 합법적인 국가원수의 말에만 일단은 움직이는 국제적인 연결망을 가진 정보조직을 건드린 셈이다.
윤석열 = 쿠팡 이 되는 순간이다.
0
1