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.

⚙️ Towards a reference QEMU for CHERI platform emulation: An update from the CHERI QEMU Working Group ⚙️

QEMU is one of the most popular open source machine emulators, with support for many CPU architectures, including x86_64, Arm and RISC-V.

As of January 2026, we are excited to announce that the CHERI Alliance hosts a reference QEMU implementation that supports multiple modern hashtag#CHERI platforms based on Arm and RISC-V. These include the Arm Morello platform, the CHERI RISC-V standard draft 0.9.3 and the University of Cambridge RISC-V ISA v9. The CHERI Alliance reference implementation is an important milestone for future development and integration of CHERI support in QEMU.

We expect 2026 to be an exciting year for the CHERI Alliance and the CHERI QEMU community as a whole. With no shortage of work in sight, we would like to encourage members of the Alliance and any other organisation interested in CHERI to check out the latest developments.

🔗 Find out more: cheri-alliance.org/towards-a-r

0
0
0
0
0
1
2
0

XFCE開發團隊最終也要推出自家的Wayland合成器了,用XFWL實現XFWM的功能。之所以弄新的出來,是因為若直接去改XFWM可能會落入像GNOME與KDE觸碰陳年程式碼的問題,所以另外做一個新的。使用smithay函式庫,以 開發。

最近的版本 4.20支援了Wayland,不過使用的是外部的合成器labwc。他們跟LXQT一樣允許使用者自由選擇要用的合成器。但是在Wayland的時代這樣做是很不明智的,這可不是X11讓你自由選擇Window Manager的了。Wayland有太多東西要靠協定通訊,必須要合成器積極支援才可以。否則會造成更嚴重的 碎片化。

alexxcons.github.io/blogpost_1

0
0
0
0

請問象友,台灣還有用多少算多少的手機資費方案嗎?目的是為了保留門號,資費愈低愈好

搬離台灣時用了台灣大哥大「4G 用多少算多少」的資費方案,當時覺得計算方式先算 99 再減免 99 有點奇妙,也沒多想,結果現在台灣大哥大開始亂算

m.mobile01.com/topicdetail.php

而且我好像還在小站上推薦過這個資費給類似需求的站友,覺得很抱歉

0
0
0
0
0
0
0

でも実際問題アイティー系エンジニアは反革命的存在なの間違いなくて、なんか資本が手元にある感じがするという意味で農民に近いんじゃないかとは言われてみれば納得しそう。あと、自己責任論強めの価値観がおおい。「おおいなる力にはおおいなる責任がともなう」とか自己責任論っぽいところかなりあるし。

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

I was listening to this podcast with Jeremy Alm, who said:

“My main dissertation result was a conditional result. And about four years after I graduated, a Hungarian graduate student proved that my condition, like my additional hypothesis, held in only trivial cases.”

(04:15)

kpknudson.com/my-favorite-theo

I picked out this episode (“In which every thing happens or it doesn't”) because I thought it was going to be about the ergodic theorem, and I would like to understand the ergodic theorem. But it turned out to be about the Rado graph. That's OK, I'm always up for some hot Rado graph action.

0
:garland_flag:​ ​:garland_flag:​ ​:garland_flag:

모카를 팝니다✨
플로우는 다 돈 것 같지만…

덕질 얘기 위주로 일상 얘기를 섞어서 잡다하게 떠드는 계정입니다. 친구가 되어 주시겠어요…?:blobcatflower:
자세한 사항은 고정노트 확인!
좋아요나 리액션 찍어주시면 선팔 드릴게요—!!
1
0
1
0
0
0
0

13. 선블레이즈 여러모로 셀레스트의 열화판. 셀레스트보단 제한된 무브셋을 가졌지만, 또 그것만의 맛이 있는 플랫포머예요. 대신 이 게임은 모든 스테이지가 한 화면 안에 다 들어오는 컨셉을 강조했습니다. 덕분에 셀레스트보다 퍼즐요소가 좀 더 두각되는 느낌이예요. 동선을... 정말 최적의 동선을 그리고 머릿속으로 시뮬레이션 하고 달려야 하는 게임이거든... 절대 한 스테이지를 클리어하기 전 까지, 중간에 쉬게 해주질 않습니다. 셀레스트가 상당히 피지컬 요소가 강하다면, 이건 뇌지컬도 챙겨야해요.

0

請問象友,台灣還有用多少算多少的手機資費方案嗎?目的是為了保留門號,資費愈低愈好

搬離台灣時用了台灣大哥大「4G 用多少算多少」的資費方案,當時覺得計算方式先算 99 再減免 99 有點奇妙,也沒多想,結果現在台灣大哥大開始亂算

m.mobile01.com/topicdetail.php

而且我好像還在小站上推薦過這個資費給類似需求的站友,覺得很抱歉

0
0
0
0
0
0

私は小学生のころ「人の心の中にこそ真実がある」と宮崎駿とかに教えられ、「ほんまか!」とひたすら検証しつづけたら、こうなったぞ。

無茶はやめなされ、と、いいたい。

0
0
0
0
0
0

Tesla quietly equipped its new vehicles with AI 4.5 computer. As they have always done, AI 4.0 vehicles will likely be left behind regarding updates, just as AI 3.0 was, while Elon continues to make lofty promises about full autonomy. electrek.co/2026/01/26/t...

Tesla quietly starts shipping ...

0
0