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
0

그래도 재택근무 기준이 아니라면 출근가방에 항상 넣고 다녔던건
수제 도시락이었음
(그걸 왜..?)
배식 받으러 가기 겁나 귀찮음 차라리 도시락을 싸간다

1
0
0

A user complained in IRC that an Ex-IC moving into management required them to fill out switch port assignment plans in Excel.

And I was thinking, ok, how about we drive Ansible with it, xlsx instead of Yaml?

Turns out, reading xlsx in Python is really, really easy.

As in

$ uv init .
$ uv add pandas openpyxl xlrd xlwt
$ cat > main.py
import pandas as pd

df = pd.read_excel("sample.xlsx")
print(df)
^D
$ uv run main.py

Now we can add Napalm and see what happens.

The script from above, and running it. It works.
0
1
0
0
0
1
1
0
0
0

남아공서 22∼23일 아프리카 첫 G20 정상회의
(요하네스버그=연합뉴스) 유현민 특파원 = 올해 주요 20개국(G20) 정상회의가 아프리카 대륙에서는 처음으로 오는 22∼23일 남아프리카공화국...
yna.co.kr/view/AKR202511191653

1
1
0
0
1

git 2.52.0 is out, and as usual the release notes make for fascinating reading¹ ², if somewhat cryptic if you don't follow the "what's cooking" post series³ ⁴.

But there is something a bit weird in GitHub's usual blog post about this release⁵: there are several mentions of GitHub's fork of git, and the article begins with "the open source git project".

¹: lore.kernel.org/git/xmqqh5usmv

²: git.kernel.org/pub/scm/git/git

³: e.g. lore.kernel.org/git/aRxDYkeAi8

⁴: lore.kernel.org/git/?q=what%27

⁵: github.blog/open-source/git/hi

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

金野@古書Doris (@DorisMisako) on X
「アール・デコの造形」
宝石の巨匠、ルネ・ラリックは四十歳を超してからガラスに新たな情熱を見出しました。ラリックは1925年に開催されたアール・デコ展の総監督も務めました。フランソワ・コティーの香水瓶から色ガラスで作られた作品、照明作品など、珍しく繊細で美しい作品群を収録しています。 x.com/DorisMisako/status/19899

0
0
1

> Hardening ingestion of Cloudflare-generated configuration files in the same way we would for user-generated input

Yeah this seems like such a common source of failures for an organization of any size; you have things that you call separate components, but the developer of one trusts the others because the service boundary is "internal"

Developers do better work when integrating with a totally separate company when somebody is paying somebody else than they do on the interface between systems within the same company, because there are too many shortcuts they're tempted to make when a boundary doesn't feel like a real boundary

0

Every year, near the end of my accelerated intro class (0190), I've done the Halting Problem and briefly mentioned Rice's Theorem. It's finally(!) dawned on me that Rice's is more fundamental. Re-jigging class design! Also great to tie it up with, e.g., code.pyret.org .

0

수정 2025.11.19 22:29 "해경은 현장에 경비함정 14척, 방제선 2척, 예인선 1척 등을 급파해 좌초된 여객선에서 승객들을 목포항으로 이동시키고 있다. 목포항에는 구조한 승객들을 위한 숙소 2곳을 마련해 안정을 취하게 했다. 해경 관계자는 “노약자, 임산부, 어린이 등을 우선 구조하는 중”이라며 “인명피해는 현재까지 확인되지 않았다”고 밝혔다."

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

After nine months of design, implementation, and orchestration, Lean's new module system I have been working on is now live in 4.26.0-rc1 and adopted throughout Mathlib. By introducing a system for checked and enforced API boundaries between files, it allows for changing proofs and other non-public information without any downstream rebuilds and drastically reduces the memory footprint of Mathlib imports to the lowest value ever since it was ported to Lean 4 two years ago.

leanprover.zulipchat.com/#narr

Graph of Mathlib build memory usage showing continuous growth to 5.8GB over the last two years followed by a fall to 3.2GB from switching to the module system.
0
0
0