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
1
2
1

ๆ—ฅๆœฌ็ธฆๆ–ญใ—ใŸใจใใŠใ‚‚ใ—ใ‚ใ‹ใฃใŸใฃใ™ใ‚ˆ

ๅŒ—ๆตท้“ใจ็ฆๅฒกใงๅคœใซใชใ‚‹ๆ™‚้–“ใŒๅ…จ็„ถ้•ใ†ใฎ

1
1
0
0
0

ใใ†ใ„ใˆใฐCopilotใฎใ‚ณใƒผใƒ‰่ฃœๅฎŒใฏๆœ€ๅˆใ™ใ’ใƒผ๏ผใฃใฆใŠใ‚‚ใฃใฆemacsใซใ‚‚ๅฐŽๅ…ฅใ—ใฆๆ•ฐใƒถๆœˆไฝฟใฃใŸใ‚“ใ ใ‘ใฉใ ใ‚“ใ ใ‚“ใ‚ฆใ‚ถใใชใฃใฆใใฆใ‚ชใƒ•ใซใ—ใฆใ€ใใ‚Œใ‹ใ‚‰ใšใฃใจใ‚ชใƒ•ใ ใ‘ใฉไธๆบ€ใฏใชใ„ใ€‚ๆœ€ๅˆใ‹ใ‚‰ใ„ใ‚‰ใชใ‹ใฃใŸใ‚“ใ‚„

0

ๆญฃ็›ดๆ™ฎ้€šใซๆ—ฅๆœฌใฏๅบƒใ„ใจๆ€ใ†

ใ ใฃใฆไบœๅฏ’ๅธฏใ‹ใ‚‰ไบœ็†ฑๅธฏใพใงใ‚ใ‚‹ใ‚“ใงใ™ใ‚ˆ๏ผŸ

1
0

ใ‚ใ—ใฏAIใจใฎไป˜ใๅˆใ„ๆ–นใŒใใ‚“ใชใซๅ™จ็”จใ˜ใ‚ƒใชใ„ใฎใงใ€่ถฃๅ‘ณใ‚ณใƒผใƒ‰ใฏใ‚ใ‚“ใพใ‚‰้ ผใ‚‰ใšใซๆ›ธใใพใ™ใ€‚ใ‚ณใƒผใƒ‰ใƒฌใƒ“ใƒฅใƒผใใ‚‰ใ„ใฏใ‚„ใฃใฆใ‚‚ใ‚‰ใ†ใ€‚

0
0
2

๋‹คํ–‰ํžˆ ๋ฐ๋ฆฌ๊ณ  ๊ท€๊ตญํ•œ ๋“ฏํ•œ
"์•„์ง ๋‘๋ฐ”์ด์— ๋ฐœ์ด ๋ฌถ์ธ ์ž๊ตญ๋ฏผ ๊ด€๊ด‘๊ฐ๋“ค๊ณผ ๋‹ฌ๋ฆฌ ํฌ๋กœ์„ธํ†  ์žฅ๊ด€ ๊ฐ€์กฑ๋“ค์€ ํŠน๋ณ„ ์ „์„ธ๊ธฐ๋ฅผ ์ด์šฉํ•ด ์ด๋ฏธ ๊ท€๊ตญ"
v.daum.net/v/20260304115746308
madost.one/notes/ajfgsk7mx3

๋‘๋ฐ”์ด์„œ ํœด๊ฐ€ ์ฆ๊ธด ์ดํƒˆ๋ฆฌ์•„ ๊ตญ๋ฐฉ์žฅ๊ด€, ๊ตฐ์šฉ๊ธฐ ํƒ€๊ณ  โ€˜๋‚˜ ํ™€๋กœ ๊ท€๊ตญโ€™ ๋ญ‡๋งค

ํ—ค๋Ÿด๋“œ๊ฒฝ์ œ ยท [ํ—ค๋Ÿด๋“œ๊ฒฝ์ œ=ํ•œ์ง€์ˆ™ ๊ธฐ์ž] ๋ฏธ๊ตญ๊ณผ ์ด์Šค๋ผ์—˜์˜ ์ด๋ž€ ๊ณต์Šต์œผ๋กœ ์ค‘๋™ ํ•˜๋Š˜ ๊ธธ์ด ๋ง‰ํžˆ๋ฉด์„œ ๋งŽ์€ ๊ด€๊ด‘๊ฐ๋“ค์ด ์•„๋ž์—๋ฏธ๋ ˆ์ดํŠธ(UAE) ์•„๋ถ€๋‹ค๋น„๋‚˜ ๋‘๋ฐ”์ด์—์„œ ๋ฐœ์ด ๋ฌถ์ธ ๊ฐ€์šด๋ฐ ๋‘๋ฐ”์ด์—์„œ ๊ฐ€์กฑ ์—ฌํ–‰์„ ์ฆ๊ธฐ๋˜ ์ดํƒˆ๋ฆฌ์•„ ๊ตญ๋ฐฉ๋ถ€ ์žฅ๊ด€์ด ํ™€๋กœ ๊ตฐ์šฉ๊ธฐ๋ฅผ ์ด์šฉํ•ด ๊ท€๊ตญํ•ด ๋น„ํŒ๋ฐ›๊ณ  ์žˆ๋‹ค. 3์ผ(ํ˜„์ง€์‹œ๊ฐ„) ๋…์ผ DPA์— ๋”ฐ๋ฅด๋ฉด ๊ตฌ์ด๋„ ํฌ๋กœ์„ธํ†  ์ดํƒˆ๋ฆฌ์•„ ๊ตญ๋ฐฉ์žฅ๊ด€์€ ์ง€๋‚œ๋‹ฌ 27์ผ ๊ฐ€์กฑ๊ณผ

v.daum.net ยท Daum | ํ—ค๋Ÿด๋“œ๊ฒฝ์ œ

0
0

็”ŸๆˆAIใŒใฉใ“ใพใงใ„ใใฎใ‹ใ„ใ‹ใชใ„ใฎใ‹ใ€ใใ‚‚ใใ‚‚ๆŒ็ถšใ™ใ‚‹ใฎใ‹ใ‚‚ๅซใ‚ใฆใพใ ใ‚ใ‹ใฃใฆใชใ„ใพใ€ไป˜ใๅˆใ„ๆ–นใ‚‚ใพใ ใ‚ใ‹ใฃใฆใ‚‹ไบบใฏใ„ใชใ„ใ‚“ใ ใ‚ใชใƒผใจๆ€ใ†

ๆŠ•ใ’ใฆใ‹ใ‚‰ๅธฐใฃใฆใใ‚‹ใพใงใŒ้•ทใ„ใ‚ธใƒงใƒ–ใ‚’ไธฆๅˆ—ใงๆŠ•ใ’ใฆๅฟ˜ใ‚Œใ‚‹ใ€ใฟใŸใ„ใชใฎใ ใจๅ‰ฒใจ่‰ฏใ„โ€ฆใจ่จ€ใ„ใŸใ„ใจใ“ใ ใ‘ใฉใ€็ตๆžœใฎ่ณชๆฌก็ฌฌ

ใจใ‹ใญใˆ

0
0
0
trpg ๋Š” ๋ญ”๊ฐ€ ์ ‘๊ทผํ•˜๊ธฐ๊ฐ€ ์–ด๋ ค์›Œ...
๋ฌผ๋ก  ๋Œ€๋ถ€๋ถ„ ๋‰ด๋น„ ์นœํ™”์ ์ด๊ฒŒ ๋‚˜์˜ค๋ ค ๋“ค๊ฒ ์ง€๋งŒ ๋‚ด ๋จธ๋ฆฌ๋Š” trpg ๋ฅผ ๊ตด๋ฆฌ๊ธฐ์— ๋ชจ์ž๋ฆ„
โ€‹:neocat_cry:โ€‹
0
0
0

ไปŠๅนดใ€ๅธณ็ฐฟใ‚’ใคใ‘ใ‚‹ใฎใซGNU Cashใ‚’ไฝฟใฃใŸใ‘ใฉๆฅๅนดใฏledgerใ‚’ไฝฟใฃใฆใฟใ‚ˆใ†ใ‹ใช

ledger, a powerful command-line accounting system - ledger: ledger-cli.org/

0
0
1
1
1

AI, green energy inference

I got this setup working at home, to experiment with and help me to talk with colleagues about potential alternatives to Copilot/OpenAI/Anthropic.

It's using Regolo.ai, a 100% green energy inference provider with zero water waste, based in the EU: regolo.ai/the-environmental-im

I'm using their open weight models via OpenCode, which also works inside VS Code.

It doesn't solve all the problems with of course, but it seems preferable to the default Big Tech options. WDYT?

Screenshot of OpenCode model selection prompt listing models from RegoloScreenshot of output from Qwen3-Next-Coder model in OpenCodeScreenshot of OpenCode running inside VS Code, providing an answer about a blog post markdown file
0
1

Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].

[1] thefundamentaltheor3m.github.i

[2] leanprover.zulipchat.com/#narr

[3] math.inc/sphere-packing

0
0
0

๊ทธ ๋‹จ์žฅ์˜ ๊ฒฝํ—˜์ธ๋ฐ

๋งˆ์Šคํ„ฐ๊ฐ€ ์ˆจ๊ธฐ๋Š”๊ฒŒ ๋งŽ์œผ๋ฉด ๋ถˆ๋ฏธ์Šค๋Ÿฌ์šด ์‚ฌ๊ฑด๋“ค์ด ๋งŽ์ด ์ผ์–ด๋‚ฉ๋‹ˆ๋‹ค..... ์ด์ƒ ๋‘์ž๋ฆฟ์ˆ˜ ๊ตด๋ฆฌ๋ฉด์„œ ์–ป์€ ๊นจ๋‹ฌ์Œ...

0

๊ทธ ๋‹จ์žฅ์˜ ๊ฒฝํ—˜์ธ๋ฐ

๋งˆ์Šคํ„ฐ๊ฐ€ ์ˆจ๊ธฐ๋Š”๊ฒŒ ๋งŽ์œผ๋ฉด ๋ถˆ๋ฏธ์Šค๋Ÿฌ์šด ์‚ฌ๊ฑด๋“ค์ด ๋งŽ์ด ์ผ์–ด๋‚ฉ๋‹ˆ๋‹ค..... ์ด์ƒ ๋‘์ž๋ฆฟ์ˆ˜ ๊ตด๋ฆฌ๋ฉด์„œ ์–ป์€ ๊นจ๋‹ฌ์Œ...

๋งˆ์Šคํ„ฐ๋Š” ๋” ์†Œํ†ตํ•ด์•ผํ•ด์š”... ์•„์˜ˆ ์Šคํฌ๋ฅผ ํ•˜๋Š” ํ•œ์ด ์žˆ๋”๋ผ๋„์š”....

์•Œ๋‡Œ๋Š” ์ฃ„๊ฐ€ ์•„๋‹™๋‹ˆ๋‹ค... ์•Œ๊ณ  ์žˆ๋Š” ์‹œ๋‚˜๋ฆฌ์˜ค๋ฅผ ๋‹ค๋ฅธ ๋ฐฉ์‹์œผ๋กœ ์ ‘๊ทผํ•˜๋Š”๊ฒƒ๋„ TRPG์˜ ์žฌ๋ฏธ์—์š”...

0

ๆ˜ฅใฎ่จชใ‚Œใซไผดใฃใฆไบบ่บซไบ‹ๆ•…ใŒๅข—ใˆใฆใ„ใโ€ฆโ€ฆๆ‚ฒใ—ใ„ใŒใ“ใ‚Œใ‚‚ไธ–ใฎๅธธใชใฎใ˜ใ‚ƒโ€ฆโ€ฆ(ใƒปไบบใƒป)

0
1
0
0
0

์•„๋‹ˆ ์ด๊ฒŒ ์™œ ์ง„์งœ์ง€.. ์‹œ๋ผํฌ ์ „ ๋Œ€ํ†ต๋ น์ด ํšŒ๊ณ ๋ก์—์„œ ๋ฐํžŒ ๋‚ด์šฉ์ด๋„ค์š”. ๊ฒŒ๋‹ค๊ฐ€ ์‹œ๋ผํฌ๊ฐ€ ๋ณด๊ธฐ์— ๋ถ€์‹œ๋Š” ์ด๋ผํฌ ์นจ๊ณต์ด ์ž์‹ ์—๊ฒŒ ๋ถ€์—ฌ๋œ ์‚ฌ์—ญ์œผ๋กœ ์—ฌ๊ธฐ๋Š” ๊ฒƒ์ฒ˜๋Ÿผ ๋ณด์˜€๋‹ค๊ณ  [Chirac] says that Bush saw the invasion of Iraq as โ€œa quasi-mystical mission that he felt was incumbent on him.โ€2 doi.org/10.1093/jcs/...

RE: https://bsky.app/profile/did:plc:3w3pnmhktm3hosp4chu2rscf/post/3mg7xketo222q


Gog and Magog in the White Hou...

0
0
1
0

์‹œ์˜ค shared the below article:

Moim.live Release note (v0.2.0)

Jaeyeol Lee @kodingwarrior@hackers.pub

์—ฐํ•ฉ์šฐ์ฃผ ์นœํ™”์ ์ธ ์ด๋ฒคํŠธ ํ”Œ๋žซํผ์ธ moim.live๊ฐ€ ์ฃผ์ตœ์ž์˜ ๊ด€๋ฆฌ ํŽธ์˜์„ฑ์„ ๋Œ€ํญ ๊ฐ•ํ™”ํ•œ v0.2.0 ์—…๋ฐ์ดํŠธ๋ฅผ ๊ณต๊ฐœํ–ˆ์Šต๋‹ˆ๋‹ค. ์ด๋ฒˆ ๋ฒ„์ „์€ ์ด๋ฒคํŠธ ๊ด€๋ฆฌ ๋Œ€์‹œ๋ณด๋“œ๋ฅผ ๋„์ž…ํ•˜์—ฌ ์ฐธ์—ฌ์ž ํ˜„ํ™ฉ๊ณผ ์ด๋ฒคํŠธ ์ƒํƒœ๋ฅผ ํ•œ๊ณณ์—์„œ ํŒŒ์•…ํ•  ์ˆ˜ ์žˆ๊ฒŒ ํ–ˆ์œผ๋ฉฐ, ์žฅ์†Œ ๋‹ด๋‹น์ž๊ฐ€ ์ง์ ‘ ์ •๋ณด๋ฅผ ์ˆ˜์ •ํ•  ์ˆ˜ ์žˆ๋Š” ๊ถŒํ•œ ๊ด€๋ฆฌ ๊ธฐ๋Šฅ์„ ์ถ”๊ฐ€ํ•ด ๋ฐ์ดํ„ฐ์˜ ์‹ค์‹œ๊ฐ„ ์ •ํ™•์„ฑ์„ ๋†’์˜€์Šต๋‹ˆ๋‹ค. ๋˜ํ•œ ๊ทธ๋ฃน๊ณผ ์žฅ์†Œ๋ณ„ ์ผ์ •์„ ์ง๊ด€์ ์œผ๋กœ ํ™•์ธํ•˜๋Š” ์บ˜๋ฆฐ๋” ๋ทฐ์™€ ์ •๋ณด ๊ตฌ๋…์„ ์œ„ํ•œ RSS ํ”ผ๋“œ ๊ธฐ๋Šฅ์„ ์ƒˆ๋กญ๊ฒŒ ์ง€์›ํ•ฉ๋‹ˆ๋‹ค. ํŠนํžˆ ActivityPub ํ”„๋กœํ† ์ฝœ์„ ํ†ตํ•ด ์—ฐํ•ฉ์šฐ์ฃผ๋กœ ์ „ํŒŒ๋œ ์ด๋ฒคํŠธ์˜ ๊ณต์œ , ๊ด€์‹ฌ ํ‘œ์‹œ, ๋Œ“๊ธ€ ๋“ฑ ์ธ๊ฒŒ์ด์ง€๋จผํŠธ(engagement) ๋ถ„์„ ์ง€ํ‘œ๋ฅผ ์ œ๊ณตํ•˜์—ฌ ์ฃผ์ตœ์ž๊ฐ€ ํ™๋ณด ํšจ๊ณผ๋ฅผ ๋ฐ์ดํ„ฐ๋กœ ํ™•์ธํ•  ์ˆ˜ ์žˆ๋„๋ก ๋•์Šต๋‹ˆ๋‹ค. ์ด๋ฒˆ ์—…๋ฐ์ดํŠธ๋Š” ์ฃผ์ตœ์ง„์ด ๋”์šฑ ํšจ์œจ์ ์œผ๋กœ ํ–‰์‚ฌ๋ฅผ ์šด์˜ํ•˜๊ณ  ์—ฐํ•ฉ์šฐ์ฃผ ์ƒํƒœ๊ณ„์™€ ๊ธด๋ฐ€ํ•˜๊ฒŒ ์†Œํ†ตํ•  ์ˆ˜ ์žˆ๋Š” ๊ธฐ์ˆ ์  ๊ธฐ๋ฐ˜์„ ๋งˆ๋ จํ–ˆ๋‹ค๋Š” ์ ์—์„œ ํฐ ๊ฐ€์น˜๊ฐ€ ์žˆ์Šต๋‹ˆ๋‹ค.

Read more โ†’
6
0
0
0
0

One of the interesting consequences of LLMs/agents is that the short-term costs of boilerplate in code have plummeted. An interesting question is whether those costs are simply shunted to the future or whether they are permanently reduced.

0
0