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
1

ไฝœใ‚Š็ฝฎใ
ใƒปๅคงๆ นใจๆ‰‹็พฝๅ…ˆใฎ็…ฎ็‰ฉ
ใƒปใ‚ใ‘ใŽใฎใฌใŸ
ใƒป้ถใƒฌใƒใƒผใ”ใพๆฒนๅ’Œใˆ
ใƒปใ‚ญใƒฃใƒญใƒƒใƒˆใƒฉใƒš
ใƒปใ‚ซใƒชใƒ•ใƒฉใƒฏใƒผใฎใƒžใƒชใƒ

ไป–ใซ้•ท่Š‹ใŠใ‚ใ—ใฆๅฐๅˆ†ใ‘ๅ†ทๅ‡ใ€้ถๆ‰‹็พฝๅ…ƒใฎๆฎ‹ใ‚Šใฎๅฐๅˆ†ใ‘ๅ†ทๅ‡ใ€้ฏ›ใฎๅˆบ่บซใฎๆฎ‹ใ‚Šใ‚’ๆผฌใ‘ใซใ€€ใใ—ใฆๆ™ฉ้ฃฏใธโ€ฆ

ๅคงๆ นใจๆ‰‹็พฝๅ…ˆใฎ็…ฎ็‰ฉใ€้ฏ›ใฎๅˆบ่บซใ€ใ‚ใ‘ใŽใฎใฌใŸใ€ใ‚ญใƒ ใƒใ€็Ž„็ฑณใ”ใฏใ‚“
0
1
0
1
0
0
0

็ด™ใฎๆœฌใ‚’ไฟๆŒใ™ใ‚‹ใฎใŒ้ขๅ€’ VS ๅฏใ‚‹ๅ‰ใฃใฆ็ด™ใฎๆœฌใŒใ„ใ„ใชใ‚ใจใ„ใ†ๅ•้กŒใซใคใ„ใฆๆ‚ฉใ‚“ใงใŸใฎใ ใŒๅ›ณๆ›ธ้คจใงๆœฌใ‚’ๅ€Ÿใ‚Šใ‚Œใฐใ„ใ„ใจใ„ใ†ใ“ใจใ‚’้–ƒใ„ใŸ

1
1
1
1

์ด ๊ณต์ž‘์ด ๋˜๊ฒŒ ์›ƒ๊ธด๊ฒŒ... ๋‚˜๋ž‘ ๋™์ƒ์ด ๊ธธ ํ—ค๋งค๊ณ  ์žˆ์œผ๋‹ˆ๊นŒ ์•ˆ๋‚ด๋ผ๋„ ํ•ด์ฃผ๋“ฏ์ด ์•ž์žฅ์„œ์„œ ๊ฑธ์–ด์ฃผ๋”๋ผ. ๋‹ˆ๋„ค ๊ณต์ž‘(้ณฅ)๋‹˜ํ•œํ…Œ ์—์Šค์ฝ”ํŠธ ๋ฐ›์•„๋ดค๋ƒ. ๋‚˜๋Š” ๋ฐ›์•„๋ดค๋‹ค.

RE: https://bsky.app/profile/did:plc:iqga7bwbwbdo4z6suofriwa5/post/3m6r5k2xtm22w

0
1
0
1

"์˜ˆ์ˆ˜๋ฅผ ๋ฏฟ์ง€ ์•Š๋Š”๊ฑด ๊ทธ๋“ค์˜ ์ž์œ ์ž…๋‹ˆ๋‹ค. ํ•˜์ง€๋งŒ ์•ผ๊ตฌ๋ฅผ ๋ฏฟ์ง€ ์•Š๋Š”๋‹ค๋Š”๊ฑด ์ œ ์†์— ์žˆ๋Š” ๋น ๋”ฐ๊ฐ€ ์šฉ์„œ์น˜ ์•Š์„ ๊ฒƒ์ž…๋‹ˆ๋‹ค."

0

[์†๋ณด] ์ฟ ํŒก 3300๋งŒ๊ฐœ ๊ณ„์ • ๊ฐœ์ธ์ •๋ณด ๋…ธ์ถœโ€ฆ์‚ฌ์‹ค์ƒ ์ „ ๊ณ ๊ฐ ์ •๋ณด ๋‹น์ดˆ 4500๊ฑด์—์„œ ๋ฌด๋ ค 7500๋ฐฐ ๋Š˜์–ด ์ฟ ํŒก โ€œ์ด๋ฆ„ยท๋ฉ”์ผยท์ฃผ์†Œยท์ „ํ™”๋ฒˆํ˜ธยท์ฃผ๋ฌธ์ •๋ณด ๋…ธ์ถœ ๊ฒฐ์ œ ์ •๋ณดยท์นด๋“œ ๋ฒˆํ˜ธ ๋ฐ ๋น„๋ฐ€๋ฒˆํ˜ธ ๋ฏธ๋…ธ์ถœโ€ ์ฃผ์žฅ ์ˆ˜์ • 2025-11-29 18:42 www.hani.co.kr/arti/economy...

[์†๋ณด] ์ฟ ํŒก 3300๋งŒ๊ฐœ ๊ณ„์ • ๊ฐœ์ธ์ •๋ณด ๋…ธ์ถœโ€ฆ์‚ฌ์‹ค์ƒ ...

0

[์†๋ณด] ์ฟ ํŒก 3300๋งŒ๊ฐœ ๊ณ„์ • ๊ฐœ์ธ์ •๋ณด ๋…ธ์ถœโ€ฆ์‚ฌ์‹ค์ƒ ์ „ ๊ณ ๊ฐ ์ •๋ณด ๋‹น์ดˆ 4500๊ฑด์—์„œ ๋ฌด๋ ค 7500๋ฐฐ ๋Š˜์–ด ์ฟ ํŒก โ€œ์ด๋ฆ„ยท๋ฉ”์ผยท์ฃผ์†Œยท์ „ํ™”๋ฒˆํ˜ธยท์ฃผ๋ฌธ์ •๋ณด ๋…ธ์ถœ ๊ฒฐ์ œ ์ •๋ณดยท์นด๋“œ ๋ฒˆํ˜ธ ๋ฐ ๋น„๋ฐ€๋ฒˆํ˜ธ ๋ฏธ๋…ธ์ถœโ€ ์ฃผ์žฅ ์ˆ˜์ • 2025-11-29 18:42 www.hani.co.kr/arti/economy...

[์†๋ณด] ์ฟ ํŒก 3300๋งŒ๊ฐœ ๊ณ„์ • ๊ฐœ์ธ์ •๋ณด ๋…ธ์ถœโ€ฆ์‚ฌ์‹ค์ƒ ...

0

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

1
1

๊ฐ“๋ฐ˜์ธ ๋ฃธ๋ฉ”๊ฐ€ ๋‹ฌ์˜ ํ•˜๋ฃจ ๋ฎค๋น„ ๋‚˜์˜ค๋‹ˆ๊นŒ ์ž๊พธ ์• ๋‹ˆ๋ฉ”์ด์…˜ ๋…ธ๋ž˜๋กœ ์•Žโ€ฆ ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹ ์•„๋‹ˆ ์ด๊ฑฐ KํŒ ์ด๋ผ๊ตฌ์š” ใ… ใ… 

0
1

ใƒ™ใƒผใ‚นใฎๅผฆใ„ใŸใ ใใพใ—ใŸ๏ผ๏ผ๏ผˆ้€ใ‚Šไธปไธๆ˜Ž๏ผ๏ผ‰๏ผˆโ€‹:arigunyatogonyainyasu:โ€‹๏ผ‰
้žๅธธใซๅŠฉใ‹ใ‚Šใพใ™
ใ‚‚ใ†ๅผตใ‚Šๆ›ฟใˆใ‹ใ‚‰ใฏ้€ƒใ’ใชใ„

1
1
0
0
1

็•ถ้ฆ™ๆธฏไบบๅ–บๅบฆ่ฌ›็ทŠ่ฆๅ…จ้ข่ฟฝ็ฉถ่ฒฌไปปๆตๅ‡บๅ•ฒ็ฝช้ญ็ฆ้ฆ–ๅ—ฐๆ™‚๏ผŒไธ€ๅ•ฒๆ–ฐ้–‹ๅ˜…account็”จ็ฐก้ซ”ไธญๆ–‡ไธๆ–ทๅ–บๅบฆ่ฌ›ๆฃšๆฃšๆฃšๆฃšๆฃš๏ผŒ็…ฉๅ””็…ฉๅ•ฒๅ‘€๏ผŸ

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

Blockๆฅต้ƒฝไปฒๆœ‰๏ผŒๅฑŒๅ—ฑๆ˜Ÿใ€‚

0
1
St-They (Clรฉden), a chapel directly on the cliffs of Cape Pointe du Van, Brittany

When I want to capture both a dramatic landscape and a dramatic sky in a photo, I sometimes find it difficult to decide which part of the image to focus on. When there's lightning, it's even harder. Here, I opted for the "safe" part, the rocky coast, but I was lucky enough to just barely catch a flash of lightning.

#bretagne #finistere #baiedestrepasses #lightning #rockycoast #seascapephotography #atlanticocean #photography #omsystem
A dramatic coastal scene featuring a lightning bolt striking over a rocky cliff. The landscape includes a quaint church on the edge, with dark storm clouds and a view of the ocean in the background. The sky has hues of orange from the setting sun.
0

์ ์ฃผ ๋’ค์— ์ˆจ์€ ๋ณธ์‚ฌ, ์น˜ํ‚จ ๋งˆ๋‹ˆ์•„๋ฅผ ํ˜ธ๊ตฌ ๋งŒ๋“ค๋‹ค h21.hani.co.kr/arti/economy... "ํ‘ธ๋ผ๋‹ญ์„ ์šด์˜ํ•˜๋Š” ์ ์ฃผ ใ„ด์”จ์˜ โ€˜๋งค์žฅ ์†์ต๊ณ„์‚ฐ์„œโ€™๋ฅผ ๋ณด๋ฉด, ๋งค์ถœ ๋Œ€๋น„ ์›๋ถ€์ž์žฌ๋น„(๋ฌผ๋Œ€)๊ฐ€ 50.2%, ๋ฐฐ๋‹ฌ์•ฑ ๋ฐฐ๋‹ฌ๋น„๊ฐ€ ์•ฝ 10%, ๋ฐฐ๋‹ฌ ์ˆ˜์ˆ˜๋ฃŒ๊ฐ€ 8%, ๋ฐฐ๋‹ฌ์•ฑ ๊ด‘๊ณ ยทํŒ์ด‰๋น„๊ฐ€ 3.5%๋ฅผ ์ฐจ์ง€ํ–ˆ๋‹ค. 2๋งŒ์›์งœ๋ฆฌ ์น˜ํ‚จ์„ ํ•œ ๋งˆ๋ฆฌ ํŒ”์•˜์„ ๋•Œ ๋ณธ์‚ฌ์™€ ๋ฐฐ๋‹ฌ์•ฑ์ด ๋–ผ์–ด๊ฐ€๋Š” ๋ˆ์ด 72%๋‚˜ ๋๋‹ค. ํ•˜๋ฃจ 10์‹œ๊ฐ„ ๋„˜๊ฒŒ ์ผํ•˜๋ฉฐ ใ„ด์”จ๊ฐ€ ์–ป์€ ์ด์ต์€ ํ•œ ๋‹ฌ์— ๊ณ ์ž‘ 350๋งŒ์› ๋‚จ์ง“์œผ๋กœ, ์ „์ฒด ๋งค์ถœ์˜ 12% ์ •๋„์˜€๋‹ค."

์ ์ฃผ ๋’ค์— ์ˆจ์€ ๋ณธ์‚ฌ, ์น˜ํ‚จ ๋งˆ๋‹ˆ์•„๋ฅผ ํ˜ธ๊ตฌ ๋งŒ๋“ค๋‹ค

0
1

์˜๋„์ ์œผ๋กœ ๊ณต์—ฐ ๋„์ค‘์— ์ค‘๋‹จ์‹œํ‚ค๊ณ  ๋Œ์–ด๋‚ด๋ฆฐ๊ฑธ๋กœ ๋ณด์ธ๋‹ค๊ณ  ํ•œ๋‹ค. ์žฌ์ฆˆ ํ”ผ์•„๋‹ˆ์ŠคํŠธ ์šฐ์—ํ•˜๋ผ ํžˆ๋กœ๋ฏธ ์ฝ˜์„œํŠธ๋„ ์ค‘์ง€๋˜์—ˆ๋‹ค๊ณ . (๊ทธ๋Ÿฌ๋‹ˆ๊นŒ ๊ฒŒ์ž„ ๋งŒํ™” ์•„์ด๋Œ ์™ธ์—๋„ ๋ฌธํ™” ์ „๋ฐ˜์ด๋ผ๋Š”...)

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

0

ํ™์ฝฉ ํ™”์žฌ ์ฐธ์‚ฌ ์—ฌํŒŒโ€ฆ๋งˆ๋งˆ ์–ด์›Œ์ฆˆ, ์ €์Šน์‚ฌ์ž ์ฝ˜์…‰ํŠธ โ€˜์‚ฌ์ž๋ณด์ด์ฆˆโ€™ ๋ฌด๋Œ€ ์ทจ์†Œ ์ˆ˜์ • 2025.11.29 20:23 www.khan.co.kr/article/2025...

ํ™์ฝฉ ํ™”์žฌ ์ฐธ์‚ฌ ์—ฌํŒŒโ€ฆ๋งˆ๋งˆ ์–ด์›Œ์ฆˆ, ์ €์Šน์‚ฌ์ž ์ฝ˜์…‰ํŠธ โ€˜...

0

Business Insider reports that Oura is planning to expand its Oura wearable rings beyond health tracking to allow for payments, authentication, and more.

Well, Capitan Buzzkill (me) here wrote about Oura's security and privacy practices earlier this year, and found:

โ€ข Oura rings *don't* end-to-end encrypt users' health data;
โ€ข As such, Oura *can* access its users' data;
โ€ข Oura told me that the company *has* received U.S. government demands for users' data.

More: this.weekinsecurity.com/oura-r

0
0
0
0
0
1
1

์ด ๊ณต์ž‘์ด ๋˜๊ฒŒ ์›ƒ๊ธด๊ฒŒ... ๋‚˜๋ž‘ ๋™์ƒ์ด ๊ธธ ํ—ค๋งค๊ณ  ์žˆ์œผ๋‹ˆ๊นŒ ์•ˆ๋‚ด๋ผ๋„ ํ•ด์ฃผ๋“ฏ์ด ์•ž์žฅ์„œ์„œ ๊ฑธ์–ด์ฃผ๋”๋ผ. ๋‹ˆ๋„ค ๊ณต์ž‘(้ณฅ)๋‹˜ํ•œํ…Œ ์—์Šค์ฝ”ํŠธ ๋ฐ›์•„๋ดค๋ƒ. ๋‚˜๋Š” ๋ฐ›์•„๋ดค๋‹ค.

RE: https://bsky.app/profile/did:plc:iqga7bwbwbdo4z6suofriwa5/post/3m6r5k2xtm22w

0
1
0

์ฟ ํŒก์—์„œ ๋…ธ์ถœ๋œ ๊ณ ๊ฐ ๊ฐœ์ธ์ •๋ณด๊ฐ€ ๋ฌด๋ ค 3300๋งŒ๊ฐœ ๊ณ„์ •์— ๋‹ฌํ•˜๋Š” ๊ฒƒ์œผ๋กœ ๋‚˜ํƒ€๋‚ฌ์Šต๋‹ˆ๋‹ค. ๋‹น์ดˆ 4500๊ฐœ ๊ณ„์ •์—์„œ ๊ฐœ์ธ์ •๋ณด๊ฐ€ ๋…ธ์ถœ๋๋‹ค๊ณ  ๋ฐํžŒ ๊ฒƒ๊ณผ ๋น„๊ตํ•ด 7500๋ฐฐ ๋งŽ์€ ์ˆ˜์น˜๋กœ, ์‚ฌ์‹ค์ƒ ๋ชจ๋“  ๊ณ ๊ฐ ์ •๋ณด๊ฐ€ ๋…ธ์ถœ๋œ ๊ฒƒ์œผ๋กœ ์ถ”์ •๋ฉ๋‹ˆ๋‹ค.

์ฟ ํŒก 3300๋งŒ๊ฐœ ๊ณ„์ •์„œ ๊ฐœ์ธ์ •๋ณด ๋…ธ์ถœโ€ฆ์‚ฌ์‹ค์ƒ ์ „ ๊ณ ๊ฐ...

0
1

ๆ—ฅ ๊ฐ€์ˆ˜ ์ƒํ•˜์ด ํ–‰์‚ฌ์„œ ๋…ธ๋ž˜ ๋ถ€๋ฅด๋˜ ์ค‘ ๊ฐ•์ œ๋กœ ํ‡ด์žฅ๋‹นํ•ด n.news.naver.com/mnews/articl... ์ธ๊ธฐ ์• ๋‹ˆ๋ฉ”์ด์…˜ โ€˜์›ํ”ผ์Šคโ€™์˜ ์ฃผ์ œ๊ฐ€๋กœ ์ž˜ ์•Œ๋ ค์ง„ ์ผ๋ณธ ๊ฐ€์ˆ˜ ์˜ค์ธ ํ‚ค ๋งˆํ‚ค๊ฐ€ 28์ผ ์ƒํ•˜์ด์—์„œ ์—ด๋ฆฐ โ€˜๋ฐ˜๋‹ค์ด ๋‚จ์ฝ” ํŽ˜์Šคํ‹ฐ๋ฒŒ 2025โ€™์—์„œ ๋…ธ๋ž˜๋ฅผ ๋ถ€๋ฅด๋˜ ์ค‘ ๋งˆ์ดํฌ๊ฐ€ ๊บผ์ง€๋ฉฐ ๊ฐ•์ œ๋กœ ๋…ธ๋ž˜๋ฅผ ์ค‘๋‹จ ๋‹นํ•˜๊ณ  ๋ฌด๋Œ€์—์„œ ๋Œ์–ด๋‚ด๋ ค์ง€๋Š” ์ผ์ด ๋ฐœ์ƒํ–ˆ๋‹ค.

ๆ—ฅ ๊ฐ€์ˆ˜ ์ƒํ•˜์ด ํ–‰์‚ฌ์„œ ๋…ธ๋ž˜ ๋ถ€๋ฅด๋˜ ์ค‘ ๊ฐ•์ œ๋กœ ํ‡ด์žฅ๋‹นํ•ด

0
0
0
0

HERMES: Towards efficient and verifiable mathematical reasoning in LLMs. ~ Azim Ospanov et als. arxiv.org/abs/2511.18760v1

arXiv logo

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs

Informal mathematics has been central to modern large language model (LLM) reasoning, offering flexibility and enabling efficient construction of arguments. However, purely informal reasoning is prone to logical gaps and subtle errors that are difficult to detect and correct. In contrast, formal theorem proving provides rigorous, verifiable mathematical reasoning, where each inference step is checked by a trusted compiler in systems such as Lean, but lacks the exploratory freedom of informal problem solving. This mismatch leaves current LLM-based math agents without a principled way to combine the strengths of both paradigms. In this work, we introduce Hermes, the first tool-assisted agent that explicitly interleaves informal reasoning with formally verified proof steps in Lean. The framework performs intermediate formal checking to prevent reasoning drift and employs a memory module that maintains proof continuity across long, multi-step reasoning chains, enabling both exploration and verification within a single workflow. We evaluate Hermes on four challenging mathematical reasoning benchmarks using LLMs of varying parameter scales, from small models to state-of-the-art systems. Across all settings, Hermes reliably improves the reasoning accuracy of base models while substantially reducing token usage and computational cost compared to reward-based approaches. On difficult datasets such as AIME'25, Hermes achieves up to a 67% accuracy improvement while using 80% fewer total inference FLOPs. The implementation and codebase are publicly available at https://github.com/aziksh-ospanov/HERMES.

arxiv.org ยท arXiv.org

0
1
2
1