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

person builds a time machine to travel to the past, they excitedly press it and try it for the first time, and it works

it transports them to the empty void of space 40 years ago, because the machine failed to account for spatial displacement and orbiting

0

Not that anyone reads what I have to say, but every single time your app shows a modal dialog box with something like "Are you enjoying <insert app name here> app?" I will always answer no regardless of my true feelings about the app overall because, in that moment, I hate the app with a burning passion.

0
0
0
0
0
0

すごい、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
4

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
1

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
1
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
0
1
0
0
0