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.

ไธญๅ›ฝใ‹ใ‚‰ไปฅๅ‰ใ€ไฝœใฃใŸBluditใฎใƒ†ใƒผใƒžใซใคใ„ใฆใฎๅ•ใ„ๅˆใ‚ใ›ใƒกใƒผใƒซใŒๆฅใŸใ€‚่‡ชๅˆ†ใ‚‚ใ™ใฃใ‹ใ‚Šๅฟ˜ใ‚Œใฆใ„ใŸใฎใง่ชฟในใฆ่ฟ”ไบ‹ใ—ใŸใ‘ใฉใ€็ซ้‹ๅฑ‹ใ•ใ‚“ใฎใ‚ตใ‚คใƒˆใ‚’ไฝœใฃใฆใ‚‹ใใ†ใชใฎใงใ€Œๅ ดๆ‰€ใฉใ“ใ€‚ๆ—ฅๆœฌใ‹ใ‚‰่กŒใ‘ใใ†ใชใ‚‰้ฃŸในใซ่กŒใใ€ใจ่ฟฝไผธใซๆ›ธใ„ใฆ่ฟ”ไบ‹ใ—ใŸ

0
0
0

Inspired by the recent successful "vibe coding" in Lean of a solution to an Erdos problem at arxiv.org/abs/2510.19804 , I tried my hand at formalizing the disproof (by Pikhurko in 2001) that had recently been unearthed by Quanyu Tang of another Erdos problem erdosproblems.com/613. This was a simple finite counterexample: a graph of 44 edges on 15 vertices that could not be split into a bipartite graph and a graph with max degree 5. The paper of Pikhurko is just 9 pages (and also constructs more general counterexamples with larger choices of parameters, as well as some reasonably matching lower bounds), so this looked like within reach of modern AI tools. I therefore uploaded the paper to ChatGPT Pro and asked it first to summarize the construction in informal language, and then formalize step by step. chatgpt.com/share/690a65b3-473 (1/4)

0
1
0
0
0
0
0

ไปปๅคฉๅ ‚้›ปๅฝฑๅฎ‡ๅฎ™ๅ•Ÿๅ‹•๏ผŸ๏ผ
ๅœจไปŠๅคฉ็š„็ถ“็‡Ÿๆ–น้‡่ชชๆ˜ŽๆœƒไธŠ
ไปปๅคฉๅ ‚ๅ†ๆฌกๅผท่ชฟๅฐๅฝฑ่ฆ–ๅจ›ๆจ‚็š„้‡่ฆ–๏ฝž

2026ใ€Š่ถ…็ดš็‘ชๅˆฉๆญ้Š€ๆฒณ้›ปๅฝฑ็‰ˆใ€‹
2027ใ€Š่–ฉ็ˆพ้”ๅ‚ณ่ชชใ€‹็œŸไบบ็‰ˆ้›ปๅฝฑ
้™คไบ†ไธŠ้ข2้ƒจๅทฒๅ…ฌ้–‹็š„้›ปๅฝฑๅค–
ๆœชไพ†้‚„ๆœƒๆŒ็บŒๆŽจๅ‡บๆ›ดๅคšๅฝฑ่ฆ–ไฝœๅ“็š„๏ผ
#ไปปๅคฉๅ ‚

Photo by ็ฃ้˜ฟ่ณ€็š„ไปป็ฒ‰ on November 04, 2025. May be an image of video games, poster and text.
0
0
2
2

ใชใ‚“ใงๆฎ‹ๆฅญใจๅ‰ฏๆฅญใŒใƒˆใƒฌใƒผใƒ‰ใ‚ชใƒ•ใซใชใฃใฆใ‚“ใ ใ‚ˆใ€‚ๆœ€ไฝŽ่ณƒ้‡‘ใ‚’ไธŠใ’ใ‚Œใฐใ„ใ„ใ ใ‘ใ ใ‚ใ€ๅคง้ฆฌ้นฟ้‡Ž้ƒŽใ€‚

ใ€Œๆ…ฃใ‚Œใชใ„ๅ‰ฏๆฅญใ™ใ‚‹ไบบใŒๅฟƒ้…ใ€ใ€€้ซ˜ๅธ‚้ฆ–็›ธใ€ๅŠดๅƒๆ™‚้–“่ฆๅˆถ็ทฉๅ’Œๅทกใ‚Š่ฆ‹่งฃ | ๆฏŽๆ—ฅๆ–ฐ่ž mainichi.jp/articles/20251105/

0
0

Der Mythos, Videokonferenzen seien nach Corona รผberflรผssig, hรคlt sich hartnรคckig. Dabei ist Remote-Arbeit lรคngst fester Bestandteil vieler Unternehmen geworden. Open-Source-Lรถsungen wie OpenTalk bieten eine sichere, flexible und datenschutzfreundliche Plattform, die Zusammenarbeit auch รผber Entfernungen hinweg einfach und verlรคsslich macht.

Mythos: Videokonferenzen werden nach der Pandemie nicht mehr benรถtigt.Fakt: Videokonferenzen sind auch nach der Pandemie ein wichtiger Bestandteil der Zusammenarbeit, da sie Flexibilitรคt, schnelle Kommunikation und ortsunabhรคngige Vernetzung ermรถglichen.
0

โ€‹:ippannno_gokatei:โ€‹ใซใฏใฉใ“ใซใงใ‚‚ใ‚ใ‚‹โ€‹:yamaha_motor:โ€‹ใฎRTX810ใ‚’ไฝฟใฃใฆใ‚‹ใ‚“ใ ใ‘ใฉใ€ใ‚ฟใ‚ฐVLAN + ipv4 over v6ใŒใงใใชใ„ใ‚‰ใ—ใใฆๆ–ฐใ—ใ„ใฎใŒๆฌฒใ—ใใชใฃใฆใ‚‹

1

The new @BoxyBSD platform gained some new features for a better experience!

* The new portal now also finally supports VNC access to your BSD based VPS instances!

* You can finally select ISO files which offers you even to install any BSD or version from scratch or to install your VPS instance based on your personal needs without relying on a ready2use image. More images can be added upon request quickly. Simply get in touch with @gyptazy

* You can now get up to 2 free VPS instances to test and evaluate HA setups, multi-region setups etc.

* Extended DN42 peering (where you can also use your DN42 IPv4 addresses)

This is created by @gyptazy and if you're interested into more information, just come to the FOSDEM 2026 for a chat!

The new BoxyBSD platform now offers VNC access and ISO selection which brings in several new possibilities for users.
0

ๅ‰ใ‚‚่จ€ใฃใŸใ‘ใฉใ€ใ‚พใƒผใƒฉใƒณใƒปใƒžใƒ ใƒ€ใƒ‹ใ‚’ใ€ๆ€ฅ้€ฒๅทฆๆดพใ€Ÿใจๆ›ธใๆ—ฅๆœฌ่ชžใƒกใƒ‡ใ‚ฃใ‚ขใฏใ€้ซ˜ๅธ‚ๆ—ฉ่‹—ใ‚‚ใ€ๆฅตๅณใ€Ÿใจๆ›ธใ‘ใ‚ˆใชใ€‚

0
0
0
1
1

์ˆ˜์›”์šฐ ์—ฃ์ง€
๊ฐ€๋ณ๊ณ  ๊ท€๋ฅผ ๋„ˆ๋ฌด ๊ฝ‰๋ง‰์ง€ ์•Š๋Š”๊ฒŒ ์ข‹์€ ๋“ฏ.
๋ฌผ๋ก  ๋Œ€์‹  ๋…ธ์บ”์ด ์—„์ฒญ ์ข‹์ง€๋Š” ์•Š์Œ. ๊ทผ๋ฐ ๊ทธ๋ ‡๋‹ค๊ณ  ๊ทธ๋ ‡๊ฒŒ ๋‚˜์œ ๊ฒƒ๋„ ์•„๋‹˜!

1

Der Mythos, Videokonferenzen seien nach Corona รผberflรผssig, hรคlt sich hartnรคckig. Dabei ist Remote-Arbeit lรคngst fester Bestandteil vieler Unternehmen geworden. Open-Source-Lรถsungen wie OpenTalk bieten eine sichere, flexible und datenschutzfreundliche Plattform, die Zusammenarbeit auch รผber Entfernungen hinweg einfach und verlรคsslich macht.

Mythos: Videokonferenzen werden nach der Pandemie nicht mehr benรถtigt.Fakt: Videokonferenzen sind auch nach der Pandemie ein wichtiger Bestandteil der Zusammenarbeit, da sie Flexibilitรคt, schnelle Kommunikation und ortsunabhรคngige Vernetzung ermรถglichen.
0
2
0

ใชใ‚“ใงๆฎ‹ๆฅญใจๅ‰ฏๆฅญใŒใƒˆใƒฌใƒผใƒ‰ใ‚ชใƒ•ใซใชใฃใฆใ‚“ใ ใ‚ˆใ€‚ๆœ€ไฝŽ่ณƒ้‡‘ใ‚’ไธŠใ’ใ‚Œใฐใ„ใ„ใ ใ‘ใ ใ‚ใ€ๅคง้ฆฌ้นฟ้‡Ž้ƒŽใ€‚

ใ€Œๆ…ฃใ‚Œใชใ„ๅ‰ฏๆฅญใ™ใ‚‹ไบบใŒๅฟƒ้…ใ€ใ€€้ซ˜ๅธ‚้ฆ–็›ธใ€ๅŠดๅƒๆ™‚้–“่ฆๅˆถ็ทฉๅ’Œๅทกใ‚Š่ฆ‹่งฃ | ๆฏŽๆ—ฅๆ–ฐ่ž mainichi.jp/articles/20251105/

0
0
0

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

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

Photo by TaiwanDreamer on November 04, 2025. May be an image of text that says 'ๅ…„ๅผŸๆ˜ฏๆˆ‘ๆ‰ๅฐ ๆˆ‘ๆ˜ฏๅ…„ๅผŸ ไบ•. ๆˆ‘ๆ‰ๆ˜ฏๅ…„ๅผŸ ๅ…„ๅผŸ่ฑก ไธญไฟกๅ…„ๅผŸ ไธŠๆตทๅ…„ๅผŸ'.
0
0
0
1
0
0

The release on GitHub is now marked as "immutable" and there's even something they call "release attestation" there now.

Just remember that the curl canonical releases are the signed tarballs uploaded by me. Reproducible, so you can verify them at will to not contain bad things. Signed to prove I did them.

Made with love and care, I promise.

0
0
0

typing.works ๋ฅผ ์ž ๊น ํ•ด๋ดค๋Š”๋ฐ ํƒ€์ž์น˜๋Š” ์ฝ˜ํ…์ธ ๋Š” ํ•œ๊ตญ์–ด์ธ๋ฐ UI๋Š” 100% ์˜์–ด์ธ ๊ฒŒ ์ข€ ๊ทธ๋ ‡๋‹ค.....

typing.works

0
[2025/11/05 16:40]
Blueskyใ€ใ‚ฝใƒผใ‚ทใƒฃใƒซใ”่ฟ‘ๆ‰€ใงโ€œๆœฌ็‰ฉใฎไผš่ฉฑโ€ใซ็„ฆ็‚น
https://www.watch.impress.co.jp/docs/news/2060291.html

ใ†ใฒใ‚ƒใ€‚ใพใ‚‹ใ”ใจๅ…จ้ƒจใ€ไฝ™่จˆใชใŠไธ–่ฉฑใ 
0

ไปŠใ€ŒSNSใ€ใจ่จ€ใ†ใจใ€ใพใšTwitterๅž‹ใฎใƒžใ‚คใ‚ฏใƒญใƒ–ใƒญใ‚ฐใ‚ตใƒผใƒ“ใ‚นใ‚’้€ฃๆƒณใ™ใ‚‹ไบบใŒๅคšใ„ใฎใฏ่ˆˆๅ‘ณๆทฑใ„ใชใ€‚ๅฝ“ๅˆใฏFacebookใ‚„mixiใฎใ‚ˆใ†ใชใ€ใƒชใ‚ขใƒซไธ–็•Œใงใฎ็น‹ใŒใ‚Šใ‚’ๆ‹กๅผตใ—ใŸไผšๅ“กๅˆถใฎ็ทๅˆใ‚ตใƒผใƒ“ใ‚นใจใ„ใ†ใ‚คใƒกใƒผใ‚ธใฎ่จ€่‘‰ใ ใฃใŸใ€‚

ๅฎŸ้š›ใ€TwitterใŒๆ—ฅๆœฌใงใ‚ตใƒผใƒ“ใ‚นใ‚’้–‹ๅง‹ใ—ใŸ้š›ใฎ็ดนไป‹่จ˜ไบ‹ใซใ€ŒSNSใ€ใจใ„ใ†่จ€่‘‰ใฏไธ€ๅˆ‡็™ปๅ ดใ—ใชใ„ใ€‚ใ‚€ใ—ใ‚ๆ—ขๅญ˜ใฎใƒ–ใƒญใ‚ฐใจใฎๅฏพๆฏ”ใงๆ‰ใˆใ‚‹ๆ–‡่„ˆใŒๅคšใ‹ใฃใŸใ€‚
xtech.nikkei.com/it/article/NE

0
0
0
0
0

์นด์นด์˜คํ†ก ์˜คํ”ˆ์ฑ„ํŒ…๋ฐฉ ์ƒˆ๋กœ ๋งŒ๋“ค๋ ค๋ฉด '์—…๋ฐ์ดํŠธ'ํ•ด์•ผ...์ผค ๋•Œ๋งˆ๋‹ค ์—…๋ฐ์ดํŠธ ์•ˆ๋‚ด๋ฅผ ๋„์šฐ๋Š”๊ฑธ ์ƒ๊ฐํ•ด๋ณด๋ฉด ๋ถˆํŽธ์„ ์ฃผ๋Š” ๋ฐฉ์‹์œผ๋กœ ๊ฐ•์ œํ•˜๋‚˜๋ณด๊ตฐ์š”.

1
0
0
1
0

ํ•œํŽธ 10๋Œ€ 20๋Œ€์—์„œ ํƒ„์ƒํ•˜๋Š” ํŠธ๋ Œ๋“œ์˜ ์‹œ์ž‘์ ์ด ๋‹ฌ๋ผ์ง„ ๊ฒƒ๋„ ์žˆ์Œ. ๊ฒŒ์ž„์ด๋‚˜ ์˜์ƒ, ์ปค๋ฎค๋‹ˆํ‹ฐ์—์„œ ํƒ„์ƒํ•˜๋Š” ๋ฐˆ๋“ค. ๋กœ๋ธ”๋ก์Šค ๊ฐ™์€ ์„œ๋น„์Šค์—์„œ ์ฒญ์†Œ๋…„๋“ค๋ผ๋ฆฌ ๋ชจ์—ฌ์„œ ๋งŒ๋“œ๋Š” ๊ฒŒ์ž„๋“ค, ํŠธ์œ„ํ„ฐ์—์„œ ํ˜์˜ค/๋ฐ˜ํ˜์˜ค์˜ ๊ฐ„ํŒ์„ ๊ฑธ๊ณ  ํ•˜๋Š” ์ •์น˜์ (์ด๋ผ๊ณ  ์ฃผ์žฅํ•˜๋Š”) ์•ก์…˜๋“ค, AI๋กœ ๋Œ€์ถฉ ์žฌ๋ฐŒ๊ฒŒ ๋งŒ๋“œ๋Š” ๋ฐˆ์  ๋…ธ๋ž˜๋“ค, ๊ทธ๋Ÿฐ๊ฒŒ 1020์˜ ์—๋„ˆ์ง€๊ฐ€ ๋˜์–ด๋ฒ„๋ฆฐ๊ฑฐ๊ณ  30๋Œ€ ํ›„๋ฐ˜๋งŒ ๋˜์–ด๋„ ๊ทธ๊ฑธ ๋”ฐ๋ผ๊ฐ€๋Š”๊ฒŒ ์‰ฝ์ง€ ์•Š์Œ. ์• ์ดˆ์— ๊ฐˆ ์ผ์ด ์—†๋Š” ์ปค๋ฎค๋‹ˆํ‹ฐ์—์„œ ๋งŒ๋“ค์–ด์ง€๊ณ  ์ž๊ธฐ๋“ค๋ผ๋ฆฌ ์†Œ๋น„ํ•˜๊ธฐ ๋–„๋ฌธ์—.

RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3m4uh2oc4us2h

0

์นด์นด์˜คํ†ก ์˜คํ”ˆ์ฑ„ํŒ…๋ฐฉ ์ƒˆ๋กœ ๋งŒ๋“ค๋ ค๋ฉด '์—…๋ฐ์ดํŠธ'ํ•ด์•ผ...์ผค ๋•Œ๋งˆ๋‹ค ์—…๋ฐ์ดํŠธ ์•ˆ๋‚ด๋ฅผ ๋„์šฐ๋Š”๊ฑธ ์ƒ๊ฐํ•ด๋ณด๋ฉด ๋ถˆํŽธ์„ ์ฃผ๋Š” ๋ฐฉ์‹์œผ๋กœ ๊ฐ•์ œํ•˜๋‚˜๋ณด๊ตฐ์š”.

1
0
0

์นด์นด์˜คํ†ก ์˜คํ”ˆ์ฑ„ํŒ…๋ฐฉ ์ƒˆ๋กœ ๋งŒ๋“ค๋ ค๋ฉด '์—…๋ฐ์ดํŠธ'ํ•ด์•ผ...์ผค ๋•Œ๋งˆ๋‹ค ์—…๋ฐ์ดํŠธ ์•ˆ๋‚ด๋ฅผ ๋„์šฐ๋Š”๊ฑธ ์ƒ๊ฐํ•ด๋ณด๋ฉด ๋ถˆํŽธ์„ ์ฃผ๋Š” ๋ฐฉ์‹์œผ๋กœ ๊ฐ•์ œํ•˜๋‚˜๋ณด๊ตฐ์š”.

0
1
2
0
0
0