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
0
0
1
0
1
0
0
0
0
0
0
jongrae.k @robustlab.bsky.social@bsky.brid.gy
Public
Shared by 맹꽁이

소련에서 1972년에 쏘아올린 금성 착륙선이 금성에 못가고 50년넘게 지구 근처를 떠돌다가 이제 5월 10일 즈음에 지구로 재진입합니다. 원래 금성에 착륙하게 만들어진것이라 지구로 들어오면서도 타지않고 떨어질 우려가 있다고 합니다. www.theguardian.com/science/2025...

Soviet-era spacecraft expected...

Soviet-era spacecraft expected to plunge uncontrolled to Earth next week

Kosmos 482, weighing 500kg, was meant to land on Venus in the 1970s but it never made it out of orbit because of a rocket malfunction

www.theguardian.com · the Guardian

0
0
0
0
0
0
0
0
0
jongrae.k @robustlab.bsky.social@bsky.brid.gy
Public
Shared by 드라코

소련에서 1972년에 쏘아올린 금성 착륙선이 금성에 못가고 50년넘게 지구 근처를 떠돌다가 이제 5월 10일 즈음에 지구로 재진입합니다. 원래 금성에 착륙하게 만들어진것이라 지구로 들어오면서도 타지않고 떨어질 우려가 있다고 합니다. www.theguardian.com/science/2025...

Soviet-era spacecraft expected...

Soviet-era spacecraft expected to plunge uncontrolled to Earth next week

Kosmos 482, weighing 500kg, was meant to land on Venus in the 1970s but it never made it out of orbit because of a rocket malfunction

www.theguardian.com · the Guardian

0
0
0
jongrae.k @robustlab.bsky.social@bsky.brid.gy
Public

소련에서 1972년에 쏘아올린 금성 착륙선이 금성에 못가고 50년넘게 지구 근처를 떠돌다가 이제 5월 10일 즈음에 지구로 재진입합니다. 원래 금성에 착륙하게 만들어진것이라 지구로 들어오면서도 타지않고 떨어질 우려가 있다고 합니다. www.theguardian.com/science/2025...

Soviet-era spacecraft expected...

Soviet-era spacecraft expected to plunge uncontrolled to Earth next week

Kosmos 482, weighing 500kg, was meant to land on Venus in the 1970s but it never made it out of orbit because of a rocket malfunction

www.theguardian.com · the Guardian

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
ここあにゃん :surprised_karin_chibi: @AmaseCocoa@s.amase.cc
Public

サポート詐欺のサイト見つけたので音声とかのアセットdownloadしようとしたらworkerBomb startedっていう謎のログとともにblob:なurlに対して大量にリクエストされてて閉じれなくなった:yikes​:meow_yikes:​

0
0
0
0
0
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
minakao @minakao@g0v.social
Public

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

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

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

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

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

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

0
0
0
David Binder @davidb@types.pl
Public

Together with my coauthor Lean Ermantraut we have a new paper accepted at ECOOP '25: The Algebra of Patterns 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.

arXiv logo

The Algebra of Patterns (Extended Version)

Pattern matching is a popular feature in functional, imperative and object-oriented programming languages. Language designers should therefore invest effort in a good design for pattern matching. Most languages choose a first-match semantics for pattern matching; that is, clauses are tried in the order in which they appear in the program until the first one matches. As a consequence, the order in which the clauses appear cannot be arbitrarily changed, which results in a less declarative programming model. The declarative alternative to this is an order-independent semantics for pattern matching, which is not implemented in most programming languages since it requires more verbose patterns. The reason for this verbosity is that the syntax of patterns is usually not expressive enough to express the complement of a pattern. In this paper, we show a principled way to make order-independent pattern matching practical. Our solution consists of two parts: First, we introduce a boolean algebra of patterns which can express the complement of a pattern. Second, we introduce default clauses to pattern matches. These default clauses capture the essential idea of a fallthrough case without sacrificing the property of order-independence.

arxiv.org · arXiv.org

0
0
0
0
0
0
Nick Lockwood @nicklockwood@mastodon.social
Public

@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

0
0
0
0
0
0
John Carlos Baez @johncarlosbaez@mathstodon.xyz
Public

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:

archive.is/TtSUb

Meta’s ‘Digital Companions’ Will Talk Sex With Users—Even Children Chatbots on Instagram, Facebook and WhatsApp are empowered to engage in ‘romantic role-play’ that can turn explicit. Some people inside the company are concerned. The above is the title and subtitle of a Wall Street Journal article from here: https://www.wsj.com/tech/ai/meta-ai-chatbots-sex-a25311bf
0
0
0
Alexandre Mutel @xoofx@mastodon.social
Public

Just bought the game "Clair Obscur : Expedition 33" 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! 🥳 🇫🇷

Clair Obscur: Expedition 33

Lead the members of Expedition 33 on their quest to destroy the Paintress so that she can never paint death again. Explore a world of wonders inspired by Belle Époque France and battle unique enemies in this turn-based role-playing video game with real-time mechanics.

www.expedition33.com · Expedition 33

0
0
0
0
0
0
decaf_latte @decaf_latte@uri.life
Public

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

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
4
0
0
0
0
0
0
0
0
0
0
0
0
0
川音リオ @KawaneRio@misskey.io
Public

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

1
0
0
Ned Batchelder @nedbat@hachyderm.io
Public
Shared by Hugo van Kemenade

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!

nedbatchelder.com/blog/202008/

You should include your tests in coverage

This seems to be a recurring debate: should you measure the coverage of your tests? In my opinion, definitely yes.

nedbatchelder.com

Link author: Ned Batchelder@nedbat@hachyderm.io

0
0
0