Ask HN: Are there any publicly traded companies that specialize in RISC-V?2 points·by BrittonR·6 anni fa·0 comments
BrittonR·6 mesi fa·discussThanks for sharing, I’ll print this out to try. What’s the license in the pcb and switches?
BrittonR·7 mesi fa·discussThis 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 anni fa·discusshttps://forgejo.org/docs/v1.20/user/actions/https://docs.gitea.com/usage/actions/overviewBoth have “Actions” that are act based and very similar to GitHub Actions and offers some compatibility.
BrittonR·2 anni fa·discussI feel like this is how a lot of the Nix community and Elixir community already functions.
BrittonR·2 anni fa·discussCongrats 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 anni fa·discussMany models can be hacked to run https://valetudo.cloud which is completely local. I’m using it with a Roborock S5.
BrittonR·4 anni fa·discusshttps://www.youngmoney.cohttps://tldr.techhttps://tldr.tech/cryptohttps://doomberg.substack.com/https://www.bloomberg.com/opinion/authors/ARbTQlRLRjE/matthe...
BrittonR·5 anni fa·discussI think the majority of people use a Raspberry Pi. Personally I use Pi4 with a SSD running Ubuntu. I run Home Assistant using Docker.