What is Hackers' Pub?

コンビニにいく

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."

https://sdiehl.github.io/zero-to-qed/02_why.html

#lean4

@benroyceBen Royce 🇺🇦

Well, obviously!

@alexadeswiftAlexa Devreux-Swift

난교하자

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: https://fediverseresources.com?ref=promo

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

#FediverseResources #ATProtoResources #BlueskyResources #fediverse #atproto #activitypub

일본은... 역사가.. 선택과목이라고?!

Do you want to learn how to build a custom OS? There is an interactive guide and project dedicated to developing an operating system from scratch using Rust and Assembly. This is good for those who wish to learn system programming and CS.

https://www.learnix-os.com/

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

寝！

操作ミスで落ちてました
ごめんなさい

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

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 👇
https://developer.mozilla.org/en-US/community

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?

耐え難きを耐えてはいけない。

@nogajun@mastodon.socialSparklingOutlaw🍉 いくつかあるみたいです。
「慶応」も「コンクリート」も漢字1文字で ～Unicode標準に新しいブロックが提案中 - やじうまの杜 - 窓の杜 https://forest.watch.impress.co.jp/docs/serial/yajiuma/1597030.html

メイド服着て寝ます

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.

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.

I've finally found the time to write a provisioning script for laptops.

A standard Debian installation, and then one script to harden it, install everything I want, and set it up the way I want it.

y que cenaron en navidad? #comidonte

寒すぎて死亡

ぐえ

Welcome back artists! 🖌🎨✨️ Quote post with an old piece that you still like! True Geo Archon

RE: https://bsky.app/profile/did:plc:ioubgec2eif5rk4xpfnms7xt/post/3maviypp6z22d

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.

#semantics #definitions #technology #techne

コンビニ行こうとしてたの忘れてた

ｻﾑｲ

ChatGPT conversations still lack timestamps after years of requests

Link: https://community.openai.com/t/timestamps-for-chats-in-chatgpt/440107?page=3
Discussion: https://news.ycombinator.com/item?id=46391472

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

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

結婚してえよ

今日撮れたのが良すぎて壁紙にした​​

そういえば、今日腕立てしたらね
連続で5回出来るようになってた！​​

NixOS、コード書いて設定できるのいいかも

How AI startup acquisitions work in 2025

제로게임 구글에 검색하니, 젠존제와 카제나가 검색을 방해하더라구요..😥 암튼 되게 얇아보이는 보이다. 맘에들어요

今日寒すぎん？

体売りの少女（裏臓器売買）

​​

야 저 그지같은 브릿지 어떻게 없애냐

来年はレンズ買うかな？買わないかな？

明るいレンズ計画

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

​​

ひつじの女の子たち〜​​ #創作百合

​​​​

[$] An early look at the Graphite 2D graphics editor

Graphite is an effort to unify illustration, raster editing, desktop publishing, and animation in one browser-based application. The project has been in development since 2020 and [...]

https://lwn.net/Articles/1051242/ #LWN

LearnixOS

Link: https://www.learnix-os.com
Discussion: https://news.ycombinator.com/item?id=46391599

そろそろ寝よう
​​​​

​​

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

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

寝れないかもしれない