Hacker Newsnew | past | comments | ask | show | jobs | submit | BrittonR's commentslogin

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

reply


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....


For the first time I might be able to make a case for TLA+ to be used in a workplace. I've been trying for the last nine years, with managers that will constantly say "they'll look into it".


Microvm.nix with cloud-hypervisor


Me too


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.


Ohhh then I'm out of date.


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


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


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!


Thank you! Yes, Quadratic was built out of frustration from existing spreadsheets.

If a spreadsheet was built today... it would support modern programming languages, be fast, multiplayer from day 1, have a great API, speak with databases natively,

This is what we are building!


There is this:

https://lunatic.solutions/


Fastmail and Tailscale with Mullvad VPN


Isn’t that the aim of webassembly?


Not at all, WebAssembly is replacement of PNaCL browser vendors could agree on.

Then a bunch of folks, with some VC money, decided to make the second coming of Java and .NET with it.


Not really, as the filesystem you access from Webassembly needs to be in a sort of sandbox or container too.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: