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

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

Did you know that I have a website where I curate apps, websites, and resources for not only the Fediverse (ActivityPub) but for ATProto as well?

Check it out here: fediverseresources.com?ref=pro

I'm always looking for contributors and assistant curators. Reach out if you're interested.

AI Fediverse Logo on Earth Globe

ChatGPT Image
0
0
0

i think “choose your own feed” can be user-friendly if - it’s clear what choices are - it’s clear the thing you’re seeing is actually the one you chose before - there’s clear ways to deprecate or replace it, people aren’t stuck with broken or defunct feeds i don’t think the app delivers on that

0
1
1

another thing that didn’t work out is that the company that ran it pivoted pretty soon and so the feed was essentially abandoned. as a courtesy (iirc) it was switched to serving Discover but in a sense it was a dead tab. too bad for folks who chose it as a default and forgot that’s what they did

0

MDN is more than just a resource. It's a community of developers, contributors, and learners passionate about web development.

Contribute to,
📚 MDN documentation
🤝 Help other devs
💟 Localize content
📝 Review or write on MDN

Start now 👇
developer.mozilla.org/en-US/co

0

ironically that third party feed was also called “For You”. it was suggested as one of the options in onboarding one problem with options in onboarding is the user has zero context on how to evaluate those options. you’re a new user, those feed names mean nothing to you, what “choice” is that?

0
0

Unicodeにノンバイナリーを表す漢字「X也」が追加されたそう。韓国語の漢字で漢字とハングルの組み合わせは見たことはあるけど、漢字と西洋の文字の組み合わせってほかにあるのかな?

性別的に中立な代名詞示す新たな漢字、近くキーボードで入力可能になる見込み - CNN.co.jp: cnn.co.jp/world/35242138.html

0
0
0

Here are my 2026 social web predictions:

1. ActivityPub API spreads.
2. E2EE flourishes.
3. First draft of ActivityPub 1.1.
4. More investment by governments.
5. One more big company joins the Fediverse.
6. LOLA grows.

0
0
0
0
0
1

Imagine if your language had a word that meant both "food" and "junk food", or at least that's how it was used in common parlance. Then people started pushing back against critiques of (junk) food, saying, "well we've always had food." This is exactly like the people (and i've seen this a lot lately) online pontificating about technology and how it's so great and important to humanity and we've always had it and in fact it predates humans. This is like saying otters busted open shells with rocks 5 million years ago so you should let your children eat nothing but takis all day long.

So. Stupid. I contend that to make an argument that collapses a term so much, conflates it with more general concepts in order to purposely confuse the issue, is gaslighting and basically makes the term meaningless, cuts off in advance any real conversation that's actually going on. fuck you people. You all know that all the modern complaints about tech are talking about _modern tech_. Do a little pattern match in your head and stick "modern" in before every use of the word "technology" and then come back and discuss in good faith.

0
1
1
0

:blobcappa_drinking_alcohol:​ の直後にこんばんは、週末製パンのお時間です。今日は京都のソウルフードと噂の「カルネ」を再現…なんだけど、再現失敗して普通のふわもち丸パンになっちった ​:meowbreadappear:

スタンプで上手く模様がつかなかったのもだけど、生地とか焼き方もなんか違う気がするんだよねー

1
0
1
1
0
0
0
0
0
1
1
1
1
1
1

사실 회사가 일시적으로 어려우면 해고당할수는 있음 빠르게 직장을 구하면 괜찮은데... 근데 경기가 전반적으로 안 좋으면 본인의 실력과 관계없이 취업이 잘 안되고 몇주 몇달 늘어지면 그때부터 매우 매우 심각해지는것 같음 맞벌이 커플이 각자 직장에서 해고를 당했는데 직업을 못구하는 경우... 자녀도 있고 모기지론도 있는데 취업이 안되면 저축이 소모되다가 결국 자기가 살던 집을 팔아야하고 완전 바닥으로 주저 앉는것이고 다시 원래대로 올라오려면 오랜 시간이 걸리고 등등

0
2
1
1
0
0
2
2

從今年買的書挑一本推薦,我會挑這本。但也要說這個被作者用地下社會來描述的移工生活圈其實一點都不地下,只是日常的一個社群。一般就算是台灣人對台灣人要跨社群去了解生活圈以外的生活方式也有難度,從這角度看來生活中沒有意識到的「地下」社會其實相當多。

儘管這樣講,現實生活中跨社群並不是一件平常的事,跨社群代表脫離日常生活範圍、與陌生的人們交流,在一個建立起生活習慣的社會人來說這是需要花費精力的,這本書或說這樣的書的價值就在於閱讀者能藉由文字一窺日常以外的世界,雖然是透過別人的眼,但也是一扇窗口,我喜歡這樣的作品,也推薦給各位。

0
1