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
0
0
0
0
1
0
0
Paco Hope #resist @paco@infosec.exchange
Public
Shared by Quincy ⁂

Scientists have detected another possible Monday arriving as early as next week. If true, this will be the 9th Monday this year. They warn that there are a little over 3 days left to prepare.

Mondays can be bad. Hug those you love and help them through it. Spend these remaining days wisely.

0
2
0
0
0
0
Fediverse Linux Users Group @fedilug@msky.ospn.jp
Public
Shared by Fediverse Linux Users Group
​:fedilug:​ の第10回もくもく＋ミニLT会を開催します。
土曜日開催＋長時間もくもく会＋ミニLT会として は3月からイベント活動を再開します。

か に何らか興味があるなら途中参加・途中退場・聞き専・LTのみ参加・初心者発表・玄人発表など形態にかかわらず参加大歓迎です！！
今回は以前まで使用していたMattermostに変わり、 https://stoat.chat/ を使用したいと思います（詳細は後日案内）。

日時：2026/03/21(土) 13:30 〜 17:00
参加登録： https://fedilug.connpass.com/event/383497/

Stoat

Stoat is the chat app where you are the main character.

stoat.chat

1
0
0
0
0
0
Paco Hope #resist @paco@infosec.exchange
Public

Scientists have detected another possible Monday arriving as early as next week. If true, this will be the 9th Monday this year. They warn that there are a little over 3 days left to prepare.

Mondays can be bad. Hug those you love and help them through it. Spend these remaining days wisely.

0
2
0
1
0
0
北市真 @KitaitiMakoto@bookwor.ms
Public

プロパティベーステスト (Property Based Testing) を Ruby で書き雰囲気を味わう - DIGGLE開発者ブログ diggle.engineer/entry/property

プロパティベーステスト (Property Based Testing) を Ruby で書き雰囲気を味わう - DIGGLE開発者ブログ

プロパティベーステスト (Property Based Testing) を Ruby で書き雰囲気を味わう - DIGGLE開発者ブログ

2023 年 10 月 30 日に『実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう』（以下 実践プロパティベーステスト本）という本が出版されました。 プロパティベーステストというのは、テストの一手法なのですが、これまでとは違う範囲をカバーするテストです。 今回はそれを Ruby に適用するとどうなるか検証、また似ている既知との概念と対比して理解を深めました。 これは Ruby Advent Calendar 2023 15 日目の記事です。 プロパティベーステストとはどのような形式か 既知の概念との対比 普段書いているテストと、プロパティベーステスト デー…

diggle.engineer · DIGGLE開発者ブログ

0
0
0
北市真 @KitaitiMakoto@bookwor.ms
Public

『実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう』 発売のお知らせ – 技術書出版と販売のラムダノート lambdanote.com/blogs/news/prop

『実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう』 発売のお知らせ

いつもご来店いただきありがとうございます。新刊『実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう』発売のお知らせです。 本書はFred Hebert著 “Property-Based Testing with PropEr, Erlang, and Elixir” の翻訳書です。タイトルが示すとおり、「プロパティベーステスト」について実践的に解説されています。解説にあたっては、Erlang/ElixirとそのプロパティベーステストのためのフレームワークであるPropErを利用しているので、メインの対象読者は「これからErlangやElixirでアプリケーションを書く予定があり、さらにソフトウェアの品質を高めたいと考えている方々」です。 そもそも「プロパティベーステスト」とは一体どんな考え方のテスト手法なのでしょうか？　従来のテストとはどこが違い、何がうれしいのでしょうか？ ものすごく雑に、プロパティベーステストの背景にある着想を単純化すると、「従来のユニットテストで使うテストケースを人間が書くのではなく、コンピューターで大量に自動生成しよう」という考え方になります。この考え方自体は、ソフトウェア開発者にとっては自然なものでしょう。 むしろ難しいのは、どうやって大量のテストケースを自動生成し、その結果を解釈するかにあります。 ぱっと思いつくのは、自分が書くようなテストケースを一般化することでテストケースを自動生成するコードを書く、というアプローチだと思います。もちろんそれも有力な方法の1つなのですが、本書を読むと、ほかにもさまざまなアプローチがあることがわかります。 具体的には、より単純な機能だけで本質的に同一の問題を解くコードを利用する方法、テストしたいコードとは対称的な動作をするコードを利用する方法、あるいはコードにおける不変条件を利用した方法などです。本書の前半では、こうした性質を利用してテストケースを自動生成するコード（プロパティ）を書くための技法が、実践的なアプリケーション開発の例をとおして説明されていきます。この前半を通して、コードの挙動を入力と出力の事例として見るのでなく、プロパティとして捉える考え方に馴染んでいきます。 さらに本書の後半では、自分が書いたプロパティによって自動生成される大量のテストケースから「失敗する事例」をうまく見つけ出すための技術、前に生成したテストケースに依存するテストケースを生成するPropErの高度な機能、状態に依存するシステムに対するプロパティの書き方まで、テストケースの自動生成という素朴なイメージからは想像もつかない応用の世界が語られます。プロパティベーステストの深みへと読者を導こうとする原著者Fred Hebertさんの知見があますところなく盛り込まれた内容になっています。 プロパティベーステストの考え方そのものは言語に依存しないので、現在ではさまざまな言語にプロパティベーステストのためのフレームワークがあります。ただ、本書で扱われているような高度なテスト技法に踏み込むためには現状ではPropErが必要です。そのような事情もあって、本書のサンプルコードはErlangとElixirです。しかし、「訳者まえがき」で山口能迪さんが書かれているように、「プロパティベーステストでどこまで行けるかを知るには、この本を読むしか」ありません。開発しているソフトウェアの品質を上げることに興味がある方には、ふだんの開発言語がErlangやElixirであるかによらず、ぜひ手に取って読んでみていただきたい一冊です。

www.lambdanote.com · 技術書出版と販売のラムダノート

0
0
0
✧✦Catherine✦✧ @whitequark@treehouse.systems
Public

after years of refusing to use type variables in Python because the syntax was just horrendous, i've learned that in Python 3.13 they've added syntax for it that's just normal! check this out:

from typing import overload
from collections.abc import Iterator, Generator, AsyncIterator, AsyncGenerator


@overload
def with_progress[T](iter: Iterator[T]) -> Generator[T]: ...

@overload
def with_progress[T](iter: AsyncIterator[T]) -> AsyncGenerator[T]: ...

I'm starting to like Python type annotations (separately from Python typecheckers, which have a much more spotty usability record outside of pyright)

0
0
0
0
0
0
2
0
0
0
0
0
北市真 @KitaitiMakoto@bookwor.ms
Public

Rubyでプロパティベーストテスティングしたい時ってどういうgemがあるのかしら。
初プロパティベーストテスティング。

オーディオ加工しているとたまに変なことになるのでやっといた方がいいなと思った。

0
0
0
0
1
0
Tyler Smith @tylerlwsmith@hachyderm.io
Public
Shared by Quincy ⁂

Who should I be following in the Fediverse? Twitter just makes me sad, and I need a new place to find people doing interesting things.

I'm interested in software development in any programming language, game development, web development, UI, design, and home lab stuff. I'm not interested in AI.

Drop your recommendations below!

0
50
0
0
0
0
아덴 @aden1126.bsky.social@bsky.brid.gy
Public
Shared by 시오

보카로 한국어 번역 블로그 "세계보카로판매점"을 임시 개장했습니다! 이전에 올렸던 번역을 비롯하여, 여기에서 공개적으로 밝히지 않았던 번역 등을 올려두었어요. 공유 버튼이나 댓글란 등은 차차 손볼 생각입니다~~ aden1126.blogspot.com

세계보카로판매점 - 보카로 한국어 번역 블로그

세계보카로판매점

세계보카로판매점 - 보카로 한국어 번역 블로그

보카로 관련 자료를 한국어로 번역합니다.

aden1126.blogspot.com · 세계보카로판매점

0
0
0
1
0
0
2
0
0
0
0
0
0
0
0
もちもちずきん🍆 @Yohei_Zuho@mstdn.y-zu.org
Public
Shared by Fediverse Linux Users Group

:ota: オープンソースカンファレンス東京に出展します！！ :fediverse:

明日明後日（2月27日、28日）に駒澤大学で開催されるオープンソースカンファレンス東京2026Spring に「分散型SNSユーザー有志」としてブース出展します！！

主な配布物
・ :blobcat: ステッカー（防水・再剥離）
・ :ota: ステッカー（大・防水）
・ :ota: スーパーキーシール（小）
・ :fediverse: ステッカー（防水）
・ :fedilug: ステッカー（防水）
・チラシなど

当日はSNSに関するパネルアンケートや の実物展示・印刷もする予定です！
皆さんのご来場お待ちしてます！！
詳細 : event.ospn.jp/osc2026-spring/

0
2
0
0
0
0
0
0
0
K0e @K0eKaN@mstdn.maud.io
Public

メキシコ「残業週12時間」に制限　超過なら3倍支給、日本企業に影響 - 日本経済新聞

メキシコの国会下院は25日、2030年から週の労働時間を現在の48時間から40時間に制限する憲法改正案を承認した。残業時間も週12時間までとし、最長でも16時間に厳しく制限する。上限を超過すれば3倍の給料支払いを企業に義務付ける。

中南米ではエクアドル、チリと並び労働時間の短い国となる。

nikkei.com/article/DGXZQOGN25BKH0V20C26A2000000/

メキシコ「残業週12時間」に制限　超過なら3倍支給、日本企業に影響 - 日本経済新聞

【メキシコシティ=市原朋大】メキシコの国会下院は25日、2030年から週の労働時間を現在の48時間から40時間に制限する憲法改正案を承認した。残業時間も週12時間までとし、最長でも16時間に厳しく制限する。上限を超過すれば3倍の給料支払いを企業に義務付ける。中南米ではエクアドル、チリと並び労働時間の短い国となる。制限は2027年1月から段階的に始め、30年まで1年に週2時間ずつ労働時間の上限

www.nikkei.com · 日本経済新聞

0
0
0
0
1
0
0
0
0
0
0
0
Jenniferplusplus @jenniferplusplus@hachyderm.io
Public
Shared by Quincy ⁂

I wrote about AI again. On some level I don't now why I do this to myself

jenniferplusplus.com/what-is-a

Actually, I wrote most of it months ago, for work. But, it was well received, so I put it on my blog. This is the more generic version.

The short version is that AI is not magic. It's a real phenomenon with real behavior and tradeoffs. I'm deeply tired of *****ALL***** the tradeoffs being handwaved away. And so much imagination fills in for the actual behavior. So I tried to describe how it's built, because that informs how it works, which informs what it actually does. And to be clear, it does things. It's not useless. But that's not the same as being useful, or worthwhile.

Anyway, I already put ~4k words on this in the article, so I'll shut up and let it speak for itself.

What is a token

AI is meant to seem like magic. But there's no such thing as magic. It's all illusion. So, allow me to spoil that illusion for you.

jenniferplusplus.com · Jennifer++

0
8
2
0
0
0
1
0
0
0
0
0
아덴 @aden1126.bsky.social@bsky.brid.gy
Public

보카로 한국어 번역 블로그 "세계보카로판매점"을 임시 개장했습니다! 이전에 올렸던 번역을 비롯하여, 여기에서 공개적으로 밝히지 않았던 번역 등을 올려두었어요. 공유 버튼이나 댓글란 등은 차차 손볼 생각입니다~~ aden1126.blogspot.com

세계보카로판매점 - 보카로 한국어 번역 블로그

세계보카로판매점

세계보카로판매점 - 보카로 한국어 번역 블로그

보카로 관련 자료를 한국어로 번역합니다.

aden1126.blogspot.com · 세계보카로판매점

0
0
0
0
0
0
Mateusz Jarczyński @mateusz@lewacki.space
Public

Interpelacja o własnościowych formatach plików Microsoftu (doc, xls, ppt, rtf) w Krajowych Ramach Interoperacyjności, którą złożyliśmy z @martastozekMarta Stożek

Zainspirowana artykułem @rysiekMichał "rysiek" Woźniak · 🇺🇦
oko.press/czy-instytucje-polsk za który ogromnie dziękuję 🙏

Łapska bigtechów sięgają tak głęboko administracji publicznej, że aż nie chce się wierzyć.

Zobaczymy, czy ministerstwo w ogóle widzi w tym jakiś problem 🤔

sejm.gov.pl/Sejm10.nsf/interpe


Czy zdołamy uwolnić polskie instytucje od Googla i Microsoftu?

Centralny Ośrodek Informatyki chce budować rozwiązania dla polskiej administracji na otwartym oprogramowaniu. Projekt ma mieć poparcie ministra cyfryzacji. Świetnie! Czas najwyższy na uniezależnienie od usług i produktów monopolistów z USA. Diabeł jednak tkwi w szczegółach.

oko.press

0
5
0
ぐすくま@わかりみ @guskma@abyss.fun
Public
Shared by NTSK

なかなかカオスな職場でごわすなぁ

＞Xユーザーのやねうらおさん: 「Zoomに古いPCだからと音声のみで参加してた支店、男性3人の誰が喋ってるのかわからない。 社長が「必ず自分の名前を言ってから喋るように」と何度も言ったのに全く守られないので社長がブチ切れて、「お前は語尾に、ござるをつけろ。お前はナリ、お前はにゃんだ！」と言って地獄の時間が始まった。😇」 / X
x.com/yaneuraoh/status/2026976

x.com · X (formerly Twitter)

0
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
もちもちずきん🍆 @Yohei_Zuho@mstdn.y-zu.org
Public
Shared by NTSK

:ota: オープンソースカンファレンス東京に出展します！！ :fediverse:

明日明後日（2月27日、28日）に駒澤大学で開催されるオープンソースカンファレンス東京2026Spring に「分散型SNSユーザー有志」としてブース出展します！！

主な配布物
・ :blobcat: ステッカー（防水・再剥離）
・ :ota: ステッカー（大・防水）
・ :ota: スーパーキーシール（小）
・ :fediverse: ステッカー（防水）
・ :fedilug: ステッカー（防水）
・チラシなど

当日はSNSに関するパネルアンケートや の実物展示・印刷もする予定です！
皆さんのご来場お待ちしてます！！
詳細 : event.ospn.jp/osc2026-spring/

0
2
0
0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

You Want to Visit the UK? You Better Have a Google Play or App Store Account

Link: heltweg.org/posts/you-want-to-
Discussion: news.ycombinator.com/item?id=4

You Want to Visit the UK? You Better Have a Google Play or App Store Account | Philip Heltweg

New immigration rules for the UK are being enforced starting February 2026. This means citizens of 85 additional countries (including the USA and European countries) will need an Electronic Travel Authorisation (ETA) to visit, even for tourism. Luckily, you can apply (and pay) digitally. Unfortunately, the government very much would prefer you to do so using the official app.

heltweg.org · Philip Heltweg

0
0
0
0
0
0
0
0
0