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

I’ve lost count of the number of events I’ve been to where the hosts talk about their conference, summit or convention as a community. Well, a community stands up — and speaks up — for its members. And it doesn’t put them at unconscionable risk.

robcottingham.ca/2025/04/u-s-b

0
0
1
0

Q. E. D. iff 증명종료(Q.E.D.iff-―証明終了―) 30권

정진명의 굳이 써서 남기는 생각 @jm@guji.jjme.me

서지정보

서명: Q.E.D.iff-―証明終了―
저자: 가토 모토히로(加藤元浩)
출판사: 고단샤(講談社)
출간일: 2025년 4월 16일
국내 발매 서명: Q. E. D. iff 증명종료

생각

『Q. E. D. 증명종료』 50권을 거쳐 『Q. E. D. iff 증명종료』 30권… 총 80권에 이르는 여정을 거쳐, 이 작품의 두 주인공 중 한 명인 가나는 고등학교를 무사히 졸업하고 대학에 진학했습니다. 다른 주인공인 소는 어떤가? 소는 거의 바뀌지 않는 타입의 주인공이지만, 인간관계를 통해서 변화하는 모습을 보는 것이 그래서 더욱 즐겁다고 할까요.

Q. E. D.는 작품을 거쳐서 등장인물들의 상태나 관계에 큰 변화가 없는 이른바 "사자에상 시공"인 작품이고, 추리물에서는 꽤 흔한 일이죠. 그런 작품이라 주인공들이 뭔가 강하게 흔들리는 에피소드들이 인상에 남습니다. Q. E. D. 증명종료 10권의 에피소드도 그렇고요. 지금 연재 내용은 에피소드 전체를 그렇게 할애하고 있지는 않지만, 비슷한 느낌입니다. 29권이 클라이막스였고, 30권은 에필로그에 가까운 느낌입니다. 이미 잡지에서는 후속작인 『Q.E.D. UNIV.』의 연재가 시작되었는데, 별 일이 없으면 평범한 사자에상 시공으로 돌아가겠지요. 일단은 이 타이밍을 즐기고 싶습니다.

대학 입시와 관련된 이야기가 많은 최근 권들인데, 대학 입시에 많은 것이 걸려 있다고 생각했던 수많은 한국인 중 한 명인 저도 이런저런 생각이 드네요. 이전 권의 에세이 에피소드라거나, 이번 권의 기부입학에 관한 에피소드, 한국 교육 이대로 괜찮은가… 아니, 생각이 너무 비약하는 것 같습니다. 뭐, 이렇게 생각이 이어지는 것도 재미있는 경험이기는 하지요.

Read more →
0

이제 Python에 검증된 암호화 코드 15,000줄이 제공됩니다
------------------------------
- Python 기본 해시 및 HMAC 알고리듬이 이제 *검증된 암호화 코드* 인
HACL *로 대체됨
- 약 *15,000줄의 C 코드* 가 HACL\*로부터 자동으로 Python 코드베이스에 통합됨
- 다양한 블록 알고리듬을 처리할 수 있도록 *스트리밍 API* 가 범용적으로 설계되어 검증됨
- *메모리 할당 실패 처리* ,
AVX2 컴…
------------------------------
https://news.hada.io/topic?id=20423&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0

Scorpi - 맥OS용 경량 범용 하이퍼바이저
------------------------------
- QEMU를 대체할 수 있도록 설계된 *모던하고 경량화된 범용 하이퍼바이저*
- FreeBSD의 Bhyve를 기반으로 하며, 장치 에뮬레이션 코드가 매우 작고 효율적
# 주요 특징
- *모던한 구조* : 구형 장치를 배제하고, 대부분 *VirtIO 기반 최신 장치만 구현* 하여 복잡성을 줄임
- *경량 설계* :
C 언어로 …
------------------------------
https://news.hada.io/topic?id=20427&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0

Scorpi - 맥OS용 경량 범용 하이퍼바이저
------------------------------
- QEMU를 대체할 수 있도록 설계된 *모던하고 경량화된 범용 하이퍼바이저*
- FreeBSD의 Bhyve를 기반으로 하며, 장치 에뮬레이션 코드가 매우 작고 효율적
# 주요 특징
- *모던한 구조* : 구형 장치를 배제하고, 대부분 *VirtIO 기반 최신 장치만 구현* 하여 복잡성을 줄임
- *경량 설계* :
C 언어로 …
------------------------------
https://news.hada.io/topic?id=20427&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0

movie spoilers

Den stygge stesøsteren (The Ugly Stepsister) [Norwegian with English subtitles]: you've presumably read or seen some version of Cinderella, but not like this. With a synthesizer heavy sound track in a good way, this is extremely comedic but also very gruesome. It's got some 1980s vibes, whether reminiscent of The Company of Wolves (red riding hood) retelling mixed with Jim Henson's The Storyteller, and earlier Peter Jackson gore comedy such as Bad Taste and sprinkle in something similar to The Substance and you'll get something like this I guess? It's hilarious and gory, and very much not about body positivity so much as body horror with a retrospective view of patriarchy and misogyny through the lens of the "male gaze" era when marrying a rich man (or Prince in this instance) might be your only hope of leading a life out of squalor? Apparently Emilie Blichfeldt's directorial debut, but I am guessing everyone will be expecting more awesome productions after having seen this.

Sinners: I saw this in 70mm IMAX film, because I could and I'm not really sure if it needed or benefited from that format particularly? But I also really dislike the Metreon where I saw it. Having written as much, there is one amazing scene in this movie which makes any other downsides forgettable. Sadly, the whole movie isn't like that one scene, and I don't understand why the KKK folks needed to be vampires too? Still, the audience cheered when the Klan head dragon (or whatever they're called) was shot. Vaguely non linear without being confusing, though I don't understand why some things were set when they were. The ending scene also seemed extraneous, but OK. Stick around for a musical number past the credits too. 2 hours and 17 minutes is kind of a long runtime, especially when that 5 minute scene is what made the movie for me, but it's not a bad movie even if it's not entirely my cup of tea.

劇場版プロジェクトセカイ 壊れたセカイと歌えないミク「gekijōban purojekuto sekai kowareta sekai to utaenai miku」aka "Colorful Stage! The Movie: A Miku Who Can't Sing" (Japanese with English subtitles): this is clearly marketed at a younger demographic than I am, with most (all?) of the protagonists being high school students basically. Some of them see glitched versions of Hatsune Miku, eventually in "Sekai" (kind of a virtual world? [note: 世界「sekai」is the Japanese word for "world"]) they talk about it with their VR Hatsune Miku, who conjectures maybe it's just some advertising but then some of the high schoolers see less glitched versions of the other Hatsune Miku who is apparently from a different "Sekai" and wants to know how their music connects with people, since she tries to sing and no one hears her. Eventually the other "Sekai" Hatsune Miku goes into the default world "Sekai" and the two Hatsune Mikus meet each other, but then there are shards from the not-connecting to people's Sekai Miku that the high schoolers touch and they are transported into her "Sekai" which is full of darkness and that Hatsune Miku singing through portals which have depressed overworked giving up individuals. Seem confusing? It is! It gets more confusing when that dark "sekai" spills out and suddenly the "default" "sekai" Hatsune Miku goes missing (along with maybe some other "sekai" Mikus we have never seen before until that disaster strikes) but it's all good because eventually all the high schoolers put on performances and everyone gets really excited and somehow the dark "Sekai" Miku is able to finally connect with her troubled individuals and inspire them to not give up and then all the other Mikus are returned to their respective "Sekai"s? Seem even more confusing? It is! But stay after the credits for even more singing. The audience seemed to like it, but there is so much better anime out there I wouldn't even know where to begin with recommendations because almost everything else I have seen is more my cup of tea. Even Kaiju 8 (which I watched earlier this week theatrically) which is basically just a compendium/compression of some TV episodes into a movie theater feature length format seemed more coherent.


0
0
0
0
0
0

사후 세계에서도 죽을 때까지 일하는 이야기 ridibooks.com/books/206600... "블랙기업의 과로와 괴롭힘을 견딜 수 없었던 여직원인 하쿠지츠 코히루는 스스로 목숨을 끊는다. 자살한 그녀가 도착한 곳은 천국도 지옥도 아닌, 화이트 기업이다?! 오로지 행복하게 살고 싶었던 그녀의 소원은 사후 세계에서 이뤄져 가는데…." 아무리 요즘 만화, 웹소설들이 사람들의 욕망을 저격한다지만 이건 정말 힘들어요...

사후 세계에서도 죽을 때까지 일하는 이야기 - 최신권 ...

1

📣 Phanpy folks using non-QWERTY keyboards, now you can test this keyboard-layout-dependant shortcuts on dev site 🙇‍♂️ github.com/cheeaun/phanpy/issu

For context, currently keyboard shortcuts are keyboard-layout-independant (`e.code`). E.g. for a Dvorak keyboard layout, the physical `c` key is mapped to `j`, so it's confusing. Now with keyboard-layout-dependant shortcuts, it will listen to the produced key (`e.key`) rather than the code (`e.code`).

0
0
0
0
0

喜歡當代藝術館的空間,
查了一下後才知道,
其前身為日治時代的建成尋常小學。

真是不意外了,
許多日治時代的建築物都很美。

0

I've been considering what to add in the next version of BotKit (v0.2.0) and wanted to share my current plans. After reviewing feedback and examining the ecosystem, I've identified three key features that would significantly enhance the framework's capabilities:

  1. Custom emoji support. This would allow bots to use server-defined custom emojis in their messages, making communication more expressive and allowing better integration with instance culture.

  2. Emoji reactions. I plan to implement both sending and receiving emoji reactions to messages. This provides a lightweight interaction model that many users prefer for simple acknowledgments or responses. This would manifest as new event handlers (like Bot.onReaction) and methods (like Message.react()).

  3. Quote posts. The ability to reference other posts with commentary is an important discourse feature in the fediverse. Supporting both sending quotes and detecting when bot posts have been quoted would enable more sophisticated conversational patterns.

These additions should make more capable while maintaining its simple, developer-friendly API. I expect implementation to involve extending the Message class and adding new Text processing capabilities, all while keeping backward compatibility with existing bots. Having built both Hollo and Hackers' Pub, I already have deep familiarity with how various ActivityPub implementations handle these features across the fediverse. I welcome any community feedback on priorities or implementation details before I begin coding.

1

I've been considering what to add in the next version of BotKit (v0.2.0) and wanted to share my current plans. After reviewing feedback and examining the ecosystem, I've identified three key features that would significantly enhance the framework's capabilities:

  1. Custom emoji support. This would allow bots to use server-defined custom emojis in their messages, making communication more expressive and allowing better integration with instance culture.

  2. Emoji reactions. I plan to implement both sending and receiving emoji reactions to messages. This provides a lightweight interaction model that many users prefer for simple acknowledgments or responses. This would manifest as new event handlers (like Bot.onReaction) and methods (like Message.react()).

  3. Quote posts. The ability to reference other posts with commentary is an important discourse feature in the fediverse. Supporting both sending quotes and detecting when bot posts have been quoted would enable more sophisticated conversational patterns.

These additions should make more capable while maintaining its simple, developer-friendly API. I expect implementation to involve extending the Message class and adding new Text processing capabilities, all while keeping backward compatibility with existing bots. Having built both Hollo and Hackers' Pub, I already have deep familiarity with how various ActivityPub implementations handle these features across the fediverse. I welcome any community feedback on priorities or implementation details before I begin coding.

0

I've been considering what to add in the next version of BotKit (v0.2.0) and wanted to share my current plans. After reviewing feedback and examining the ecosystem, I've identified three key features that would significantly enhance the framework's capabilities:

  1. Custom emoji support. This would allow bots to use server-defined custom emojis in their messages, making communication more expressive and allowing better integration with instance culture.

  2. Emoji reactions. I plan to implement both sending and receiving emoji reactions to messages. This provides a lightweight interaction model that many users prefer for simple acknowledgments or responses. This would manifest as new event handlers (like Bot.onReaction) and methods (like Message.react()).

  3. Quote posts. The ability to reference other posts with commentary is an important discourse feature in the fediverse. Supporting both sending quotes and detecting when bot posts have been quoted would enable more sophisticated conversational patterns.

These additions should make more capable while maintaining its simple, developer-friendly API. I expect implementation to involve extending the Message class and adding new Text processing capabilities, all while keeping backward compatibility with existing bots. Having built both Hollo and Hackers' Pub, I already have deep familiarity with how various ActivityPub implementations handle these features across the fediverse. I welcome any community feedback on priorities or implementation details before I begin coding.

1
0
0

赤城センセの記事かなんかで「50mmをレトロフォーカスで作ったら?」ってのに対してメーカーさんが「クソデカレンズになりますよ」って答えてたのを読んだ
クソデカ上等!ってやったのがZEISS

0

赤城センセの記事かなんかで「50mmをレトロフォーカスで作ったら?」ってのに対してメーカーさんが「クソデカレンズになりますよ」って答えてたのを読んだ
クソデカ上等!ってやったのがZEISS

0
0
0

이제 Python에 검증된 암호화 코드 15,000줄이 제공됩니다
------------------------------
- Python 기본 해시 및 HMAC 알고리듬이 이제 *검증된 암호화 코드* 인
HACL *로 대체됨
- 약 *15,000줄의 C 코드* 가 HACL\*로부터 자동으로 Python 코드베이스에 통합됨
- 다양한 블록 알고리듬을 처리할 수 있도록 *스트리밍 API* 가 범용적으로 설계되어 검증됨
- *메모리 할당 실패 처리* ,
AVX2 컴…
------------------------------
https://news.hada.io/topic?id=20423&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
1

還記得前幾天搜尋民調新聞時,搜出一整串“關稅導致罷免支持度降低”(大部分是親共媒體),心中是有一些煩惱。但昨天走過一整排的罷免攤位,看到大家士氣高昂且努力的樣子,想到他們都是沒拿錢的志工,內心頓時充滿感動與放心,覺得台灣還是有很多正常人XD
我蠻慶幸自己有來這裡走走,因為這次感受很不一樣,我是第一次在集會上喊中華民國萬歲,喊的有點彆扭,但也不是那麼難以說出口,內心那個分裂的國家好像正在慢慢的融合起來,這真的還要謝謝現在的國民黨,我們能報答的,就是努力的把他掃進歷史的塵埃,連回收都不要。

0
0
1
0
0
1
0
1