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

GeekNews의 〈소프트웨어 엔지니어로 산다는 건 미친 짓이야〉 주제에 @youknowone 님께서 쓰신 좋은 댓글:

소프트웨어 개발이 어려운 일이라는 사람들은 본인이 그 일을 하는 이유가 뭘까요? 고되고 힘든 일이지만 보람있는 일이라서 하시나요? 이 업계에서 그런 분들은 그리 많지는 않았던 것 같습니다. 남들이 못하는 것 같으니까 어렵다고 주장하는거지, 실상은 그게 본인한테 가장 쉬운 일이니까 하시는 것 아닌가요? 남들이 좀 띄워준다고 자화자찬하면서 나만 특별한 양 여기면서 눈을 가리지 말고 주위를 봐야합니다. 이공계에서 어떤 분야가 방구석에서 인터넷 좀 보고 독학한다고 (잘 하면) 몇달만에 현업에 투입할 수 있는 전문가가 됩니까?

(…중략…)

물론 남들이 가지지 못한 훌륭한 손재주를 가진 사람은 존중받아 마땅하지만, 약간의 손재주를 연마했다고 해서 소싯적 배워둔 손재주로 평생 먹고 살면 좋을텐데 왜 그럴수 없을까, 나는 이런 훌륭한 손재주를 가졌는데 다른 사람들처럼 힘들게 일하지 않아야 하는 것 아닐까, 나는 남들은 쉽게 하지 못하는 대단한 재능을 가진 것이 아닐까 등등의 특별한 나에 심취하는건 교만에 가까운 일이 아닐까 합니다.

8
0
0
4

다음 글은 CBPV에 대해서 써볼까 합니다. CBV(Call-By-Value)나 CBN(Call-By-Name)은 전공자라면 한번쯤은 들어봤을 이름이지만, CBPV는 특정 분야 석박사가 아니면 들어본 적 없을 것 같네요. 하지만 실제 컴파일러 구현(GHC지만...)도 논의되고 있는 만큼 앞으로 유명해지지 않을까 싶어 미리 다뤄보려고 합니다.

6
1
0
0
0
0
0
1

I have made a release of "git-withme" which allows peer-to-peer Git usage over

This uses short, human-memorable codes to invite peers to collaborate (push, pull, etc) in real-time on a Git repository with no external hosting providers. Creates a temporary bare repository on the host so it feels like GitLab style usage.

"pip install git-withme" or see the project pages:

git.sr.ht/~meejah/git-withme

pypi.org/project/git-withme/

Screenshot of a dark-mode terminal running "git withme" which starts a small "rich" TUI to invite peers or quit hosting
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0

Is anybody working on an MCP server for NodeBB? I'd love to have an agent that could communicate to MCP server connected to NodeBB for various tasks like moderation, spam detection, sentiment analysis, or just finding a super popular conversation. Actually, other automation and workflows would work well with agents, like a dice bot.

0
0
0
0
0
0
0
0

I have made a release of "git-withme" which allows peer-to-peer Git usage over

This uses short, human-memorable codes to invite peers to collaborate (push, pull, etc) in real-time on a Git repository with no external hosting providers. Creates a temporary bare repository on the host so it feels like GitLab style usage.

"pip install git-withme" or see the project pages:

git.sr.ht/~meejah/git-withme

pypi.org/project/git-withme/

Screenshot of a dark-mode terminal running "git withme" which starts a small "rich" TUI to invite peers or quit hosting
0
0
0
0
0
0
1
0
0
0
0
0
0
0
1
0

어리 shared the below article:

같은 것을 알아내는 방법

Ailrun (UTC-5/-4) @ailrun@hackers.pub

이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.

Read more →
5
2
2
0

It was the best of times, it was the worst of times, it was the age of wisdom, it was the age of foolishness, it was the epoch of belief, it was the epoch of incredulity. It was an hour and 45 minutes before your alarm was set to go off, and your brain would not shut up.

You tumble out of bed and stumble to the kitchen to pour yourself a glass of milk. Maybe indigestion will help.

The stove light was on. A man in suit and shades sat at the table. You sigh.

"Boss wants you back," he growls.

0
0
0