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
0
0
0

[์†๋ณด] ๊น€๋ฌธ์ˆ˜ "้Ÿ“, ๋ณธ์ธ์€ ๋ฌด์†Œ์†์œผ๋กœ ์ถœ๋งˆํ•  ์ƒ๊ฐ ์—†๋‹ค๊ณ  ๋ฐํ˜€" ์šฐ๋ฆฌ๋Š” ํ•œ๋•์ˆ˜๊ฐ€ ์ตœ๊ทผ๊นŒ์ง€ ํŠธ๋Ÿผํ”„ํ•˜๊ณ  ๊ด€์„ธ ํ˜‘์ƒํ•˜๊ณ  ๊ทธ๋žฌ๋˜ ๊ฑธ ์•Œ๊ณ  ์žˆ์Œ. ๋ชจ๋“  ํ˜‘์ƒ์„ ์ €๋ ‡๊ฒŒ ํ•ด์™”๊ฒ ๊ตฌ๋‚˜ ์‹ถ์–ด์„œ ....

0
0
0
0
0
2
0
0
0
0
0

37.4โ„ƒ
่งฃ็†ฑๅ‰คใจ้ผป็‚Ž่–ฌใ‚’ๅ…ฅใ‚ŒใŸ็›ดๅพŒใ€‚้ฆ™ใ‚ŠใฏๅฃŠๆป…ใ—ใฆใชใ„ใฎใงใ“ใฎใพใพ1-2ๆ—ฅใงๅฎŒๆฒปใ—ใฆใใ‚Œใ‚‹ใจใ„ใ„ใชใ€‚

1

ใ€Œ็›ฎ็š„ใจใ‚ดใƒผใƒซใ€ใจใ„ใ†ใ‚ปใ‚ฏใ‚ทใƒงใƒณใ‚ฟใ‚คใƒˆใƒซใ‚’่ฆ‹ใฆใ€ๆ—ฅๆœฌ่ชžใฃใฆ้›ฃใ—ใ„ใชใจๆ€ใ†ใชใฉใ€‚

0
0
1
0
0
0
0
0
1
0

2๋งŒ ์—ฌ ์„ฑ์ „ํ™˜ ๋ฏธ๊ตฐ, ๊ตฐ๋ณต ๋ฒ—๋Š”๋‹คโ€ฆ๋Œ€๋ฒ•์›, ๊ตฐ ๋ณต๋ฌด๊ธˆ์ง€ ์‹œํ–‰ ํ—ˆ์šฉ ์ž…๋ ฅ 2025-05-07 08:07 ๋ฏธ๊ตฐ์— 1๋งŒ5000โˆผ2๋งŒ5000๋ช…์˜ ํŠธ๋žœ์Šค์  ๋” ๊ตฐ์ธ ๋ณต๋ฌด ์ค‘ ์ง„๋ณด์„ฑํ–ฅ ๋Œ€๋ฒ•๊ด€ 3๋ช…, ๋ณด์ˆ˜ ์„ฑํ–ฅ ๋Œ€๋ฒ•๊ด€ 6๋ช…์œผ๋กœ ํŠธ๋Ÿผํ”„ ์† ๋“ค์–ด์ค˜ www.munhwa.com/article/1150...

2๋งŒ ์—ฌ ์„ฑ์ „ํ™˜ ๋ฏธ๊ตฐ, ๊ตฐ๋ณต ๋ฒ—๋Š”๋‹คโ€ฆ๋Œ€๋ฒ•์›, ๊ตฐ ๋ณต๋ฌด๊ธˆ...

2๋งŒ ์—ฌ ์„ฑ์ „ํ™˜ ๋ฏธ๊ตฐ, ๊ตฐ๋ณต ๋ฒ—๋Š”๋‹คโ€ฆ๋Œ€๋ฒ•์›, ๊ตฐ ๋ณต๋ฌด๊ธˆ์ง€ ์‹œํ–‰ ํ—ˆ์šฉ

๋ฏธ๊ตญ ๋„๋„๋“œ ํŠธ๋Ÿผํ”„ ํ–‰์ •๋ถ€๊ฐ€ ์ถ”์ง„ํ•˜๋Š” โ€˜์„ฑ์ „ํ™˜์ž(ํŠธ๋žœ์Šค์  ๋”)์˜ ๊ตฐ ๋ณต๋ฌด ๊ธˆ์ง€โ€™๋ฅผ ๋‘˜๋Ÿฌ์‹ผ ๋…ผ๋ž€๊ณผ ๊ด€๋ จ, ๋ฏธ๊ตญ ๋Œ€๋ฒ•์›์ด ํŠธ๋Ÿผํ”„ ์ •๋ถ€์˜ ์†์„ ๋“ค์–ด์คฌ๋‹ค. ๋ฏธ ๋Œ€๋ฒ•์›์€ 6์ผ(ํ˜„์ง€์‹œ๊ฐ„) ํŠธ๋Ÿผํ”„ ํ–‰์ •๋ถ€๊ฐ€ ํŠธ๋žœ์Šค์  ๋”๋ฅผ ๊ตฐ ๋ณต๋ฌด์—์„œ ์‚ฌ์‹ค์ƒ ๋ฐฐ์ œํ•˜๋Š” ์ •์ฑ…์„ ์ฆ‰์‹œ ์‹œํ–‰ํ•  ์ˆ˜ ์žˆ๋‹ค๊ณ  ํŒ๊ฒฐํ–ˆ๋‹ค๊ณ  AP ํ†ต์‹ , CNN ๋ฐฉ์†ก ๋“ฑ์ด ์ „ํ–ˆ๋‹ค. ์ง„๋ณด ์„ฑํ–ฅ ๋Œ€๋ฒ•๊ด€ 3๋ช…์ด ๋ฐ˜๋Œ€ ์˜๊ฒฌ์„ ๋ƒˆ์ง€๋งŒ, ๋ณด์ˆ˜ ์„ฑํ–ฅ ๋Œ€๋ฒ•๊ด€์ด 6๋ช…์ธ ๋ณด์ˆ˜ ์šฐ์œ„ ๋Œ€๋ฒ•์›์—์„œ๋Š” ์—ญ๋ถ€์กฑ์ด์—ˆ๋‹ค. CNN์€ ์ด๋ฒˆ ๊ฒฐ์ •์— ๋Œ€ํ•ด โ€œ์ง‘๊ถŒ 2๊ธฐ ์—ฌ๋Ÿฌ ์ •์ฑ…๋“ค์ด ํ•˜๊ธ‰์‹ฌ์—์„œ ์ง€์—ฐ๋˜๋Š” ์ƒํ™ฉ์„ ํŠธ๋Ÿผํ”„ ๋Œ€ํ†ต๋ น์ด ๋Œ€๋ฒ•์›์—์„œ ํ•ด๊ฒฐํ•˜

www.munhwa.com ยท ๋ฌธํ™”์ผ๋ณด

0
0

I've always wanted someone to write a type-safe framework for tensor manipulation that
a) fully leverages first-class types, and
b) is ergonomic

Maybe that someone has to be me; I wrote a proof-of-concept in Idris and used it to implement transformers:
github.com/bgavran/TypeSafe_Te

It supports standard tensors, and *non-cubical* tensors given by applicative functors, as well tensor indexing.

So if you have a 't : Tensor [BinTree, BinTree] Double' and you index outside of the shape of the tree, you get a *compile-time* error.

Indexing is powered by containers, transposition by Naperian functors, and non-cubical tensors by applicative functors (see cs.ox.ac.uk/people/jeremy.gibb)

I was surprised how far one can go with this idea, and how pleasant it was in general to implement all of this in Idris.

What all of this does is enable you to implement the *generalised transformers* as described here (glaive-research.org/2025/02/11) - transformers that operate on not just vectors, but potentially trees, and other structures too.

0
0

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

ใ‚ใƒผใ„

ๆ–ฐ่–ฌๅ‘ณใƒปใƒˆใƒƒใƒ”ใƒณใ‚ฐ๏ฝœใ“ใ“ใฎใ†ใฉใ‚“ใฏใ€็”Ÿใใฆใ„ใ‚‹ใ€‚ไธธไบ€่ฃฝ้บบ : ๐Ÿ‘€
---
jp.marugame.com/campaign/toppi

0

๋‰ด์š”์ปค๋„ ์‚ฌ๋กœ ์žก์€ '์ „ ๋‚จ์นœ ํ† ์ŠคํŠธ'โ€ฆ์˜จ๋ผ์ธ์„œ ํ™”์ œ n.news.naver.com/mnews/articl... 9.50๋‹ฌ๋Ÿฌ(ํ•œํ™” ์•ฝ 1๋งŒ 3์ฒœ ์›)... ์ด ๊ฒƒ๋„ ๊ทธ๋ ‡๊ณ  ํ•œ๊ตญ ๊ฑฐ๋ฆฌ ์Œ์‹๋“ค ํ•ด์™ธ์—์„œ ์ž˜ ๋จนํžˆ๋Š”๊ฑฐ ๋ณด๋ฉด ์˜์™ธ๋กœ ์‚ฌ๋žŒ๋“ค ๋ฏธ๊ฐ์€ ๊ตญ๊ฒฝ ๋„˜์–ด์„œ๋„ ํ†ตํ•˜๋Š”๊ฒŒ ์žˆ๋Š” ๋“ฏ ํ•ด์š”.

๋‰ด์š”์ปค๋„ ์‚ฌ๋กœ ์žก์€ '์ „ ๋‚จ์นœ ํ† ์ŠคํŠธ'โ€ฆ์˜จ๋ผ์ธ์„œ ํ™”์ œ

0

์‚ฌ์‹ค ๊ฐœ์ธ์ด ๋ชจ๋“  ํ˜์˜คํ‘œํ˜„์„ ๋ฏธ๋ฆฌ ์•Œ๊ณ  ํ”ผํ•˜๋Š” ๊ฑด ๋งค์šฐ ์–ด๋ ต๋‹ค๊ณ  ์ƒ๊ฐํ•ด์š” ๋‹น์žฅ ์ €๋„ '๋ณ‘๋ง›'์— ใ…‚-word๊ฐ€ ๋“ค์–ด๊ฐ€๋Š” ๊ฑธ ๋ชจ๋ฅด๊ณ  ์žˆ์—ˆ๊ณ  ๋˜ ์–ธ๋ก ์œผ๋กœ ์˜ฌ๋ผ๊ฐ€๋ฉด ์ ˆ๋ฆ„๋ฐœ์ด ํŒŒํ–‰ ์ด๋Ÿฐ ์žฅ์• ํ˜์˜คํ‘œํ˜„์„ ์•„๋ฌด๋ ‡์ง€ ์•Š๊ฒŒ ์“ฐ๊ณ  ์žˆ๊ณ ...

0

2๋งŒ ์—ฌ ์„ฑ์ „ํ™˜ ๋ฏธ๊ตฐ, ๊ตฐ๋ณต ๋ฒ—๋Š”๋‹คโ€ฆ๋Œ€๋ฒ•์›, ๊ตฐ ๋ณต๋ฌด๊ธˆ์ง€ ์‹œํ–‰ ํ—ˆ์šฉ ์ž…๋ ฅ 2025-05-07 08:07 ๋ฏธ๊ตฐ์— 1๋งŒ5000โˆผ2๋งŒ5000๋ช…์˜ ํŠธ๋žœ์Šค์  ๋” ๊ตฐ์ธ ๋ณต๋ฌด ์ค‘ ์ง„๋ณด์„ฑํ–ฅ ๋Œ€๋ฒ•๊ด€ 3๋ช…, ๋ณด์ˆ˜ ์„ฑํ–ฅ ๋Œ€๋ฒ•๊ด€ 6๋ช…์œผ๋กœ ํŠธ๋Ÿผํ”„ ์† ๋“ค์–ด์ค˜ www.munhwa.com/article/1150...

2๋งŒ ์—ฌ ์„ฑ์ „ํ™˜ ๋ฏธ๊ตฐ, ๊ตฐ๋ณต ๋ฒ—๋Š”๋‹คโ€ฆ๋Œ€๋ฒ•์›, ๊ตฐ ๋ณต๋ฌด๊ธˆ...

2๋งŒ ์—ฌ ์„ฑ์ „ํ™˜ ๋ฏธ๊ตฐ, ๊ตฐ๋ณต ๋ฒ—๋Š”๋‹คโ€ฆ๋Œ€๋ฒ•์›, ๊ตฐ ๋ณต๋ฌด๊ธˆ์ง€ ์‹œํ–‰ ํ—ˆ์šฉ

๋ฏธ๊ตญ ๋„๋„๋“œ ํŠธ๋Ÿผํ”„ ํ–‰์ •๋ถ€๊ฐ€ ์ถ”์ง„ํ•˜๋Š” โ€˜์„ฑ์ „ํ™˜์ž(ํŠธ๋žœ์Šค์  ๋”)์˜ ๊ตฐ ๋ณต๋ฌด ๊ธˆ์ง€โ€™๋ฅผ ๋‘˜๋Ÿฌ์‹ผ ๋…ผ๋ž€๊ณผ ๊ด€๋ จ, ๋ฏธ๊ตญ ๋Œ€๋ฒ•์›์ด ํŠธ๋Ÿผํ”„ ์ •๋ถ€์˜ ์†์„ ๋“ค์–ด์คฌ๋‹ค. ๋ฏธ ๋Œ€๋ฒ•์›์€ 6์ผ(ํ˜„์ง€์‹œ๊ฐ„) ํŠธ๋Ÿผํ”„ ํ–‰์ •๋ถ€๊ฐ€ ํŠธ๋žœ์Šค์  ๋”๋ฅผ ๊ตฐ ๋ณต๋ฌด์—์„œ ์‚ฌ์‹ค์ƒ ๋ฐฐ์ œํ•˜๋Š” ์ •์ฑ…์„ ์ฆ‰์‹œ ์‹œํ–‰ํ•  ์ˆ˜ ์žˆ๋‹ค๊ณ  ํŒ๊ฒฐํ–ˆ๋‹ค๊ณ  AP ํ†ต์‹ , CNN ๋ฐฉ์†ก ๋“ฑ์ด ์ „ํ–ˆ๋‹ค. ์ง„๋ณด ์„ฑํ–ฅ ๋Œ€๋ฒ•๊ด€ 3๋ช…์ด ๋ฐ˜๋Œ€ ์˜๊ฒฌ์„ ๋ƒˆ์ง€๋งŒ, ๋ณด์ˆ˜ ์„ฑํ–ฅ ๋Œ€๋ฒ•๊ด€์ด 6๋ช…์ธ ๋ณด์ˆ˜ ์šฐ์œ„ ๋Œ€๋ฒ•์›์—์„œ๋Š” ์—ญ๋ถ€์กฑ์ด์—ˆ๋‹ค. CNN์€ ์ด๋ฒˆ ๊ฒฐ์ •์— ๋Œ€ํ•ด โ€œ์ง‘๊ถŒ 2๊ธฐ ์—ฌ๋Ÿฌ ์ •์ฑ…๋“ค์ด ํ•˜๊ธ‰์‹ฌ์—์„œ ์ง€์—ฐ๋˜๋Š” ์ƒํ™ฉ์„ ํŠธ๋Ÿผํ”„ ๋Œ€ํ†ต๋ น์ด ๋Œ€๋ฒ•์›์—์„œ ํ•ด๊ฒฐํ•˜

www.munhwa.com ยท ๋ฌธํ™”์ผ๋ณด

0
0
0

Hi everyone on and the . ๐Ÿ‘‹

I've posted a statement on our hub about the events of the past weeks and how we intend on doing better:

hub.fosstodon.org/fosstodon-co

Tldr: Sorry about what happened, Fosstodon is committed to being a safe and inclusive space, and we're taking measures to ensure this won't happen again.

Please let me know what you think!

0

[์†๋ณด] ๊น€๋ฌธ์ˆ˜ "้Ÿ“, ๋ณธ์ธ์€ ๋ฌด์†Œ์†์œผ๋กœ ์ถœ๋งˆํ•  ์ƒ๊ฐ ์—†๋‹ค๊ณ  ๋ฐํ˜€" ์šฐ๋ฆฌ๋Š” ํ•œ๋•์ˆ˜๊ฐ€ ์ตœ๊ทผ๊นŒ์ง€ ํŠธ๋Ÿผํ”„ํ•˜๊ณ  ๊ด€์„ธ ํ˜‘์ƒํ•˜๊ณ  ๊ทธ๋žฌ๋˜ ๊ฑธ ์•Œ๊ณ  ์žˆ์Œ. ๋ชจ๋“  ํ˜‘์ƒ์„ ์ €๋ ‡๊ฒŒ ํ•ด์™”๊ฒ ๊ตฌ๋‚˜ ์‹ถ์–ด์„œ ....

0
0

๋ฌธ์ˆ˜ : ๋•์ˆ˜ํ˜• 11์ผ๋‚  ์‚ฌํ‡ดํ• ๊ฑฐ์—์š”? ๋•์ˆ˜ : ๋‹ˆ๊ฐ€ ๋‹จ์ผํ™” ์•ˆํ•ด์ฃผ๋ฉด ์‚ฌํ‡ดํ•จ ๋ฌธ์ˆ˜ : ๊ทธ๋Ÿผ ๋‚ด๊ฐ€ 11์ผ๊นŒ์ง€ ๋ฒ„ํ‹ฐ๋ฉด ์ž๋™๋‹จ์ผํ™”๋„ค์š”? ๋•์ˆ˜ : ? ๋ฌธ์ˆ˜ : ใ…‡ใ…‹

RE: https://bsky.app/profile/did:plc:oeors5le2tmvqzojsjxxqwro/post/3lola642s3s2g

ํ•œ๋•์ˆ˜ "๋‹จ์ผํ™” ์ด๋ค„์ง€์ง€ ์•Š์œผ๋ฉด ๋Œ€์„  ๋ณธํ›„๋ณด ๋“ฑ๋ก ์•Š๊ฒ ...

1

:pixelfed: Server Directory 2.0 is here! ๐Ÿš€

We completely rebuilt our server directory for a better community finding experience:

โœ… Infinite scrolling - see ALL servers at once (goodbye pagination!)
โœ… Rich server cards with location, user counts and more
โœ… Improved filtering with better visibility
โœ… Optimized crawling with 2-hour refresh rate (fixed the visibility delays!)
โœ… Enhanced UI with improved colors and text legibility

Find your perfect home today:
๐Ÿ‘‰ pixelfed.org/servers

0
0
0
0
0

:pixelfed: Server Directory 2.0 is here! ๐Ÿš€

We completely rebuilt our server directory for a better community finding experience:

โœ… Infinite scrolling - see ALL servers at once (goodbye pagination!)
โœ… Rich server cards with location, user counts and more
โœ… Improved filtering with better visibility
โœ… Optimized crawling with 2-hour refresh rate (fixed the visibility delays!)
โœ… Enhanced UI with improved colors and text legibility

Find your perfect home today:
๐Ÿ‘‰ pixelfed.org/servers

0
0
0
1

ใ“ใฎๆ‰‹ใฎใ‚ฟใ‚ฐ่ˆˆๅ‘ณใ‚ใ‚‹ใ‘ใฉใ€ๆ˜”่ชฐใ‚‚ๅๅฟœใ—ใฆใใ‚Œใชใ‹ใฃใŸใจใใŒใ‚ใฃใฆ่‹ฅๅนฒ่ฝใก่พผใ‚“ใ ใ“ใจใ‚ใฃใŸใชโ€ฆโ€ฆใ€‚

1
0
1
0