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

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!



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.


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


Great advice on that site.

“If you’re really only looking for a general recommendation, just buy the Dreame L10S Ultra. It can do proper mopping, has an auto-empty-dock, obstacle avoidance, a rubber brush to better deal with long hair, it can detect pet waste, it’s priced competitively and it’s also rootable without doing too scary things. Basically it ticks all the boxes.”

Here’s a list of all supported robots:

https://valetudo.cloud/pages/general/supported-robots.html


As much as I like the L10su (recommended it to a friend and put Valtudo on it for him), caveat emptor: The ultrasonic sensor used for carpet detection is prone to fail. Most detect no carpet anymore (and proceed to mop it), others detect it everywhere (and don't mop anything anymore).

You should be prepared to sending it in for a warranty repair, probability for failure seems to be 5 to 10% from what I notice on the Valetudo telegram channels. Check Google for other peoples experience with Dreame repair centers. He replaced the sensor himself, but that breaks the warranty seal.

Others than that, he's absolutely happy with it.

Check https://valetudo.cloud/pages/general/buying-supported-robots... for the list of recommendations. I've a L10pro myself and it works well, too. But looking at the prices, I'd get a D10s plus or pro myself these days (that is, if the L10su wasn't an option, since it has the superior feature set; I'd be willing to take the risk with the sensor and just swap it).


Thanks! Any idea where to get the replacmemt sensor if I needed one. Also is it difficult to replace?


Uh, I think my friend ordered one locally and (because that was the last one in stock) another one for his parents from AliExpress.

I didn't do the replacement, but it seems reasonably simple - the cylindrical sensor unit has a cable with a 4 pin connector and is clipped in place.

The new one doesn't look exactly like the old one and had different makings. I hope this means it now doesn't randomly fail.


> priced competitively

900€


The MSRP for its competitor, the Roborock S8 Pro Ultra, is $1,599.99.


This is the way. I have a Dreametech Z10 Pro running Valetudo and integrated with Home Assistant. It works really well - better than I'd hoped it might.


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

Search: