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

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

재밌게도 실제로 이런적이 있읍니다 토끼는 원래 가위에 자주 눌리는 체질이에요 이때 먼가 보거나 소리를 듣기도 함 (그렇다고 제가 귀신이나 미신을 믿지는 않읍니다 ^^ 가위 눌리는 거도 걍 익숙~함) 근데 어느 날 가위에 눌렸는데, 부엌 쪽에서 귀신이 우리 엄마인 척하는 거예요 그리고 거실-부엌 사이에 굿즈진열이 되어 있는데 화성이랑 태자전하 굿즈 223456789개 모셔둠 귀신이 이 경계를 못 넘어오는 거에여 가위 눌린 채로 '와 신통하다~' 하면서 귀신한테 너 귀신이지? 하니까 갑자기 웅얼대더니 사라짐

RE: https://bsky.app/profile/did:plc:zizbnty4zknndb5fvmcuqzbh/post/3m5yenbmfik2y

1
0
0
1
1
0
0

[해양사고] ◈ 신안, 연안여객선 좌초 발생(인명·오염피해 없음) ㅇ (개요) 오늘(11.19.) 20:10경, 전남 신안군 죽도 남방 인근 해상에서 연안여객선 퀸제누비아2호(제주-목포, 26,546톤, 선원 29 / 여객 246 / 차량 118)가 항해 중 좌초 발생 ㅇ (피해사항) (인명) 피해 없음 / (선체) 선수부 파공(상세사항 확인 중) ㅇ (조치사항) 20:40경 해경정 현장 도착하여 안전관리 중이며, 자력 이초 불가하여 선사에서 예인선(2척) 섭외(21:40경 현장 도착)

0

전남 목포해역, 장산도 남방 죽도 인근 여객선 좌초 발생(2보)-피해 확인 중 피해사항 - 인적: 확인 중 - 물적: 확인 중 / 현재까지 침수·기울기 없음 조치사항 20:33 목포서, 재박함정 비상소집 실시 20:35 본청 상황지원팀 소집 20:38 P-79정, 현장확인 결과 침수 및 기울기는 확인되지 않음 20:42 목포서 상황대책팀(지역구조본부) 소집 20:44 목포회전익(B525) 이륙, 현장이동 20:54 P-79정, 경찰관 2명 여객선 등선 완료 20:57 국무조정실 지시사항, 가용 가능한 세력 총 동원하여 대응할 것

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

0
0
0
0
0

Ever tried editing a document on split screen and ended up scrolling sideways just to reach a button?

Not anymore! The new responsive layout in Collabora Online adapts perfectly to your screen — whether you’re multitasking on half a window or working full-width on a big display. The toolbar now reflows intelligently, grouping tools neatly so everything stays right where you need it.

Try it yourself in the free demo!
🔗 collaboraonline.com/demo/?utm_

0

@: 갑자기 궁금해진건데. 여러분은 출근가방에 뭐 넣고 다니시나요? 툿훔해서 알려줘

요새는 담배, 우산, 보조배터리, 에너지음료, 양치세트, 필통?

에코백 들고 다녔는데, 내일은 귀한 가방 들고 갈 예정

1

가끔 독자나 인터뷰어에게서 "아이디어는 어디서 얻느냐"는 질문을 받곤 했는데, 나는 아이디어는 자다가도 먹다가도 나오는 것이라 생각했기 때문에 대답하기 곤란했고 질문 자체에 의미가 없다고 여겼다. 근데 오래지 않아 이런 질문에서 말하는 "아이디어"와 내가 생각하는 "아이디어"는 다른 것임을 깨닫게 되었다.

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

I used to ask, when a guy was getting out of line with me: "How would you feel if someone treated your mom / sister / daughter this way?" or "How would you want your mom / sister / daughter to respond in this kind of situation?"

It's a way to reframe me, even though I'm a woman, as a human being who deserves respect and decency, not an object or an NPC.

But I think all these years I've been doing it wrong.

Instead, I now ask: "Would you treat your (male) boss or another high status man this way?" or "Would you behave this way in front of your boss or another man who wields power in your life?"

Because it was never about me at all. It's about whether they'll face consequences for their actions.

0
0
0
0
0
0