Viewing profile — jhvkjhk

> “CHERI is not an extension; CHERI is a new base,” Asanović clarified to the keynote audience. > Addressing concerns that creating a new base ISA might fracture the open-source co…

Or, org mode.

Here's an example of such ActivityPub server that can be hosted on Netlify, and save JSON files to your blog repo: https://github.com/sinofp/lesspub

There's also https://github.com/zyedidia/eget , which is also written in Go.

It seems that this project has been taken over by other people. The latest commit is just two months ago. https://github.com/Haskell-Things/ImplicitCAD

It's great to collaborate on code in a P2P way. I think in the end, we also need a way to share binaries in a P2P manner using Git (so we can track history with the beloved Git). M…

Pandoc can also do this: https://gpanders.com/blog/write-your-own-man-pages/

I love the colourful low poly logo!

To me, Godzilla sounds way more interesting than a mere fox.

I don't think a beginner should use Home Manager, because that's an extra layer on the already not-beginner-friendly Nix ecosystem.

Parse it recursively.

May I ask what's the point of attaching a standalone computer to a raspberry pi?

I fell in love with it immediately after I clicked the button that say its name.

I have a Indonesian Chinese friend who has strange name. She said her parents made up her name preventing the massacre against Chinese.

rclone looks promising, but last time I tried it, it was very slow compared with sshfs.

Ha, I guess ledge-like users are the only group caring this topic. Thank you, Ada gave me an ancient feeling because they chose the first programmer's name. It seems to have modern…

It's on my TO-DO list!

Cool. I always want to write my own beancount-clone with budgeting. How to deal with precision easily is one of the obstacles; now I wish I can write Ada!

I personally use Ultrasonic. It doesn't look as good as Symfonium, but it's usable and open source: https://gitlab.com/ultrasonic/ultrasonic

I wanted to style my RSS page for non-tech readers, but I thought I need to return XML or HTML based on HTTP Accept header, therefore not possible for my static blog. It's good to …

The author developed some games. Maybe the goal of fe is to write game scripts.

I'm curious what's the point of a public-access Linux. Is that supposed to be a chat room with command line interface?