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.

daniel:// stenberg:// @bagder@mastodon.social
Public

Remember the AIxCC competition? After lots of research and triaging, the conclusion has landed: not a single *real* problem was found in .

My previous write-up on the rather lame injected problems they found:

daniel.haxx.se/blog/2025/10/22

AIxCC curl details

At the AIxCC competition at DEF CON 33 earlier this year, teams competed against each other to find vulnerabilities in provided Open Source projects by using (their own) AI powered tools. An added challenge was that the teams were also tasked to have their tooling generate patches for the found problems, and the competitors could … Continue reading AIxCC curl details →

daniel.haxx.se · daniel.haxx.se

0
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Candle: A verified implementation of HOL Light. ~ Oskar Abrahamsson et als. link.springer.com/article/10.1

Candle: A Verified Implementation of HOL Light (Extended Version) - Journal of Automated Reasoning

This paper presents a fully verified interactive theorem prover for higher-order logic, more specifically: a fully verified clone of HOL Light. Our verification proof of this new system results in an end-to-end correctness theorem that guarantees the soundness of the entire system down to the machine code that executes at runtime. Our theorem states that every exported fact produced by this machine-code program is valid in higher-order logic. Our implementation consists of a read-eval-print loop (REPL) that executes the CakeML compiler internally. Throughout this work, we have strived to make the REPL of the new system provide a user experience as close to HOL Light’s as possible. To this end, we have, e.g., made the new system parse the same variant of OCaml syntax as HOL Light. All of the work described in this paper has been carried out in the HOL4 theorem prover.

link.springer.com · SpringerLink

0
0
0
0
0
0
1
0
0
港新聞 Kong News @kong.news@threads.net
Public

【BUILT-IN PRO 電器專門店特約】新加坡一名YouTuber近日公開其長達40多日的街頭易物挑戰，成功由一枚面值1毫子新加坡元（約港幣6毫子）硬幣，逐步換得一輛私家車，過程引發網民熱議，有人直言難以置信，亦佩服其毅力。

Youtuber Michael Collins 上周六（6日）上載影片介紹經歷，他先拿着1毫子硬幣換取半包紙巾，再憑紙巾逐步換得網球、通鼻薄荷罐、淡香水及手錶等小物件。

當他以一部舊 CCD 相機換到全新喇叭後，交換物件價值開始提升，其後陸續換來雪櫃、電腦及 iPhone 17 Air，最終獲得一輛售價約2,800新加坡幣（約16800港元）、車齡15年的紅色私家車。

Collins透露，他提出以無人機及一張 PSA10 級別《海賊王》卡片（總值約2,600新加坡幣）換車時遭車主拒絕，其後再建議車主保留報廢回收價，再加上兩件物品，最終成功達成交易。

回顧歷程，他指雪櫃是最難換出的物品，iPhone 17 Air亦比想像中更難轉換出去。觀眾直言過程如「大型易物實驗」，認為他發現舊 CCD 相機仍能正常運作是「改變整件事的關鍵」。

May be an image of magazine, poster and text that says 'REM za LAKN KN cnA ЛHoK င်းထငးဆာ် Lng SKA1845L 坡幣1毫子開始交換 YouTuber 以物易物 42日後換來- 後換來一部私家車 雪櫃及iPhone17Air最難換走 Air最難換走 雪櫃及iPhone 17 雙12 年尾終極 感謝祭 12月3日-12月16日 12月3日 BUILT-IN PRO SIEMENS អីវូ BOSCH LG Whirlpool SAMSUNG Kong News KongNews最管優惠碼 請害優惠碼 KN1212 滿$8000 58000減$212 減$212'
0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
1
0
0
0
0
0
무강이 @amudog_@qdon.space
Public

지금 싸구려 USB 사운드카드에 브리츠 스피커 물려 쓰고 있는데 더 나은 음질 추구를 위해서 바꿔야 할 것은?!

0
0
0
2
0
0
0
0
0
1
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
ASB Freiburg @ASBFreiburg@freiburg.social
Public
Shared by Quincy ⁂

Meine Güte, da kommt auf Archive und Bibliotheken etwas zu: Wir haben gerade die erste - generierte Anfrage bekommen. Aus den USA, in perfektem und höflichen Deutsch. Nach einem Artikel, den es nicht gibt. In einer Zeitschrift, die es nicht gibt - also nicht nur bei uns, sondern generell. Komplett halluziniert.

Kostet aber doch 5 bis 10 Minuten, das nachzuschauen. Keine Ahnung, an wie viele Archive und Bibliotheken das ging - aber wahrscheinlich gehen da in der Summe mehrere Stunden für eine komplette Quatsch-Anfrage drauf.

Keine Ahnung, wie man sich dagegen wehren kann.

0
0
0
matoken :fox: @matoken@inari.opencocon.org
Public

snac の記事公開されました

snac.kagolug.org/info/p/176527

info (@info@snac.kagolug.org)

さくらのナレッジでActivityPub サーバーのsnac についての記事が公開されました． 主にここのインスタンスを立ち上げたときの記録です． #kagolug さくらのVPSで試す、軽量ActivityPub実装「snac」によるセルフホストSNS構築 | さくらのナレッジ https://knowledge.sakura.ad.jp/48228/

snac.kagolug.org · snac.kagolug.org

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Coro @Coro@mstdn.maud.io
Public
Shared by 雨宮凪沙/nagiko

「チンパンジーが配属されてきたら」問題は、なぜ「誤読」ではないのか──HRTechが踏まえるべき国際的な倫理ライン|株式会社 七夕研究所

note.com/tanabata_lab/n/nfb68295ce7d7

「チンパンジーが配属されてきたら」問題は、なぜ「誤読」ではないのか──HRTechが踏まえるべき国際的な倫理ライン｜株式会社 七夕研究所

今回問題になった記事はすでに削除されていますし、ここでリンクも引用もしません。ただ、構造だけは確認しておきます。 タイトルは「チンパンジーが配属されてきたら、あなたはどうマネジメントする？」 チンパンジーは「同じ部署のメンバー」として扱われる マネージャー視点で「どうマネジメントするか」が語られる 途中で重大なトラブルが起き、労災やPTSD、射殺にまで言及する つまりこれは、「問題のある部下／同僚」をチンパンジーのイメージで語る構造です。「チンパンジーというキャラクターで、課題を寓話的に表現しただけだ」「人間を動物に喩えたわけではない」という“逃げ”がSN

note.com · note（ノート）

0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
1
0
0
why-not @Heike @why_not@mastodon.social
Public

„Der Braunschweiger Stadtrat entscheidet am Nachmittag über eine Arbeitspflicht für Asylbewerber. Sollte der Antrag der CDU-Fraktion beschlossen werden, wäre Braunschweig die erste deutsche Großstadt mit einer solchen Pflicht. (…)
Neben Braunschweig und Peine ist eine Arbeitspflicht für Asylbewerberinnen und Asylbewerber auch in anderen niedersächsischen Kommunen ein Thema. Am Mittwoch entscheiden die Stadt Salzgitter und der Landkreis Helmstedt über ähnliche Anträge.
⬇️

why-not @Heike @why_not@mastodon.social
Public
Shared by Quincy ⁂

Während in den anderen Kommunen immer die jeweilige CDU-Fraktion die treibende Kraft war, kam der Antrag in Salzgitter von der SPD.“
⬅️

ndr.de/nachrichten/niedersachs

Arbeitspflicht für Asylbewerber? Erste deutsche Großstadt entscheidet

Der Braunschweiger Stadtrat entscheidet am Nachmittag über eine Arbeitspflicht für Asylbewerber. Sollte der Antrag der CDU-Fraktion beschlossen werden, wäre Braunschweig die erste deutsche Großstadt mit einer solchen Pflicht.

www.ndr.de · ndr.de

0
0
0
0
0
0
매일_전력_1시간 @daily_1hour@uri.life
Public

<251209 가동~>

1.매일 아침 전력 주제를 발표합니다.
당일 편하신 시간대에 1시간 동안 전력을 다해주세요.
글/그림/수공예/그외 모든 창작물 가능.

2.툿을 올리실 때 @daily_1hour매일_전력_1시간 계정을 태그해주시면 그날 밤~다음 전력 주제 발표 전까지 리노트/리부트합니다.
(툿이 리노트할 수 없는 상태라면 마음/북마크만 찍습니다.)

3.해당 계정은 타 유저를 팔로우하지 않습니다.
팔언팔 자유.

0
0
0
0
0
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
0
0
0