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

15歳でデビューした少年が、その爆発的な人気にむしろ追い詰められ心を破壊されていく映画(ベターマン)を見たばかりなので、広末が早稲田入学したときの映像を見て「大人気だったのに落ちぶれて」とは全然思えない。むしろこういう人気のあり方こそが彼女を壊していったんじゃないの。知らんけど。
16歳でブレイク後、人気絶頂だった広末がなぜ大学に進学したか。少しでも"ふうーの社会"と接点を持ち、"ふうーの人間"でいられる時間を作りたかったのだとしたら。それなのに大学側は守ってくれず、むしろ宣伝に利用するような態度で、群衆の歓声とメディアスクラムに囲まれた初登校。私だったら絶望するな。芸能人じゃない自分でいることは許されないと突き付けられるようなものでしょ。広末がどう感じたかは知らんけど。
そして今、中居と違って彼女を決死援護してくれるファンはいない。"かわいいだけでチヤホヤされてた女"が破綻していくのを嬉々として眺める連中ばかり。広末の"奇行"よりそっちのがよっぽど邪悪だよ。

0
0
0
0
0
0
0
0
0
0

게임 프로그래밍에서 AI에 대한 John Carmack의 견해
------------------------------
- Microsoft가 AI로 생성된 Quake II 데모를 공개한 것에 대한 비판(개발자의 가치를 훼손한다는 주장)에 대한 반론
- Doom/Quake의 개발자 존 카맥은 AI가 개발자, 아티스트, 디자이너의 기술을 폄하한다는 주장을 이해하며 이에 대한 본인의 생각을 정리

# 기술의 진보는 불가피한 변화임

- 과거에는 …
------------------------------
https://news.hada.io/topic?id=20223&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
0
0

Jira, Linear 등 일정 관리 앱이 풀어야할 가장 어려운 문제는, 사용자 중 상당수는 애초에 일정 관리를 하기 싫어하는 사람이라는 것이다. 안타깝게도 나도 거기 포함되는데, 문제는 그런 사람일 수록 일정 관리가 꼭 필요하다. 나중에 프로젝트가 복잡해지면 일정 관리 앱을 켜는 거 자체를 꺼리게 된다. 이걸 어쩌면 좋지.

1
0
0

게임 프로그래밍에서 AI에 대한 John Carmack의 견해
------------------------------
- Microsoft가 AI로 생성된 Quake II 데모를 공개한 것에 대한 비판(개발자의 가치를 훼손한다는 주장)에 대한 반론
- Doom/Quake의 개발자 존 카맥은 AI가 개발자, 아티스트, 디자이너의 기술을 폄하한다는 주장을 이해하며 이에 대한 본인의 생각을 정리

# 기술의 진보는 불가피한 변화임

- 과거에는 …
------------------------------
https://news.hada.io/topic?id=20223&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0

Jira, Linear 등 일정 관리 앱이 풀어야할 가장 어려운 문제는, 사용자 중 상당수는 애초에 일정 관리를 하기 싫어하는 사람이라는 것이다. 안타깝게도 나도 거기 포함되는데, 문제는 그런 사람일 수록 일정 관리가 꼭 필요하다. 나중에 프로젝트가 복잡해지면 일정 관리 앱을 켜는 거 자체를 꺼리게 된다. 이걸 어쩌면 좋지.

1

[Git turns 20: A Q&A with Linus Torvalds - The GitHub Blog](github.blog/open-source/git/gi)

//Linux Torvalds創造Git,很像Donald Knuth創造TeX。兩人都是為了自己心愛的計畫創造一個工具來解決他不滿的問題(Linus是版本控制軟體,Knuth是電腦排版),然後這兩個工具都永遠留在自由軟體的地景上。(古典)文學上有種說法,巨擘的盛宴掉下來的一點菜渣就足以養活整個世代的心靈,軟體世界似乎也是這樣。

0
0
0
0
0
0
0

老梗笑話,但一直很萬用啊~

第1任因為對方外遇而離婚,第2任則是因為對方負債太多而離婚。但就算如此,我弟弟(39歳)還想要再婚。我嚇到了,覺得真的假的啦。

於是我老爸(72歳)說了『人啊,因為“判斷力不足”而結婚,因為“忍耐力不足”而離婚,又因為“記憶力不足”而再婚』這樣的名言。

果然是人生結過3次婚的老前輩才能說出的響亮話語。

---

最近又看到有影片演出這一段...

0

新技術を前にしてこれって危なくないですか?と指摘することは誰でもできるけど、それを検討してどう使うとリスク減らして有益に使えるかを考えられる人は限られている印象

0
0
0
0
0
0

코딩 에이전트 구축을 위해 LangGraph를 선택한 이유
------------------------------
- Qodo는 GPT-3 시절부터 AI 코딩 보조 도구를 개발해온 팀으로, 최근에는 더 유연하고 동적인 코딩 에이전트를 만들기 위해 LangGraph 프레임워크를 선택
- 이 문서는 LangGraph가 어떻게 개발 흐름의 유연성과 코드 품질 기준을 동시에 만족시킬 수 있었는지를 설명함

# 초기 구조적 접근 방식에서 LangGraph로…
------------------------------
https://news.hada.io/topic?id=20220&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0

Hey I'm still looking for work.
I've applied to a lot of places in my area and I'm getting nothing.

I'm a programmer at heart, but I've also been looking for regular entry-level jobs because there haven't been any coding positions open at my level as far as I could tell.

If you can offer me a job, it might save my butt. And if you can't offer me a job, could you at least share this post?

I live 30 minutes away from Bellevue if that helps.

0
0
0
0

15歳でデビューした少年が、その爆発的な人気にむしろ追い詰められ心を破壊されていく映画(ベターマン)を見たばかりなので、広末が早稲田入学したときの映像を見て「大人気だったのに落ちぶれて」とは全然思えない。むしろこういう人気のあり方こそが彼女を壊していったんじゃないの。知らんけど。
16歳でブレイク後、人気絶頂だった広末がなぜ大学に進学したか。少しでも"ふうーの社会"と接点を持ち、"ふうーの人間"でいられる時間を作りたかったのだとしたら。それなのに大学側は守ってくれず、むしろ宣伝に利用するような態度で、群衆の歓声とメディアスクラムに囲まれた初登校。私だったら絶望するな。芸能人じゃない自分でいることは許されないと突き付けられるようなものでしょ。広末がどう感じたかは知らんけど。
そして今、中居と違って彼女を決死援護してくれるファンはいない。"かわいいだけでチヤホヤされてた女"が破綻していくのを嬉々として眺める連中ばかり。広末の"奇行"よりそっちのがよっぽど邪悪だよ。

0
0

Jira, Linear 등 일정 관리 앱이 풀어야할 가장 어려운 문제는, 사용자 중 상당수는 애초에 일정 관리를 하기 싫어하는 사람이라는 것이다. 안타깝게도 나도 거기 포함되는데, 문제는 그런 사람일 수록 일정 관리가 꼭 필요하다. 나중에 프로젝트가 복잡해지면 일정 관리 앱을 켜는 거 자체를 꺼리게 된다. 이걸 어쩌면 좋지.

1

洪 民憙 (Hong Minhee) shared the below article:

같은 것을 알아내는 방법

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

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

Read more →
5
2
2

Jira, Linear 등 일정 관리 앱이 풀어야할 가장 어려운 문제는, 사용자 중 상당수는 애초에 일정 관리를 하기 싫어하는 사람이라는 것이다. 안타깝게도 나도 거기 포함되는데, 문제는 그런 사람일 수록 일정 관리가 꼭 필요하다. 나중에 프로젝트가 복잡해지면 일정 관리 앱을 켜는 거 자체를 꺼리게 된다. 이걸 어쩌면 좋지.

1

Git 20주년 회고 – 여전히 이상하고, 여전히 멋진 도구
------------------------------
- Git은 20년 전 Linus Torvalds가 첫 커밋을 하며 시작된 버전 관리 시스템임
- 원래는 단순한 개인 프로젝트였지만, 이후 전 세계적으로 가장 널리 사용되는 버전 관리 시스템으로 성장함
- 작성자는 GitHub 공동 창립자이며, Git 관련 책과 커뮤니티를 구축하면서 Git의 발전에 깊게 관여해왔음
- 초기에는 단…
------------------------------
https://news.hada.io/topic?id=20217&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0

Avvy라는, 약건 픽크루 같은 느낌의? 무료 버츄얼 앱인데 이런느낌으로 인식되는구나~ 같은걸 해볼 수 있어서 재밌네요...

OBS로 영상을 보낼수도 있는 것 같아요

0
0
0