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.

1

ๆ˜จๆ—ฅใฎใƒ†ใƒฌใƒ“ใงใƒใƒฉใƒƒใจๆ˜ญๅ’Œๅคฉ็š‡ใŒใ€ŒๅŽŸ็ˆ†ๆŠ•ไธ‹ใฏใ—ใ‚‡ใ†ใŒใชใ‹ใฃใŸใ€ใจใ‹่จ€ใฃใฆใ‚‹ใฎ่ฆ‹ใฆใ€ใชใ‚‹ใปใฉๅคฉ็š‡ใ‹ใ‚‰่‡ชๅทฑใ‚’ๆŒฏใ‚Š่ฟ”ใ‚Šๅ็œใ‚‚ใ—ใชใ‹ใฃใŸใ‚ใ‘ใ ใ‹ใ‚‰ใ€ๆ”ฟๆฒปๅฎถใ‚‚ๅบถๆฐ‘ใ‚‚่‡ชๅทฑใ‚’ๆŒฏใ‚Š่ฟ”ใฃใŸใ‚Šๅ็œใ—ใŸใ‚Šใ™ใ‚‹ใฎใฏ้ฟใ‘ใ‚‹ใ‚ใญใ€ใ ใฃใฆใƒกใƒณใ‚ฟใƒซใซ่ฒ ่ทใŒใ‹ใ‹ใ‚‹ใ‚‚ใฎใญใ€ใจๆ€ใ„ใพใ—ใŸใ€‚ใจใ“ใ‚ใงใ‚†ใ‚Šใ“ใฏๅญฆๆญด่ฉ็งฐใŠๅ’Žใ‚ใชใ—ใชใฎใซใฉใ“ใžใฎๅธ‚้•ทใ•ใ‚“ใฏใŠๅ’Žใ‚ใ‚‰ใ‚ŒใฆใŸใฎใจใ‹ใ€ๅŒใ˜ใ‚ˆใ†ใช็ญ‹ใฎ้€šใฃใฆใชใ„่กŒๅ‹•ใจใฃใฆใ‚‚ๆ‰ฑใ„ใซๅทฎใŒใ‚ใ‚‹ใ‚ใ‘ใงใ€็ญ‹ใ‚’้€šใ•ใš้€ƒใ’ๅˆ‡ใ‚Œใ‚‹็คพไผšใฏใฉใ†ใ—ใŸใฃใฆไธๅ…ฌๅนณใซใชใ‚‹ใ‚“ใ˜ใ‚ƒใชใ„ใงใ—ใ‚‡ใ†ใ‹ใ€‚ใกใชใฟใซใ‚ใŸใ—ใŒๅ‹คใ‚ใฆใ„ใ‚‹่ทๅ ด๏ผˆๅคใ„ไผๆฅญ๏ผ‰ใ‚‚่ชฐใ‚‚่ฒฌไปปๅ–ใ‚Šใพใ›ใ‚“ใ€‚ใฌใ‚‹ใพๆนฏใ€‚

0
1
1

ใจใ“ใ‚ใงใ€ใ“ใฎ่ฉฑใฏใ‚‚ใ†ไธ€ๅบฆใ—ใฆใŠใ„ใŸๆ–นใŒใ„ใ„ใชใ€ใจๆ€ใฃใŸๅˆ‡ใฃๆŽ›ใ‘ใฎ่ฉฑ้กŒใซใคใ„ใฆใฏใ€ใ‚‚ใ†ๅฟ˜ใ‚Œใพใ—ใŸ ๏ผผ(^o^)๏ผ

0
0

ํ‘โ€ฆ Mirror Tune ์ด ์›๋ž˜ ๋ฃจ๋ฆฌ๋“œ๋ž˜๊ณค์„ ์œ„ํ•ด ๋งŒ๋“  ๋…ธ๋ž˜์˜€๋‚˜? ๋„ˆ๋ฌด ์ข‹์ž–์•„ T-T

ใ€Žใƒซใƒชใƒ‰ใƒฉใ‚ดใƒณใ€ร—ใšใฃใจ็œŸๅคœไธญใงใ„ใ„ใฎใซใ€‚ใ€ŽใƒŸใƒฉใƒผใƒใƒฅใƒผใƒณใ€...

ใ€Žใƒซใƒชใƒ‰ใƒฉใ‚ดใƒณใ€ร—ใšใฃใจ็œŸๅคœไธญใงใ„ใ„ใฎใซใ€‚ใ€ŽใƒŸใƒฉใƒผใƒใƒฅใƒผใƒณใ€ ๏ฝœ RuriDragon ร— ZUTOMAYO - MIRROR TUNE๏ผป3ๅทป็™บๅฃฒ่จ˜ๅฟตPV๏ผฝ

โ–ฒใ€Žใƒซใƒชใƒ‰ใƒฉใ‚ดใƒณใ€3ๅทป็™บๅฃฒ่จ˜ๅฟต๏ผโ–ฒใšใฃใจ็œŸๅคœไธญใงใ„ใ„ใฎใซใ€‚ใฎไบบๆฐ—ๆฅฝๆ›ฒใ€ŽใƒŸใƒฉใƒผใƒใƒฅใƒผใƒณใ€ใจๆ–ฐ้€ฒๆฐ—้‹ญใฎใ‚ขใƒ‹ใƒกใƒผใ‚ทใƒงใƒณไฝœๅฎถcoalowlใจใฎใ‚นใƒšใ‚ทใƒฃใƒซใ‚ณใƒฉใƒœPVใ‚’ๅ…ฌ้–‹๏ผโ– ใ€Žใƒซใƒชใƒ‰ใƒฉใ‚ดใƒณใ€ไฝœๅ“็ดนไป‹ใ€Œ้€ฑๅˆŠๅฐ‘ๅนดใ‚ธใƒฃใƒณใƒ—ใ€้›ปๅญ็‰ˆใซใฆ้š”ๅท้€ฃ่ผ‰ไธญ๏ผใ„ใคใ‚‚ใฎๆฏŽๆ—ฅใซใ€ใกใ‚‡ใฃใจใ—ใŸ็•ฐๅค‰ใ€‚ใƒ‰ใƒฉใ‚ดใƒณใ‚ฌใƒผใƒซใฎ้’ๆ˜ฅใ‚นใƒˆใƒผใƒชใƒผใ€‚ใ‚ใ‚‹ๆœ ็›ฎ่ฆšใ‚ใ‚‹ใจ...

www.youtube.com ยท YouTube

0

Loss of moist broadleaf forest in Africa has turned a carbon sink into source

Link: nature.com/articles/s41598-025
Discussion: news.ycombinator.com/item?id=4

0
1
1
0
1

I recently ordered toothpaste from Walgreens. Tonight, about a week later, I received an email from Walgreens letting me know that I did not review my product, would I like to review it? I sat there laughing for 20 minutes, sat straight up, and then sincerely looked off into the distance and told myself, thatโ€™s it. Iโ€™m gonna write a 500 word review of toothpaste and somehow make it interesting and tie it into surveillance capitalism in 2026. I think 2026 is gonna be an interesting year for the blog.

0

Mastodonใจใ‹Misskeyใฏใ€ๆŠ•็จฟใŒๆ™‚็ณปๅˆ—้ †ใซไธฆใ‚“ใ ใ‚ฟใ‚คใƒ ใƒฉใ‚คใƒณๅฝขๅผใชใฎใงใ€ๆŠ•็จฟใ—ใŸ็›ดๅพŒใ‹ใ‚‰ๆ•ฐๆ™‚้–“ใใ‚‰ใ„ใฏ็›ฎใซใจใพใ‚‹ใ‘ใฉใ€ใ‚ใจใฏใ‚‚ใ†ๆตใ‚Œใกใ‚ƒใ†ใ‚“ใงใ™ใ‚ˆใญใ€‚

ๆ–ฐใ—ใ„ไบบใ‚‚ใŸใใ•ใ‚“ใฟใฆใ‚‹ใ—ใ€่ฆ‹้€ƒใ—ใฆใ„ใ‚‹ไบบใ‚‚ใ„ใ‚‹ใฎใงใ€ใ„ใคใ‚‚่ฆ‹ใฆใใ‚Œใฆใ„ใ‚‹ไบบใŒ้‚ช้ญ”ใซๆ€ใ‚ใชใ„ใใ‚‰ใ„ใฎ้ ปๅบฆใงใ€ๅŒใ˜่ฉฑใงใ‚‚ใ€็นฐใ‚Š่ฟ”ใ—ใ—ใŸๆ–นใŒใ„ใ„ใชใ€ใจๆ€ใ„ใพใ™ใ€‚

0
0

์‚ฌ๋ž‘์€ ๋•Œ๋กœ๋Š”
์ฒœ์ฒœํžˆ ์˜ค๋Š” ์†๋‹˜
๊ธฐ๋‹ค๋ฆฌ๋‹ค ์ง€์ณ๋„
ํฌ๊ธฐํ•˜์ง€ ๋ง์•„์š”

๊ฒฐ๊ตญ์—” ์–ธ์  ๊ฐ€
๋„ˆ์˜ ๋ฌธ์„ ๋‘๋“œ๋ฆด ํ…Œ๋‹ˆ

0

Added ๐—จ๐—ฃ๐——๐—”๐—ง๐—˜ ๐Ÿญ - ๐—ฆ๐—ฎ๐—ณ๐—ฒ๐—น๐˜† ๐—ฅ๐—ฒ๐—บ๐—ผ๐˜ƒ๐—ฒ ๐—”๐—น๐—น ๐—ง๐—ต๐—ถ๐—ฟ๐—ฑ ๐—ฃ๐—ฎ๐—ฟ๐˜๐˜† ๐—ฃ๐—ฎ๐—ฐ๐—ธ๐—ฎ๐—ด๐—ฒ๐˜€ [UPDATE 1 - Safely Remove All Third Party Packages] to the ๐—•๐—ฟ๐—ฎ๐˜ƒ๐—ฒ ๐—ก๐—ฒ๐˜„ ๐—ฃ๐—ž๐—š๐—•๐—”๐—ฆ๐—˜ ๐—ช๐—ผ๐—ฟ๐—น๐—ฑ [Brave New PKGBASE World article.

vermaden.wordpress.com/2025/10

0
0
0
0
1
0

Ugh. I appreciate the thought, but I really *donโ€™t* want to put CLI config into โ€œ$HOME/Library/Application Supportโ€ on MacOS. It belongs in $HOME/.config , which is sure where I'd look to find it. Darn it.

github.com/xdg-rs/dirs/tree/ma

0
1
0
1
0
0
1
1
1
0
2
0
1
0
0
[๋…ธํŠธ ์„œ๋ฒ„ ๋ถ€ํ™œ!!!!]
์—ฐํ•ฉ์šฐ์ฃผ์˜ ๋„์™€์ฃผ์‹  ๋ถ„๋“ค ์ •๋ง ๊ฐ์‚ฌ๋“œ๋ฆฝ๋‹ˆ๋‹ค!!! ์˜ค๋ฅ˜ ํ•ด๊ฒฐ๋˜์–ด ๊ธฐ์ ์ ์œผ๋กœ ๋ถ€ํ™œํ–ˆ์Šต๋‹ˆ๋‹ค!
์ •๋ง ๊ฐ์‚ฌ๋“œ๋ฆฝ๋‹ˆ๋‹ค!!! โ€‹:ablobcatgooglymlemjumping:โ€‹

[ใƒŽใƒผใƒˆใ‚ตใƒผใƒใƒผๅพฉๆดป!!!!]
้€ฃๅˆๅฎ‡ๅฎ™ใฎ็š†ใ•ใ‚“ใ€ๆœฌๅฝ“ใซใ‚ใ‚ŠใŒใจใ†ใ”ใ–ใ„ใพใ—ใŸ!!! ใ‚จใƒฉใƒผใŒ่งฃๆฑบใ•ใ‚Œใ€ๅฅ‡่ทก็š„ใซๅพฉๆดปใ—ใพใ—ใŸ๏ผ
ๆœฌๅฝ“ใซๆ„Ÿ่ฌใ—ใฆใ„ใพใ™!!!
4
0
1
1

:x_twitter: ๋งํฌ ํฌํ•จ

20๋…„์ „์˜ ๊ฒƒ์„ ์ธํ„ฐ๋„ท ๊ณ ๊ณ ํ•™์„ ํ•ด๋ด๋„ ์‹ ๊ธฐํ•œ๋ฐ 1000๋…„ ์ฐจ์ด์ด๋ฉด ์–ด๋–ค ๋А๋‚Œ์ผ๊นŒ? ์ง€๊ธˆ์œผ๋กœ ์น˜๋ฉด ๊ณ ๋ ค ์‹œ๋Œ€ ์ •๋„์ธ๋ฐ... โ€‹:blobcatgooglydrool:โ€‹

https://x.com/zzalzzumanhwa/status/2005220192927031581
0
1

Wouldn't it be nice if there was a simple way to parse user generated html and remove all the dangerous stuff? Bleach and nh3 are great libraries, but now there's a third: JustHTML! It has a policy based html sanitizer built in, that is enabled by default. It just works! :) Read more here: friendlybit.com/python/justhtm

0
0
0
1
0
1

A former 'South Park' writer created a parody website for Trump Kennedy Center after snagging the domain names. Logo has redacted Epstein file snippets

"Welcome to TrumpKennedyCenter.org

A national cultural center dedicated to legacy, loyalty, and the careful presentation of history.

โ€‹Here, tradition is preserved, narratives are curated, and performances are elevated beyond mere art. What is remembered matters. What is omitted matters more.

We invite you to experience culture as authority, pageantry as truth, and excellence as defined by those in power."

trumpkennedycenter.org/

Edit to clarify it was one former writer, add link. Sorry.

deadline.com/2025/12/trump-ken Archive: archive.ph/45mTS

TrumpKennedyCenter.org
A redacted long line J Trump redacted snippet 13-year old girl.
0
0
0
1
1

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

Link: arxiv.org/abs/2512.02080
Discussion: news.ycombinator.com/item?id=4

arXiv logo

The 4/$ฮด$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain unreliable: without a solid theoretical footing, the refinement process acts as a black box that may oscillate, loop, or diverge. This work bridges this critical gap by developing an LLM-Verifier Convergence Theorem, providing the first formal framework with provable guarantees for termination in multi-stage verification pipelines. We model the interaction not as a generic loop, but as a sequential absorbing Markov Chain comprising four essential engineering stages: \texttt{CodeGen}, \texttt{Compilation}, \texttt{InvariantSynth}, and \texttt{SMTSolving}. We prove that for any non-zero stage success probability ($ฮด> 0$), the system reaches the \texttt{Verified} state almost surely. Furthermore, because of the sequential nature of the pipeline, we derive a precise latency bound of $\mathbb{E}[n] \leq 4/ฮด$. We stress-tested this prediction in an extensive empirical campaign comprising over 90,000 trials. The results match the theory with striking consistency: every run reached verification, and the empirical convergence factor clustered tightly around $C_f\approx 1.0$, confirming that the $4/ฮด$ bound accurately mirrors system behavior rather than serving as a loose buffer. Based on this data, we identify three distinct operating zones -- marginal, practical, and high-performance -- and propose a dynamic calibration strategy to handle parameter drift in real-world environments. Together, these contributions replace heuristic guesswork with a rigorous architectural foundation, enabling predictable resource planning and performance budgeting for safety-critical software.

arxiv.org ยท arXiv.org

0
0

I try to remember Iโ€™m lucky. I work for a true mission-driven company. A non-profit, but big enough to not deal with the non-profit problems largely. Iโ€™m compensated well. I donโ€™t feel like Iโ€™m contributing evil to the world. I feel like I am helping to make peopleโ€™s lives better, even if itโ€™s still stuck in a capitalist framing.

And I remind myself how rare that is.

When I think of rage quitting over some annoying thing, I remember how rare that combination is in this toxic timeline.

0
1