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
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
Frederic Jacobs @fj@mastodon.social
Public

"If Europe doesn’t wake up soon, it may be too late. But undoing a lifetime of child-like reverence for America is no easy task. Europeans must band together with their European siblings and stand up to this abusive parent, even though it may mean their world could fall apart in the short term. Because if they don’t, the cycle of abuse is only going to get worse."
davekeating.substack.com/p/eur

Europe is a terrified child

There is a troubling psychology behind why Europeans are accepting their leaders' summer of subservience to "daddy" Donald Trump.

davekeating.substack.com

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

Lemmanaid: Neuro-symbolic lemma conjecturing. ~ Yousef Alhessi et als. arxiv.org/abs/2504.04942

arXiv logo

Lemmanaid: Neuro-Symbolic Lemma Conjecturing

Automatically conjecturing useful, interesting and novel lemmas would greatly improve automated reasoning tools and lower the bar for formalizing mathematics in proof assistants. It is however a very challenging task for both neural and symbolic approaches. We present the first steps towards a practical neuro-symbolic lemma conjecturing tool, Lemmanaid, that combines Large Language Models (LLMs) and symbolic methods, and evaluate it on proof libraries for the Isabelle proof assistant. We train an LLM to generate lemma templates that describe the shape of a lemma, and use symbolic methods to fill in the details. We compare Lemmanaid against an LLM trained to generate complete lemma statements as well as previous fully symbolic conjecturing methods. Lemmanaid outperforms both neural and symbolic methods on test sets from Isabelle's HOL library and from its Archive of Formal Proofs, discovering between 29-39.5% of the gold standard human written lemmas. This is 8-15% more lemmas than the neural-only method. By leveraging the best of both symbolic and neural methods we can generate useful lemmas for a wide range of input domains, facilitating computer-assisted theory development and formalization.

arxiv.org · arXiv.org

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Ryan(ライアン) @lowroarrawr@songbird.cloud
Public
Shared by nogajun🍉

※拡散希望※
[お世話になっている関係者の皆様、ならびにカンパいただいた方々へ]

まだ色々と心配事が耐えないのと、またまた父親にお金を貸したり、今度は父親と音信不通だったおふくりの離婚調停関連でゴタゴタで、引き続きカンパをお願いします大泣
(父親が着手金を用意したため、無事に弁護士が着任してくれたとはいえ、日頃の諸費用は結局自分がケアしてたりです…。じきにnote記事を更新しようと思います…)

また、弟に京都の大学への定期券代を貸したり、明日、泌尿器科に受診することを忘れていて、なんというか奨学金受給まで大ピンチです…。
(国保には入れたので、何とかできそうな範疇ですが)

交通費/Tシャツ制作費/EP制作費/機材費/支援団体・同じ志を持つ個人へのカンパ等で使わせていただきます

是非カンパをお願いいたします
いずれかでお願いできれば幸いです🙇🏽‍♂️

PayPay(9月13日まで)
qr.paypay.ne.jp/p2p01_LkoYLBa8

PayPal
paypal.me/Ryanwije

Ko-Fi
ko-fi.com/lowroarrawr

Note
note.com/rawrisrealbro/n/nf917

SUZURI(Tシャツなど販売)
suzuri.jp/lowroarrawr

銀行(DMまで)

カンパ先一覧をKo-Fiにまとめましたので、カンパは下のリンクからでお願いします🙇🏽‍♂️
ko-fi.com/Post/カンハ先-C0C61H5JWH

qr.paypay.ne.jp

0
0
0
Ryan(ライアン) @lowroarrawr@songbird.cloud
Public
Shared by nogajun🍉

考え事で寝れないので、今僕が思っていることを書かせていただきました。
DMC関係者の方々にはご迷惑をおかけしますが、ぜひお読みいただきたいです。
ぜひご一読ください。

勝手に記事内で、複数の方々をネームドロップしてすみませんが、リスペクトを込めております。

「国籍」じゃ俺のルーツは語れないし、表せない。｜Ryan / J-Rawr note.com/rawrisrealbro/n/n47c3

「国籍」じゃ俺のルーツは語れないし、表せない。｜Ryan / J-Rawr

どうも、J-Rawr(じぇいろあ)ことRyanです。 8月31日、JR大阪駅前の大阪NOHATE街宣で、市民スピーカーとしてスピーチをさせて頂きました。 大阪生まれ育ち移民2世/ミックスルーツ/外国籍永住者/被差別当事者として、参政党など排外主義ウハウハ政治がクソなところ、政治家の皆さんやマジョリティの皆さんに対して、早く包括的差別禁止法/ヘイトスピーチ規制法を作ってください！と言わせて頂きました。 が、そのスピーチの中で、僕が出場していたDJの大会、DMCにおける「国籍条項」について発言させていただきました。 しかしながら、どこか語弊のある言い方になっていないか、とても不安で仕方

note.com · note（ノート）

0
0
0
1
0
0
nogajun🍉 @nogajun@mastodon.social
Public

いや、それはジョニー・マーのセリフだと思う。極右レイシスト陰謀論者のモリッシーを相手に話しするほうが疲れるよ

モリッシー、ザ・スミスに関するビジネス上の全て権利を「興味のある人なら誰にでも売る」と発表 - amass
amass.jp/184780/

モリッシー、ザ・スミスに関するビジネス上の全て権利を「興味のある人なら誰にでも売る」と発表 - amass

モリッシーは「自身が持つザ・スミスに関するビジネス上の全て権利を、興味のある人物に売却する以外に選択肢がない」という声明を発表。バンド名、アートワーク、楽曲の権利など。元バンドメイトとの「あらゆる繋がりに疲れ果てた。悪意ある関係にはもううんざりだ」　

amass.jp · amass

0
0
0
1
0
0
0
0
0
0
0
0
이찬행 @2chanhaeng@hackers.pub
Public
Shared by 洪 民憙 (Hong Minhee)

또 모나드 설명 글 읽고 있음
그치만 주제 하나로 수많은 사람들이 각자의 해석에 따라 각자의 방식대로 글을 쓴다는 게 너무 재밌지 않음?
https://blog.merovius.de/posts/2018-01-08-monads-are-just-monoids/

Monads are just monoids in the category of endofunctors

I explain the mathematical background of a joke-explanation of monads. Contains lots of math and a hasty introduction to category theory

blog.merovius.de

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

Readings shared September 3, 2025. jaalonso.github.io/vestigium/p

Readings shared September 3, 2025

The readings shared in Bluesky on 3 September 2025 are Thinking programs (Logical modeling and reasoning about languages, data, computations, and executions). ~ Wolfgang Schreiner. #ITP #IsabelleHOL

jaalonso.github.io · Vestigium

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
한국어 뉴스 봇 @newsbot@uri.life
Quiet public
Shared by 나나나나미

📰 혈액에서 XY 염색체가 발견된 여성

여성인 아나 파울라 마르틴스의 혈액 세포에서는 XY 염색체가 발견됐다. 이는 쌍둥이 남자형제에서 온 것으로 추정된다.
bbc.com/korean/articles/cr4q0q

아나 파울라 마르틴스와 쌍둥이 형제의 사진

혈액에서 XY 염색체가 발견된 여성 - BBC News 코리아

여성인 아나 파울라 마르틴스의 혈액 세포에서는 XY 염색체가 발견됐다. 이는 쌍둥이 남자형제에서 온 것으로 추정된다.

www.bbc.com · BBC News 코리아

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

Having ongoing discussions about URL parsing differences as a basis for a security vulnerability report made me check when I wrote my "my URL isn't your URL" blog post.

*Nine years ago*. And we have not made a single move towards a solution in all this time.

daniel.haxx.se/blog/2016/05/11

My URL isn’t your URL

When I started the precursor to the curl project, httpget, back in 1996, I wrote my first URL parser. Back then, the universal address was still called URL: Uniform Resource Locators. That spec was published by the IETF in 1994. The term "URL" was then used as source for inspiration when naming the tool and … Continue reading My URL isn’t your URL →

daniel.haxx.se · daniel.haxx.se

0
0
0
이찬행 @2chanhaeng@hackers.pub
Public
Shared by RE: 밤하늘 :Starry_Sky:

커뮤니티에서 정치적인 주제를 금지하면 결국 관리자가 보기에만 정치적이지 않은, 자기 입맛에 맞는 정치적인 글만 남더라구요

2
0
0