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.

2

🖌번역)근육은 지방보다 수분을 유지하기 때문에 근력운동을 하면 열사병 내성이 높아진다. 또한 병에서 회복하기 위한 에너지원도 되기 때문에 치유가 빨라진다.
그리고 포식시대의 병인 당뇨병에도 잘 걸리지 않게 된다.

근력운동은 장래의 건강에 대한 불안을 해결하는 것이다 :blobcatstrong:

0
0
0
0
0
0
0
1
1
0
0
0
0

직장에서 성장하는 6가지 방법

1. 실수를 두려워하지 않는다
2. 매일 조금씩 배운다
3. 긍정적인 태도를 유지한다
4. 동료들과 소통한다
5. 끊임없이 도전한다
6. 자신의 강점을 발견하고 키운다

0
0
0
0
0
0
0

‘평양 무인기 침투’ 작전에 관여된 김용대 전 드론작전사령관(소장)이 파면됐습니다. 김 전 사령관은 윤석열 전 대통령, 김용현 전 국방부 장관의 지시에 따라 2024년 10월 정상적인 보고 계통을 거치지 않고 작전을 지휘한 혐의를 받습니다. 그는 직권남용과 무인기 평양 추락 사실을 숨기기 위해 훈련 중에 소실됐다는 내용의 허위공문서를 작성했습니다.

국방부, ‘평양 무인기 침투’ 김용대 전 드론작전사령관...

0
0
0

✨ Just released version 0.65.0 of Unicorn! 🦄

Features:
- Escape single quotes in Unicorn.call() args
- Auto init components via MutationObserver
- Support redirect from mount()

Fixes:
- `IndexError` when using a custom setter method with $event.target.value
- Correct debounce behavior with delay
- Prevent poll from overwriting many-to-many fields

All from @amoatengJohanan Oppong Amoateng 🙌

📖 django-unicorn.com
📦 pypi.org/project/django-unicor
🛠️ github.com/adamghill/django-un

0
0
0
0
0

거대한 무언가가 일어나고 있어요
------------------------------
- 2025년 이후 AI 모델의 발전 속도가 급격히 가속되며, *기술 업계 내부에서는 이미 직무 구조 변화가 현실화된 상황*
- GPT-5.3 Codex와 Opus 4.6 공개 이후, 개발 업무가 설명만으로 완성되는 수준에 도달하며 *판단력과 감각까지 보이는 모델 등장*
- AI가 스스로 차세대 AI 개발에 기여하는 *자기 강화 루…
------------------------------
https://news.hada.io/topic?id=26625&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0

Rado Kirov has been one of several people working through the exercises in my Lean formalization of my Analysis I textbook at github.com/teorth/analysis . For several months he proceeded by hand, teaching himself Lean; see rkirov.github.io/posts/lean3/ and rkirov.github.io/posts/lean4/ . But recently, he switched to using Claude Code, significantly accelerating the process, to the point where all the exercises in three section could be formalized in a weekend, with only a few hours of active intervention: rkirov.github.io/posts/lean5/ . This is already notable, but I found Rado's description of his precise workflow, and the carefully curated prompt at github.com/rkirov/analysis/blo he used, to be particularly interesting, with an emphasis not on just solving the exercises, but aligning it to his desired writing style, and identifying "pitfalls" in the formalizing process (which were recorded separately at github.com/rkirov/analysis/blo ). These sorts of experiments suggest that using these automated tools to take over tedious tasks such as formalization may not necessarily reduce our own capability to achieve these tasks; with the proper workflows, they could actually enhance our understanding of the process.

0
0
0
0
0
0
0
0
0
0
0