What is Hackers' Pub?

お風呂で寝なかったら私の家のビール飲んでいいよ

Forgot my watch charger 😄

My tips on giving technical talks https://lobste.rs/s/ioyjfm #culture
https://marcusnoble.co.uk/2025-04-30-my-tips-on-giving-technical-talks/

見逃さなかったぞ

​​

外呑みだなんてそんな贅沢にゃ…

敷島抜かしてロイだけにするか…

我有一個特別的自我加油打氣的辦法
「我永遠不會是第一個，也不會是最後一個」
應用場景通常是在過每一年生日的時候

其實我還蠻喜歡年紀增長的感覺
每一年都會有不同的收穫
但偶爾會聽到有人很緊張於年齡的數字
我就會說出這一句話
「你永遠不會是第一個，也不會是最後一個」

而且不覺得年齡是一件很有趣的事情嗎
每個人都會有3歲的時候
也都會有18歲的時候
也都會有30歲的時候
(前提是都還活著的話......)

擁抱每一個年齡的自己
不要隨意用數字來限制自己的狀態

唯一會讓我感到限制的
通常就是法律規定的項目
打工度假限制30歲
青年專案限制30歲
(差點哭出來......)

在還有時間與體力的狀況下
打開自己的感官
盡情地享受吧｡:.ﾟヽ(*´∀`)ﾉﾟ.:｡

Together with my coauthor Lean Ermantraut we have a new paper accepted at ECOOP '25: The Algebra of Patterns https://arxiv.org/abs/2504.18920

We answer the question why most PLs implement first-match semantics for pattern matching instead of the more declarative order-independent semantics. We think that the poor expressiveness of patterns, especially their inability to express complements, requires much more verbose patterns if we have to ensure that patterns don't overlap.

We also propose a solution which makes order-independent pattern matching practical: A boolean algebra of patterns and default clauses.
Algebraic patterns are much more expressive since they can talk about conjunction, disjunction and complements of patterns. (We prove that the patterns satisfy all the expected boolean laws formally in Rocq.)

An efficient compilation strategy for algebraic patterns is very important for us, so we also show how to compile them first to a disjunctive normal form, and then use compilation to decision trees to obtain good code.

미나랑 본가에 놀러 와 있어요

@MigueldeicazaMiguel de Icaza ᯅ🍉 I was really hopeful that your quick first review meant that Xogot might be something Apple were excited by and had ensured would sail through smoothly instead of getting held up by a random jobsworth reviewer

But now I suspect it's the opposite - that Apple was oblivious to its existence, so the first review went in under the radar, but it has since attracted the attention of senior execs who are only now deciding whether it may constitute a threat to their business interests

amdk

Zuckerberg now runs an army of AI chatbots that push virtual sex on minors - and also let adults engage in virtual pedophilia with characters like Submissive Schoolgirl.

“I missed out on Snapchat and TikTok, I won’t miss on this,” Zuckerberg fumed, according to employees.

The story was broken by the Wall Street Journal - there's a free version with all the sleazy details here:

https://archive.is/TtSUb

Just bought the game "Clair Obscur : Expedition 33" https://www.expedition33.com/

Dunno when/If I will have time to play it, but the game looks amazing in all aspects, and it's coming from a little French studio, so I'm supporting them, cocorico! 🥳 🇫🇷

질문함 영원히 기명으로 돌릴거야...

おさけのみたーい…

“적법절차원칙은 절차가 법률로 정하여져야 할 뿐만 아니라 적용되는 법률의 내용에 있어서도 합리성과 정당성을 갖춘 적정한 것이어야 한다는 원칙이다.”

​​

ひさびさすぎて覚えてないにゃあ

そういえば飛行場あったにゃ

あー

welp

#linux #unix

AI code review: Should the author be the reviewer?

Link: https://www.greptile.com/blog/ai-code-reviews-conflict
Discussion: https://news.ycombinator.com/item?id=43857643

ダーリンダンス - 柊マグネタイト Remix - 柊マグネタイト (ダーリンダンス (柊マグネタイト Remix))
#NowPlaying

BF4に空港あったっけ…

ぬああ

できたああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああああーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーっっっっっっっっっっっっっっっっ！！！！！！！！！！！！！！！！！！！ 🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉🎉

Another kind of bug revealed by including tests in your coverage:

with pytest.raises(ValueError):
process_data("bad data 1")
process_data("bad data 2") # never executed!

https://nedbatchelder.com/blog/202008/you_should_include_your_tests_in_coverage.html

치킨스톡.....

알리오올리오는 대체 어떻게 만들어야 맛있을까… (오늘도 밍밍한 면을 건지며)

カノン - 柊マグネタイト, 可不 (結晶のアシンメトリー)
#NowPlaying

치킨스톡.....

알리오올리오는 대체 어떻게 만들어야 맛있을까… (오늘도 밍밍한 면을 건지며)

어쩐지...게임의 "ㄱ"도 하기 싫더라..

次は豊原だね

うああ

流石に県内ツーリングです…

알리오올리오는 대체 어떻게 만들어야 맛있을까… (오늘도 밍밍한 면을 건지며)

어쩐지...게임의 "ㄱ"도 하기 싫더라..

Relay로 offline db sync를 하고 있었을땐, Relay가 Node의 Id나 Edge의 Cursor가 Opaque란 가정을 하고있는게 걸림돌이라고 느껴졌다. SQLite에 저장하려면 어차피 id로 부터 composite key를 구해야하고, 거기엔 또 order도 존재하는데 Relay는 이런데 전혀 무관심하다. 하지만 일반적인 웹사이트 렌더링에는 저런 가정이 전혀 무리가 없다.

My new gear...

@thx땡상어 (밥상에 맞고 그자리에서 사망)
(이승탈출 넘버원)

그러고 보니까 언젠가부터 고속터미널을 가면 에듀윌이 MAKE EDUWILL GREAT AGAIN 광고를 하더라.... 이때다 싶었는지

headacale、どうなんだろ

! Push to prod on Friday.

Bad Apple!! feat.nomico - nomico (10th Anniversary Bad Apple!! feat.nomico PHASE3)
#NowPlaying