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.

You can now blame Cloudflare for website issues with โ€œThe Cloudflare Error Page Generatorโ€ (an open-source project ) lets you create custom, static HTML error pages that perfectly mimic Cloudflare's style (like 5xx down errors). Put it on your site to quickly shift blame to Cloudflare when your site fails even when you donโ€™t use Cloudflare ๐Ÿคฃ yes, someone spent time building it instead of fixing the actual website. ๐Ÿ˜‚ github.com/donlon/cloudflare-e

0
0
0

ไฟบ้”ใซๆ†ฉใ„ใฎๅ ดใ‚’ๆไพ›ใ—ใฆใใ‚Œใฆใ‚‹ใ—ใ‚…ใ„ใ‚ใƒžใƒžใจๆ‘ไธŠใ•ใ‚“ใฏ้‡‘ๆฌ ใงใ€Twitterใ‚’ใ‚คใƒณใƒ—ใƒฌใ‚พใƒณใƒ“ใพใฟใ‚Œใฎๅฏพๆˆฆๅž‹SNSใซๅค‰ใˆใŸใ‚คใƒผใƒญใƒณใฏๅ„„ไธ‡้•ท่€…ใ ใ‚‚ใ‚“ใชใโ€ฆโ€ฆ

1

์‚ฌ์‹ค ์šฐ๋ฆฌ๋Š” ์ง„ํ™”์˜ ์–ด๋А ๋‹จ๊ณ„์—์„œ ํผ๋ฆฌ๊ฐ€ ์•„๋‹ˆ์—ˆ์„๊นŒ์š”? ๊ทธ๋Ÿฌ๋‹ค๊ฐ€ ์ด์ œ ํ„ธ์—๊ฒŒ์„œ ๋ฒ„๋ฆผ๋‹นํ•˜๊ณ ... ํผ๋ฆฌ๋Š” ํ„ธ์—๊ฒŒ ๋ฒ„๋ฆผ๋ฐ›๊ธฐ ์ „์œผ๋กœ ๋Œ์•„๊ฐ€๊ณ  ์‹ถ์€ ๋งˆ์Œ์ด ์•„๋‹๊นŒ์š”?

0
0
1
0

์ˆ˜์ • 2025.12.10. ์˜ค์ „ 6:59 ์™ธ๋ถ€ ๊ฐ„ํŒ๋„ ์—†์ด ์šด์˜๋œ ๊ฐ•๋‚จ ๋น„๋ฐ€ ์‚ฌ๋ฌด์‹คโ€ฆ์ฟ ํŒก ๋‚ด๋ถ€ ์‹œ์Šคํ…œ์„œ๋„ ๊ฒ€์ƒ‰ ์•ˆ ๋ผ ๋ฐ•๋Œ€์ค€ ๋Œ€ํ‘œ, ์กฐ์šฉ์šฐ ๋ถ€์‚ฌ์žฅ ๋“ฑ ๊ณ ์œ„ ๋Œ€๊ด€ ๋ผ์ธ๋„ ๊ทผ๋ฌด "์ˆ˜์‚ฌยท๊ฐ์ฐฐ ํšŒํ”ผ ๋ชฉ์ ?" ์—…๊ณ„ ์˜์‹ฌโ€ฆ์ •๋ถ€๋„ ์ „๋ฉด ์กฐ์‚ฌ ์ฐฉ์ˆ˜ m.nocutnews.co.kr/news/6440736...

[๋‹จ๋…]์ฟ ํŒก, ๊ฐ•๋‚จ ๋น„๋ฐ€ ์‚ฌ๋ฌด์‹ค์„œ ๋กœ๋น„ ์ด๋ ฅโ€ฆ๋ฐ•๋Œ€์ค€ ๋Œ€...

0

[ไปŠใ•ใ‚‰ใงใ™ใŒใ€ๅนผใชใ˜ใฟใ‚’ๅฅฝใใซใชใฃใฆใ—ใพใ„ใพใ—ใŸ] ์ตœ๊ทผํ™”์—์„œ ์ด๊ฒŒ NTR์ด๋„ค ๋ญ๋„ค ํ•˜๊ณ  ๋ง‰ ๋ถˆํƒ€๋Š” ๊ฑฐ ๋ณด๊ณ  ์ดํ•ด๊ฐ€ ์•ˆ ๊ฐ. ์‚ฌ๋žŒ๋“ค์ด ๋Œ€์ฒด ์–ผ๋งˆ๋‚˜ ๋‚ฉ์ž‘ํ•œ๊ฑฐ๋งŒ ์ง‘์–ด๋จน์œผ๋ฉด ๊ณ ์ž‘ ์ด๊ฑฐ๊ฐ€์ง€๊ณ  ๋ถˆํƒ€๋‚˜ ์‹ถ๊ธฐ๋„ ํ•˜๊ณ . ๋งˆ๋ฃจํ†  ํ›„๋ฏธ์•„ํ‚ค ์ฒจ๋จน์–ด๋ณด๋ƒ ํ•˜๋Š” ์‹ฌ์ •๋„ ๋“ค์ง€๋งŒ, ํ•˜๊ธด ๊ทธ๋ž˜, ๋งˆ๋ฃจํ†  ๋Œ€ํ‘œ์ž‘์ด ์ด์   ์‚ฌ์—์นด๋…ธ์ธ ์‹œ๋Œ€์—ฌ์„œ ๊ทธ๋ ‡๊ตฌ๋‚˜ ํ•˜๋ฉด ์ข€ ๋‚ฉ๋“๊ฐ์ด ์žˆ๊ธด ํ•จ. ํ•˜์ง€๋งŒ ๋„ˆ๋ฌด... ๋„ˆ๋ฌด ๋‚ฉ์ž‘ํ•œ ์ธ์Šคํ„ดํŠธ ๋Ÿฝ์ฝ”๋งŒ ์ง‘์–ด๋จน๊ณ  ์‚ฌ์‹œ๋Š” ๊ฑฐ ๊ฐ™์œผ์š” ๋А๊ทธ๋“ค;

0
1
0
0
0

์ด๋ฅธ๋ฐ” ํด๋ž˜์‹ ๋‚ ๋ฉด๋„๊ธฐ๋ฅผ ์‚ฌ์šฉํ•œ๋‹ค. ์–ด์ œ ๋ฉด๋„๋ฅผ ํ•˜๋Š”๋ฐ ์ด์ƒํ•˜๊ฒŒ ์ž˜ ์•ˆ๊น๊ธฐ๊ณ  ๋œฏ๊ฒจ ์ข€ ์ด์ƒํ–ˆ๋‹ค. ์˜ค๋Š˜ ์•„์นจ์— ๋ณด๋‹ˆ ์ด์ „์— ์‚ฌ์šฉํ•œ ๋‚ ์„ ๊ทธ๋Œ€๋กœ ๋‘๊ณ  ์ƒˆ๋‚ ์„ ๋„ฃ์–ด ๋‘์žฅ์ด ๊ณ‚์ณ์žˆ์—ˆ๋‹ค. ์ฒ˜์Œ ๊ฒช๋Š” ์ผ์ด๋ผ ์—ฌ๊ธฐ์— ์ ์–ด๋‘”๋‹ค.

0

็”ŸๆˆAI็”ปๅƒใปใฉใงใฏใชใ„ใ‘ใฉ็”ŸๆˆAIๆ–‡็ซ ใ‚‚ๅ‰ฒใจ็™–ใŒใ‚ใฃใฆใ‚ใ‹ใ‚‹ใ‚ˆใญโ€ฆใ€‚ใพใ‚็”ปๅƒใฎใปใ†ใ‚‚ใƒ—ใƒญใƒณใƒ—ใƒˆ่ฟฝใ„่พผใ‚“ใ ใ‚„ใคใฏAIใจใ‚ใ‹ใ‚‰ใ‚“ใ‚„ใคใ‚‚ใ‚ใ‚‹ใ—ใ€ๆ–‡็ซ ใ‚‚ๆŒ‡็คบๆฌก็ฌฌใฎ้ขใ‚‚ใ‚ใ‚‹ใ‘ใฉ

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

Bluesky Shits The Bed: ICE Edition

What happens when your husband gets kidnapped by ICE and you worry about it on Bluesky? Your account gets suspended, the Head of Trust and Safety trolls you on a secondary account you create to try and figure out what happened, then bans that account!

Fucking HELL what is WRONG with that site?!?

0
0
0

SF๋งค๊ฑฐ์ง„ 2026๋…„ 2์›”ํ˜ธ๋Š” ๊ฐ€๊ณต์ƒ๋ฌผ ํŠน์ง‘. hayakawabooks.com/n/nb499c297c

ใ€ๆžถ็ฉบ็”Ÿ็‰ฉใ€ๅ…จๅ“ก้›†ๅˆ๏ผใ€‘SFใƒžใ‚ฌใ‚ธใƒณ2026ๅนด2ๆœˆๅทใ€Œๆžถ็ฉบ็”Ÿ็‰ฉ็‰น้›†ใ€่กจ็ด™ๅ…ฌ้–‹๏ฝœHayakawa Books & Magazines๏ผˆฮฒ๏ผ‰

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

www.hayakawabooks.com ยท Hayakawa Books & Magazines๏ผˆฮฒ๏ผ‰

0
1
0
0
2
1

์‚ฌ์‹ค ์šฐ๋ฆฌ๋Š” ์ง„ํ™”์˜ ์–ด๋А ๋‹จ๊ณ„์—์„œ ํผ๋ฆฌ๊ฐ€ ์•„๋‹ˆ์—ˆ์„๊นŒ์š”? ๊ทธ๋Ÿฌ๋‹ค๊ฐ€ ์ด์ œ ํ„ธ์—๊ฒŒ์„œ ๋ฒ„๋ฆผ๋‹นํ•˜๊ณ ... ํผ๋ฆฌ๋Š” ํ„ธ์—๊ฒŒ ๋ฒ„๋ฆผ๋ฐ›๊ธฐ ์ „์œผ๋กœ ๋Œ์•„๊ฐ€๊ณ  ์‹ถ์€ ๋งˆ์Œ์ด ์•„๋‹๊นŒ์š”?

0
1
0
1
1

ใ€ŽSFใƒžใ‚ฌใ‚ธใƒณใ€2026ๅนด2ๆœˆๅทใฏใ€Œๆžถ็ฉบ็”Ÿ็‰ฉ็‰น้›†ใ€ใ€‚ใฌใพใŒใ•ใƒฏใ‚ฟใƒชใ•ใ‚“ใฎ่กจ็ด™็ตตใฎใ‚คใƒณใƒ‘ใ‚ฏใƒˆใ‚ใ‚‹ใ‚ญใƒฅใƒผใƒˆใ•ใซ็ฌ‘ใฃใฆใ—ใพใ†ใ€‚ใ‚ใŸใใ—ใฏใ€Œใƒ–ใƒชใƒผใƒ€ใƒผใ‚บใ€ใจใ„ใ†็Ÿญ็ทจใ‚’ๆ›ธใใพใ—ใŸใ€‚ใ€Œๆžถ็ฉบ็”Ÿ็‰ฉ็‰น้›†ใ€ใฎ้กŒๅญ—ใฎๅทฆๅณใงใ†ใญใ†ใญใ—ใฆใ„ใ‚‹็”Ÿใ็‰ฉใ€‚้€ฃ่ผ‰ใ€Œๅนป่ฆ–็™พๆ™ฏใ€ใซใ‚‚ๆžถ็ฉบ็”Ÿ็‰ฉใŒ็™ปๅ ดใ—ใพใ™ใ€‚

hayakawabooks.com/n/nb499c297c

ใ€ๆžถ็ฉบ็”Ÿ็‰ฉใ€ๅ…จๅ“ก้›†ๅˆ๏ผใ€‘SFใƒžใ‚ฌใ‚ธใƒณ2026ๅนด2ๆœˆๅทใ€Œๆžถ็ฉบ็”Ÿ็‰ฉ็‰น้›†ใ€่กจ็ด™ๅ…ฌ้–‹๏ฝœHayakawa Books & Magazines๏ผˆฮฒ๏ผ‰

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

www.hayakawabooks.com ยท Hayakawa Books & Magazines๏ผˆฮฒ๏ผ‰

0

ใ€๐Ÿท๐ŸŠ็พŽๅ‘ณใ—ใ„ๅ‘Š็Ÿฅ๐ŸŠ๐Ÿทใ€‘
ใ‚“ใ‚‚ใ‚“ใ‚‚ใฃ
โ€‹:foxjump:โ€‹
ๆง˜ใจใฎใ‚ณใƒฉใƒœใƒฌใƒผใ‚ทใƒงใƒณ๏ผ
ๅƒ•ใ€ใ‚‚ใฃๅผ็ฅžใฎๅˆใ‚ชใƒชใ‚ธใƒŠใƒซใƒฉใƒ™ใƒซใƒ•ใƒซใƒผใƒ„ใƒฏใ‚คใƒณ
ใ€Žใ‚‚ใฃๅผ็ฅž ๆ—ฅใ€…ไนƒ็ฅ้…’ใ€ใŒ็™บๅฃฒใ‚‚ใฃ
๐ŸŠ๐Ÿท๐ŸŽ‰
2025ๅนด12ๆœˆ10ๆ—ฅ๏ฝž12ๆœˆ20ๆ—ฅ23:59ใพใงใฎๆœŸ้–“้™ๅฎš่ฒฉๅฃฒใงใ™ใ‚‚ใฃ
โ€‹:blobcatrainbow:โ€‹
่ฒฉๅฃฒใ‚ตใ‚คใƒˆใฏใ“ใกใ‚‰ใงใ™ใ‚‚ใฃ
โ€‹:foxjump:โ€‹โœจ
https://iwaisake.studio.site/hQmIHEC6-3/w2VMQDwt
็”˜ใใฆ็พŽๅ‘ณใ—ใ„ๅคงไบบใฎไธ€ๆฏใ€ใ„ใ‹ใŒใงใ™ใ‚‚ใฃ
โ€‹:foxjump:โ€‹๐Ÿท๐ŸŠ

1

ใœใ‚“ใœใ‚“ๅˆฅใฎๆ–‡่„ˆใชใ‚“ใ ใ‘ใฉๅ…ทไฝ“็š„ใชใ“ใจใซใคใ„ใฆ่€ƒใˆใŸใ‚Š่ญฐ่ซ–ใ™ใ‚‹ใฎใŒๅคงไบ‹ใฃใฆใ„ใ†ใฎใฏใกใ‚‡ใฃใจๆœ€่ฟ‘ๆ€ใฃใฆใŸ๏ผˆใ‚ฝใƒ•ใƒˆใ‚ฆใ‚งใ‚ข่จญ่จˆใฎๆ–‡่„ˆ

0
1

Still validating CLI option relationships with if statements? Your type system can do it for you.

Stop writing if statements for...

Stop writing if statements for your CLI flags

If you've built CLI tools, you've written code like this: if (opts.reporter === "junit" && !opts.outputFile) { throw new Error("--output-file is required for junit reporter");}if (opts.reporter === "html" && !opts.outputFile) { throw new Error("--output-file is required for html reporter");}if (opts.reporter === "console" && opts.outputFile) { console.warn("--output-file is ignored for console reporter");} A few months ago, I wrote Stop writing CLI validation. Parse it right the first time. about parsing individual option values correctly. But it didn't cover the relationships between options. In the code above, --output-file only makes sense when --reporter is junit or html. When it's console, the option shouldn't exist at all. We're using TypeScript. We have a powerful type system. And yet, here we are, writing runtime checks that the compiler can't help with. Every time we add a new reporter type, we need to remember to update these checks. Every time we refactor, we hope we didn't miss one. The state of TypeScript CLI parsers The old guardโ€”Commander, yargs, minimistโ€”were built before TypeScript became mainstream. They give you bags of strings and leave type safety as an exercise for the reader. But we've made progress. Modern TypeScript-first libraries like cmd-ts and Clipanion (the library powering Yarn Berry) take types seriously: // cmd-tsconst app = command({ args: { reporter: option({ type: string, long: 'reporter' }), outputFile: option({ type: string, long: 'output-file' }), }, handler: (args) => { // args.reporter: string // args.outputFile: string },});// Clipanionclass TestCommand extends Command { reporter = Option.String('--reporter'); outputFile = Option.String('--output-file');} These libraries infer types for individual options. --port is a number. --verbose is a boolean. That's real progress. But here's what they can't do: express that --output-file is required when --reporter is junit, and forbidden when --reporter is console. The relationship between options isn't captured in the type system. So you end up writing validation code anyway: handler: (args) => { // Both cmd-ts and Clipanion need this if (args.reporter === "junit" && !args.outputFile) { throw new Error("--output-file required for junit"); } // args.outputFile is still string | undefined // TypeScript doesn't know it's definitely string when reporter is "junit"} Rust's clap and Python's Click have requires and conflicts_with attributes, but those are runtime checks too. They don't change the result type. If the parser configuration knows about option relationships, why doesn't that knowledge show up in the result type? Modeling relationships with conditional() Optique treats option relationships as a first-class concept. Here's the test reporter scenario: import { conditional, object } from "@optique/core/constructs";import { option } from "@optique/core/primitives";import { choice, string } from "@optique/core/valueparser";import { run } from "@optique/run";const parser = conditional( option("--reporter", choice(["console", "junit", "html"])), { console: object({}), junit: object({ outputFile: option("--output-file", string()), }), html: object({ outputFile: option("--output-file", string()), openBrowser: option("--open-browser"), }), });const [reporter, config] = run(parser); The conditional() combinator takes a discriminator option (--reporter) and a map of branches. Each branch defines what other options are valid for that discriminator value. TypeScript infers the result type automatically: type Result = | ["console", {}] | ["junit", { outputFile: string }] | ["html", { outputFile: string; openBrowser: boolean }]; When reporter is "junit", outputFile is stringโ€”not string | undefined. The relationship is encoded in the type. Now your business logic gets real type safety: const [reporter, config] = run(parser);switch (reporter) { case "console": runWithConsoleOutput(); break; case "junit": // TypeScript knows config.outputFile is string writeJUnitReport(config.outputFile); break; case "html": // TypeScript knows config.outputFile and config.openBrowser exist writeHtmlReport(config.outputFile); if (config.openBrowser) openInBrowser(config.outputFile); break;} No validation code. No runtime checks. If you add a new reporter type and forget to handle it in the switch, the compiler tells you. A more complex example: database connections Test reporters are a nice example, but let's try something with more variation. Database connection strings: myapp --db=sqlite --file=./data.dbmyapp --db=postgres --host=localhost --port=5432 --user=adminmyapp --db=mysql --host=localhost --port=3306 --user=root --ssl Each database type needs completely different options: SQLite just needs a file path PostgreSQL needs host, port, user, and optionally password MySQL needs host, port, user, and has an SSL flag Here's how you model this: import { conditional, object } from "@optique/core/constructs";import { withDefault, optional } from "@optique/core/modifiers";import { option } from "@optique/core/primitives";import { choice, string, integer } from "@optique/core/valueparser";const dbParser = conditional( option("--db", choice(["sqlite", "postgres", "mysql"])), { sqlite: object({ file: option("--file", string()), }), postgres: object({ host: option("--host", string()), port: withDefault(option("--port", integer()), 5432), user: option("--user", string()), password: optional(option("--password", string())), }), mysql: object({ host: option("--host", string()), port: withDefault(option("--port", integer()), 3306), user: option("--user", string()), ssl: option("--ssl"), }), }); The inferred type: type DbConfig = | ["sqlite", { file: string }] | ["postgres", { host: string; port: number; user: string; password?: string }] | ["mysql", { host: string; port: number; user: string; ssl: boolean }]; Notice the details: PostgreSQL defaults to port 5432, MySQL to 3306. PostgreSQL has an optional password, MySQL has an SSL flag. Each database type has exactly the options it needsโ€”no more, no less. With this structure, writing dbConfig.ssl when the mode is sqlite isn't a runtime errorโ€”it's a compile-time impossibility. Try expressing this with requires_if attributes. You can't. The relationships are too rich. The pattern is everywhere Once you see it, you find this pattern in many CLI tools: Authentication modes: const authParser = conditional( option("--auth", choice(["none", "basic", "token", "oauth"])), { none: object({}), basic: object({ username: option("--username", string()), password: option("--password", string()), }), token: object({ token: option("--token", string()), }), oauth: object({ clientId: option("--client-id", string()), clientSecret: option("--client-secret", string()), tokenUrl: option("--token-url", url()), }), }); Deployment targets, output formats, connection protocolsโ€”anywhere you have a mode selector that determines what other options are valid. Why conditional() exists Optique already has an or() combinator for mutually exclusive alternatives. Why do we need conditional()? The or() combinator distinguishes branches based on structureโ€”which options are present. It works well for subcommands like git commit vs git push, where the arguments differ completely. But in the reporter example, the structure is identical: every branch has a --reporter flag. The difference lies in the flag's value, not its presence. // This won't work as intendedconst parser = or( object({ reporter: option("--reporter", choice(["console"])) }), object({ reporter: option("--reporter", choice(["junit", "html"])), outputFile: option("--output-file", string()) }),); When you pass --reporter junit, or() tries to pick a branch based on what options are present. Both branches have --reporter, so it can't distinguish them structurally. conditional() solves this by reading the discriminator's value first, then selecting the appropriate branch. It bridges the gap between structural parsing and value-based decisions. The structure is the constraint Instead of parsing options into a loose type and then validating relationships, define a parser whose structure is the constraint. Traditional approachOptique approachParse โ†’ Validate โ†’ UseParse (with constraints) โ†’ UseTypes and validation logic maintained separatelyTypes reflect the constraintsMismatches found at runtimeMismatches found at compile time The parser definition becomes the single source of truth. Add a new reporter type? The parser definition changes, the inferred type changes, and the compiler shows you everywhere that needs updating. Try it If this resonates with a CLI you're building: Documentation Tutorial conditional() reference GitHub Next time you're about to write an if statement checking option relationships, ask: could the parser express this constraint instead? The structure of your parser is the constraint. You might not need that validation code at all.

hackers.pub ยท Hackers' Pub

Link author: ๆดช ๆฐ‘ๆ†™ (Hong Minhee)@hongminhee@hackers.pub

0
0
0
0

> maintain-framerate-and-resolution ใฏใ€WebRTC ใฎๅ†…้ƒจๅ‹•็”ป้ฉๅฟœใ‚’็„กๅŠนใซใ—ใพใ™ใ€‚ใ“ใ‚Œใซใ‚ˆใ‚Šใ€ใ‚ขใƒ—ใƒชใ‚ฑใƒผใ‚ทใƒงใƒณใฏ็‹ฌ่‡ชใฎ้ฉๅฟœใƒญใ‚ธใƒƒใ‚ฏใ‚’ๅฎŸ่ฃ…ใ—ใ€ๅ†…้ƒจ้ฉๅฟœใซใ‚ˆใ‚‹ๅนฒๆธ‰ใ‚’้˜ฒใใ“ใจใŒใงใใพใ™ใ€‚

Chrome 144 ใƒ™ใƒผใ‚ฟ็‰ˆ | Blog | Chrome for Developers : ๐Ÿ‘€
---
developer.chrome.com/blog/chro

0
0
1
0
่ช•็”Ÿๆ—ฅใพใงๅ‰ฒใจ่ฟ‘ใ„ใงใ™ใŒใ€ใ„ใคใชใฎใ‹ใฏ้–‹็คบใ—ใพใ›ใ‚“๏ผˆ๏ผŸ
1

ใ€ŽSFใƒžใ‚ฌใ‚ธใƒณใ€2026ๅนด2ๆœˆๅทใฏใ€Œๆžถ็ฉบ็”Ÿ็‰ฉ็‰น้›†ใ€ใ€‚ใฌใพใŒใ•ใƒฏใ‚ฟใƒชใ•ใ‚“ใฎ่กจ็ด™็ตตใฎใ‚คใƒณใƒ‘ใ‚ฏใƒˆใ‚ใ‚‹ใ‚ญใƒฅใƒผใƒˆใ•ใซ็ฌ‘ใฃใฆใ—ใพใ†ใ€‚ใ‚ใŸใใ—ใฏใ€Œใƒ–ใƒชใƒผใƒ€ใƒผใ‚บใ€ใจใ„ใ†็Ÿญ็ทจใ‚’ๆ›ธใใพใ—ใŸใ€‚ใ€Œๆžถ็ฉบ็”Ÿ็‰ฉ็‰น้›†ใ€ใฎ้กŒๅญ—ใฎๅทฆๅณใงใ†ใญใ†ใญใ—ใฆใ„ใ‚‹็”Ÿใ็‰ฉใ€‚้€ฃ่ผ‰ใ€Œๅนป่ฆ–็™พๆ™ฏใ€ใซใ‚‚ๆžถ็ฉบ็”Ÿ็‰ฉใŒ็™ปๅ ดใ—ใพใ™ใ€‚

hayakawabooks.com/n/nb499c297c

ใ€ๆžถ็ฉบ็”Ÿ็‰ฉใ€ๅ…จๅ“ก้›†ๅˆ๏ผใ€‘SFใƒžใ‚ฌใ‚ธใƒณ2026ๅนด2ๆœˆๅทใ€Œๆžถ็ฉบ็”Ÿ็‰ฉ็‰น้›†ใ€่กจ็ด™ๅ…ฌ้–‹๏ฝœHayakawa Books & Magazines๏ผˆฮฒ๏ผ‰

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

www.hayakawabooks.com ยท Hayakawa Books & Magazines๏ผˆฮฒ๏ผ‰

0
0

์‚ฌ์‹ค ์šฐ๋ฆฌ๋Š” ์ง„ํ™”์˜ ์–ด๋А ๋‹จ๊ณ„์—์„œ ํผ๋ฆฌ๊ฐ€ ์•„๋‹ˆ์—ˆ์„๊นŒ์š”? ๊ทธ๋Ÿฌ๋‹ค๊ฐ€ ์ด์ œ ํ„ธ์—๊ฒŒ์„œ ๋ฒ„๋ฆผ๋‹นํ•˜๊ณ ... ํผ๋ฆฌ๋Š” ํ„ธ์—๊ฒŒ ๋ฒ„๋ฆผ๋ฐ›๊ธฐ ์ „์œผ๋กœ ๋Œ์•„๊ฐ€๊ณ  ์‹ถ์€ ๋งˆ์Œ์ด ์•„๋‹๊นŒ์š”?

0

Stop writing if statements for your CLI flags

ๆดช ๆฐ‘ๆ†™ (Hong Minhee) @hongminhee@hackers.pub

If you've built CLI tools, you've written code like this:

if (opts.reporter === "junit" && !opts.outputFile) {
  throw new Error("--output-file is required for junit reporter");
}
if (opts.reporter === "html" && !opts.outputFile) {
  throw new Error("--output-file is required for html reporter");
}
if (opts.reporter === "console" && opts.outputFile) {
  console.warn("--output-file is ignored for console reporter");
}

A few months ago, I wrote Stop writing CLI validation. Parse it right the first time. about parsing individual option values correctly. But it didn't cover the relationships between options.

In the code above, --output-file only makes sense when --reporter is junit or html. When it's console, the option shouldn't exist at all.

We're using TypeScript. We have a powerful type system. And yet, here we are, writing runtime checks that the compiler can't help with. Every time we add a new reporter type, we need to remember to update these checks. Every time we refactor, we hope we didn't miss one.

The state of TypeScript CLI parsers

The old guardโ€”Commander, yargs, minimistโ€”were built before TypeScript became mainstream. They give you bags of strings and leave type safety as an exercise for the reader.

But we've made progress. Modern TypeScript-first libraries like cmd-ts and Clipanion (the library powering Yarn Berry) take types seriously:

// cmd-ts
const app = command({
  args: {
    reporter: option({ type: string, long: 'reporter' }),
    outputFile: option({ type: string, long: 'output-file' }),
  },
  handler: (args) => {
    // args.reporter: string
    // args.outputFile: string
  },
});
// Clipanion
class TestCommand extends Command {
  reporter = Option.String('--reporter');
  outputFile = Option.String('--output-file');
}

These libraries infer types for individual options. --port is a number. --verbose is a boolean. That's real progress.

But here's what they can't do: express that --output-file is required when --reporter is junit, and forbidden when --reporter is console. The relationship between options isn't captured in the type system.

So you end up writing validation code anyway:

handler: (args) => {
  // Both cmd-ts and Clipanion need this
  if (args.reporter === "junit" && !args.outputFile) {
    throw new Error("--output-file required for junit");
  }
  // args.outputFile is still string | undefined
  // TypeScript doesn't know it's definitely string when reporter is "junit"
}

Rust's clap and Python's Click have requires and conflicts_with attributes, but those are runtime checks too. They don't change the result type.

If the parser configuration knows about option relationships, why doesn't that knowledge show up in the result type?

Modeling relationships with conditional()

Optique treats option relationships as a first-class concept. Here's the test reporter scenario:

import { conditional, object } from "@optique/core/constructs";
import { option } from "@optique/core/primitives";
import { choice, string } from "@optique/core/valueparser";
import { run } from "@optique/run";

const parser = conditional(
  option("--reporter", choice(["console", "junit", "html"])),
  {
    console: object({}),
    junit: object({
      outputFile: option("--output-file", string()),
    }),
    html: object({
      outputFile: option("--output-file", string()),
      openBrowser: option("--open-browser"),
    }),
  }
);

const [reporter, config] = run(parser);

The conditional() combinator takes a discriminator option (--reporter) and a map of branches. Each branch defines what other options are valid for that discriminator value.

TypeScript infers the result type automatically:

type Result =
  | ["console", {}]
  | ["junit", { outputFile: string }]
  | ["html", { outputFile: string; openBrowser: boolean }];

When reporter is "junit", outputFile is stringโ€”not string | undefined. The relationship is encoded in the type.

Now your business logic gets real type safety:

const [reporter, config] = run(parser);

switch (reporter) {
  case "console":
    runWithConsoleOutput();
    break;
  case "junit":
    // TypeScript knows config.outputFile is string
    writeJUnitReport(config.outputFile);
    break;
  case "html":
    // TypeScript knows config.outputFile and config.openBrowser exist
    writeHtmlReport(config.outputFile);
    if (config.openBrowser) openInBrowser(config.outputFile);
    break;
}

No validation code. No runtime checks. If you add a new reporter type and forget to handle it in the switch, the compiler tells you.

A more complex example: database connections

Test reporters are a nice example, but let's try something with more variation. Database connection strings:

myapp --db=sqlite --file=./data.db
myapp --db=postgres --host=localhost --port=5432 --user=admin
myapp --db=mysql --host=localhost --port=3306 --user=root --ssl

Each database type needs completely different options:

  • SQLite just needs a file path
  • PostgreSQL needs host, port, user, and optionally password
  • MySQL needs host, port, user, and has an SSL flag

Here's how you model this:

import { conditional, object } from "@optique/core/constructs";
import { withDefault, optional } from "@optique/core/modifiers";
import { option } from "@optique/core/primitives";
import { choice, string, integer } from "@optique/core/valueparser";

const dbParser = conditional(
  option("--db", choice(["sqlite", "postgres", "mysql"])),
  {
    sqlite: object({
      file: option("--file", string()),
    }),
    postgres: object({
      host: option("--host", string()),
      port: withDefault(option("--port", integer()), 5432),
      user: option("--user", string()),
      password: optional(option("--password", string())),
    }),
    mysql: object({
      host: option("--host", string()),
      port: withDefault(option("--port", integer()), 3306),
      user: option("--user", string()),
      ssl: option("--ssl"),
    }),
  }
);

The inferred type:

type DbConfig =
  | ["sqlite", { file: string }]
  | ["postgres", { host: string; port: number; user: string; password?: string }]
  | ["mysql", { host: string; port: number; user: string; ssl: boolean }];

Notice the details: PostgreSQL defaults to port 5432, MySQL to 3306. PostgreSQL has an optional password, MySQL has an SSL flag. Each database type has exactly the options it needsโ€”no more, no less.

With this structure, writing dbConfig.ssl when the mode is sqlite isn't a runtime errorโ€”it's a compile-time impossibility.

Try expressing this with requires_if attributes. You can't. The relationships are too rich.

The pattern is everywhere

Once you see it, you find this pattern in many CLI tools:

Authentication modes:

const authParser = conditional(
  option("--auth", choice(["none", "basic", "token", "oauth"])),
  {
    none: object({}),
    basic: object({
      username: option("--username", string()),
      password: option("--password", string()),
    }),
    token: object({
      token: option("--token", string()),
    }),
    oauth: object({
      clientId: option("--client-id", string()),
      clientSecret: option("--client-secret", string()),
      tokenUrl: option("--token-url", url()),
    }),
  }
);

Deployment targets, output formats, connection protocolsโ€”anywhere you have a mode selector that determines what other options are valid.

Why conditional() exists

Optique already has an or() combinator for mutually exclusive alternatives. Why do we need conditional()?

The or() combinator distinguishes branches based on structureโ€”which options are present. It works well for subcommands like git commit vs git push, where the arguments differ completely.

But in the reporter example, the structure is identical: every branch has a --reporter flag. The difference lies in the flag's value, not its presence.

// This won't work as intended
const parser = or(
  object({ reporter: option("--reporter", choice(["console"])) }),
  object({ 
    reporter: option("--reporter", choice(["junit", "html"])),
    outputFile: option("--output-file", string())
  }),
);

When you pass --reporter junit, or() tries to pick a branch based on what options are present. Both branches have --reporter, so it can't distinguish them structurally.

conditional() solves this by reading the discriminator's value first, then selecting the appropriate branch. It bridges the gap between structural parsing and value-based decisions.

The structure is the constraint

Instead of parsing options into a loose type and then validating relationships, define a parser whose structure is the constraint.

Traditional approach Optique approach
Parse โ†’ Validate โ†’ Use Parse (with constraints) โ†’ Use
Types and validation logic maintained separately Types reflect the constraints
Mismatches found at runtime Mismatches found at compile time

The parser definition becomes the single source of truth. Add a new reporter type? The parser definition changes, the inferred type changes, and the compiler shows you everywhere that needs updating.

Try it

If this resonates with a CLI you're building:

  • Documentation
  • Tutorial
  • conditional() reference
  • GitHub

Next time you're about to write an if statement checking option relationships, ask: could the parser express this constraint instead?

The structure of your parser is the constraint. You might not need that validation code at all.

Read more โ†’
7

ActivityPubใซๅ•้กŒใŒใ‚ใ‚‹ใจใ„ใ†ใฎใฏๆฆ‚ใญๅ…ฑ้€š่ช่ญ˜ใจใฏๆ€ใ†ใ‘ใฉใ€ใ˜ใ‚ƒใ‚ใใ‚Œใ‚’ๆ”นๅ–„ใ—ใŸใ‚‚ใฎใ‚’ไฝœใ‚ใ†ใจใ„ใ†ใจๆญ“่ฟŽใ•ใ‚Œใชใ„โ€‹:nullcatchan_goodnight:โ€‹

0
0