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.

すごい、11章まである。
プロパティベーストテスティング、ふんわり表面だけ理解するようなものじゃないのか。

実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう(電子書籍のみ) – 技術書出版と販売のラムダノート lambdanote.com/collections/fro

実践プロパティベーステスト ― PropErとErlang/Elixirではじめよう(電子書籍のみ)

Fred Hebert著 山口能迪 訳 原書 Property-Based Testing with PropEr, Erlang, and Elixir 376ページ A5判 ISBN:978-4-908686-18-4 テストケースはコンピューターで書くべき! でもどうやって? その答えが「プロパティベーステスト」です。従来のユニットテストでは、人間が「入力に対してコードが返すべき値」を考えて、その通りの結果が得られるかどうかをテストします。 これに対してプロパティベーステストでは、数万にも及ぶ多様なテストケースをコンピューターで自動生成し、その大量のテストを水面下で実行することによって、どんな入力に対してどんな問題が起きるかをテストします。 人間には思いもつかない入力まで網羅できることから、単に手間をかけずにテストケースを増えせるだけでなく、場合によっては仕様に潜むバグさえもあぶり出せる強力なテスト手法です。プロパティベーステストで人間が記述するのは、「入力に対してコードが返すべき値」ではなく、「入力に対するコードの振る舞い」そのものを表す実行可能なコード(プロパティ)です。本格的なアプリケーション開発を通して、プロパティベーステストの基礎から極北までを体験できる、唯一無二の解説書。

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

0

Given the and the urgency to transition to , we’re building up the DemocraticTech.Fund. It is a networked approach, aiming to increase our collective capacity, to discover the tech that is already available to us, to deploy it in ways that we can own it, to share learnings of the transition, to move there together, so we can overcome network effects.

It is our intention to identify together the gaps of what is needed to make the transition, to fund that collectively. This can be tech, media to raise awareness for the positive alternatives already out there, and federating our communities. We’re starting as civil society, and we intent to invite institutions – public and private – to chip in and multiply the contributions. Together we can make the impact that is needed.

Sign saying "Don't feed Big Tech" with a red circle prohibition situated in a beach side with dunes.
0
0
0
0

Release v3.3.1 of Ktistec

Todd Sundsted @toddsundsted@epiktistes.com

The latest release of Ktistec addresses the shortcomings of the previous release that became apparent after using quote posts in production for a few days. So far, there have been no major bugs, but there was room for improvement.

Here's the full changelog.

Added

  • Federation documentation (FEDERATION.md).
  • Visibility (private or direct) icon in object summary.
  • Object social activity details include dislikes.
  • "quotes-me" theming class for objects.
  • Notification for quote posts.
  • MCP integration for quote posts.

Changed

  • Renamed NodeInfo siteName to more standard nodeName.
  • Increased hard-coded limits for actor attachments and pinned collections.

Fixed

  • Displaying quoted posts in draft view.
  • Visual indication of nested quotes in object view.

I added a FEDERATION.md document to the project. This is documentation required by FEP-67ff on "information necessary for achieving interoperability with a federated service". The document describes, at a high level, what federation protocols and standards Ktistec currently supports.

#ktistec #crystallang #activitypub #fediverse

Read more →
0
3

FSME-Risikogebiete breiten sich weiter aus!

Die zwei neuen -Risikogebiete in Deutschland sind:
📍Landkreis Nordsachsen in Sachsen
📍Stadtkreis Halle (Saale) in Sachsen-Anhalt

Aktualisierte Karte und weitere Informationen:
🔗 rki.de/DE/Aktuelles/Publikatio

Den zuverlässigsten Schutz gegen bietet die Impfung. Diese ist von der empfohlen für Personen, die in Risikogebieten zeckenexponiert sind.

Informationen zur Impfung:
🔗 rki.de/DE/Themen/Infektionskra

Makro-Foto einer Zecke auf einem grünen Blatt. Oben rechts steht „Epidemiologisches Bulletin“. In einem blauen Kasten steht: „Zwei neue FSME-Risikogebiete in Deutschland“. Unten steht „Robert Koch-Institut“.Infografik mit Deutschlandkarte und markierten FSME-Risikogebieten. Überschrift: „FSME-Risikogebiete in Deutschland“. Rechts steht: „Für 2026 sind zwei neue Gebiete hinzugekommen: • Landkreis Nordsachsen (Sachsen) • Stadtkreis Halle (Saale) (Sachsen-Anhalt) Somit sind aktuell 185 Kreise als FSME-Risikogebiet ausgewiesen.“ Unten eine Legende: „Bisheriges Risikogebiet“, „Neues Risikogebiet“, „Kein Risikogebiet“. Unten steht „Robert Koch-Institut“.Blauer Hintergrund mit Illustration einer Lupe. Überschrift: „Was ist FSME?“ Text: „Die Frühsommer-Meningoenzephalitis (FSME) ist eine Virusinfektion. Sie verläuft meist asymptomatisch, kann aber auch zu Entzündungen der Hirnhäute, des Gehirns und des Rückenmarks führen. Auch außerhalb der Risikogebiete treten vereinzelt Erkrankungen auf, so dass bei entsprechender Symptomatik überall in Deutschland differential-diagnostisch an FSME gedacht werden sollte.“ Unten steht „Robert Koch-Institut“. Unten rechts steht „Gibt es eine Impfung?“.Blauer Hintergrund mit Text und einem Hinweisfeld mit Glühbirnen-Symbol. Überschrift: „Gibt es eine Impfung?“ Text: „Ja, und sie schützt zuverlässig vor FSME! Die Impfung ist von der STIKO für folgende Personen in Risikogebieten empfohlen: • Bewohnerinnen und Bewohner • Besucherinnen und Besucher • Personen mit beruflicher Exposition Zu wenige Personen in Risikogebieten, insbesondere Personen über 60 Jahren, sind geimpft. Ein Großteil der FSME-Erkrankungen wäre durch höhere Impfquoten vermeidbar. Der Impfschutz sollte möglichst vor der Zeckensaison (April bis Oktober) aufgebaut werden!“ Unten steht „Robert Koch-Institut“.
0
0
0
0
pushed kentmere 400

visiting my parents. their home does not feel like the one i moved out of but a lot of the things that have always been there are still there. somehow i feel the need to document the little changes everytime i'm there. trinkets i made back in school next to something new. or things i got them for their homeyears after moving out, like that glass brick lamp in picture two.

#analogphotography
0
1
0
0
2
0
0

Antoine Léaument a fait ce sondage sur X.
piaille.fr/@cartococo/11612977
85 000 réponses, 47% de fascistes, 53% d'antifa.

Donc même question ici pour rire.

Vous êtes ?

0
29
0

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

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

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

nikkei.com/article/DGXZQOGN25BKH0V20C26A2000000/

0
0
0
0
0
0

초등생 관람객은 카피바라가 “가만히 있어서 좋다”고 했습니다. 다만 카비바라는 관람객이 손에 먹이를 들고 있을 때엔 먹이를 좇느라, 관람객이 자신을 만지려 할 때에는 피하느라 큰 움직임을 보였습니다. 만지기·먹이주기 등의 접촉으로 관람객은 즐거워했지만, 카피바라들은 그다지 느긋하거나 행복해 보이지 않았습니다.

‘동물원 인싸’ 카피바라, 탈모·피부질환 시달리는 이유...

0
0
4
0

We’ve published a new blog post outlining how we’re preparing for the European Union’s Cyber Resilience Act (CRA), and what it means for the FreeBSD ecosystem.

The CRA introduces new compliance expectations for products containing digital elements, including open source components.

Read the full post here:
freebsdfoundation.org/blog/get

0
0
1

業務用アプリは集合の操作だけでなく集合に対する宣言的なロジックとして記述できる場合がおおくて本来そうするべきなのにとかつい考えてしまう傾向がある

0
0
pushed kentmere 400

visiting my parents. their home does not feel like the one i moved out of but a lot of the things that have always been there are still there. somehow i feel the need to document the little changes everytime i'm there. trinkets i made back in school next to something new. or things i got them for their homeyears after moving out, like that glass brick lamp in picture two.

#analogphotography
0

もちろん私もProcessingと戯れるときなどにテスト駆動開発をしようなどとは思わないわけですが、業務用のアプリケーションは集合の操作と考えるとわかりやすいときがあり、そういうときは単体テストを治具なり型枠なりにすることで品質の低下を防げる、という経験を積み重ねてきているのです。

0

Excuse me, there's no "intelligence crisis". There's a (socio-political) stupidity crisis.

There's no shortage of intelligent advice, not before the "AI" craze, not even now.

It's just not being heeded, because money money money.

0

Loops.video isn't TikTok, your account will be suspended for violating our policies by sharing extreme right-wing content.

Before you claim free speech, it's a bit different in Canada 😉

"Freedom of speech in Canada guarantees freedom of thought, belief, opinion, and expression, including press freedom. While fundamental to democracy, this right is not absolute and is subject to "reasonable limits" under Section 1, such as restrictions on hate speech, defamation, and obscenity."

Report them 😎

0
14
0
0
1
0
0
0
0

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

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

0
0

그리고 아까 갑자기 깨달은 것 : 우리 빛과 소금 아미... 약간 바니언니하고도 닮은 느낌이 있어...ㅋ.ㅋ..ㅋ.ㅋ.ㅋ.ㅋ...(이마침) 레트로 바니 - rise!마이키 - 최아미. 어떤... 어떤 맥락이 보인다..ㅋ.ㅋ.ㅋ.ㅋ.!!!(셀프 웃겨 죽을라캄 (물론 제 rise!TMNT 최애는 라프 더 빅스트로베리입니다만)

0
0

There are two music apps that I'm loving at the moment. Both have nice large album artwork views:

Albums - (@albumstheappAlbums - Music Library Player) for playing my Apple Music Library. The new MacOS app ticks most of my criteria!
albumstheapp.com

Spite - for playing my own digital collection. Lovely minimal streamlined interface!
jamesreeves.co/spite/

My ideal is basically a combination of these two

Albums app - album library viewAlbums - 'art view' with large album artworkSpite app, with an even larger album art view
0
0

Loops.video isn't TikTok, your account will be suspended for violating our policies by sharing extreme right-wing content.

Before you claim free speech, it's a bit different in Canada 😉

"Freedom of speech in Canada guarantees freedom of thought, belief, opinion, and expression, including press freedom. While fundamental to democracy, this right is not absolute and is subject to "reasonable limits" under Section 1, such as restrictions on hate speech, defamation, and obscenity."

Report them 😎

0
14
0
0

평안하신지요, 여러분.

오늘은 백합.정원이 탄생 2주년을 맞는 날이에요.
도중에 정원사의 개인적인 어려움으로 폐쇄될 뻔한 적도 있지만, 지금 정원사는 아주 건강해요. 앞으로도 백합.정원을 열심히 운영해나갈 생각이에요.
한때는 월 100만원을 내는 초고가 인프라였지만, 지금은 아주 저렴하게 운영하고 있어서, 경제적으로도 부담이 없어요.
부족함이 많은 서버, 부족함이 많은 서버장이지만, 백합이라는 주제로 연합우주에서 누구나 편안하고 안전하고 자유롭게 떠들고 즐길 수 있는 공간을 만들기 위해 노력하고 싶어요.
백합.정원에 제안하고 싶은 부분, 개선되었으면 좋겠다고 생각하는 부분이 있다면, 언제든지 알려주세요.

2년동안 함께해주셔서 감사해요. 앞으로도 오래오래 계속계속 잘 부탁드려요!

2주년 기념 유리와 가든은 초록찹쌀떡 님(
@thylakoid00@planet.moe초록찹쌀떡)이 그려주셨어요. 해당 저작물은 초록찹쌀떡 님께 저작권이 있어요.

5
1