BrittonR

6 เดือนที่ผ่านมาdiscuss

Thanks for sharing, I’ll print this out to try. What’s the license in the pcb and switches?

7 เดือนที่ผ่านมาdiscuss

This is how I’m also developing most of my code these days as well. My opinions are pretty similar to the pig book author https://martin.kleppmann.com/2025/12/08/ai-formal-verificati....

BrittonR

2 ปีที่แล้วdiscuss

Microvm.nix with cloud-hypervisor

BrittonR

2 ปีที่แล้วdiscuss

https://forgejo.org/docs/v1.20/user/actions/

https://docs.gitea.com/usage/actions/overview

Both have “Actions” that are act based and very similar to GitHub Actions and offers some compatibility.

BrittonR

2 ปีที่แล้วdiscuss

https://js.wiki/ is what we’ve decided to go with at my company.

BrittonR

2 ปีที่แล้วdiscuss

I feel like this is how a lot of the Nix community and Elixir community already functions.

BrittonR

2 ปีที่แล้วdiscuss

Congrats on the launch! I was just looking at the Multiplayer PR earlier this week and was hoping it would be released soon. I’ve always been frustrated with Excel and you’ve built a product that I’ve legit dreamed of for years.

Thanks for building in CO!

BrittonR

3 ปีที่แล้วdiscuss

There is this:

https://lunatic.solutions/

BrittonR

3 ปีที่แล้วdiscuss

Fastmail and Tailscale with Mullvad VPN

BrittonR

3 ปีที่แล้วdiscuss

Isn’t that the aim of webassembly?

BrittonR

3 ปีที่แล้วdiscuss

Many models can be hacked to run https://valetudo.cloud which is completely local. I’m using it with a Roborock S5.