Because it’s the default. And you can’t beat MS’ distribution

Cool! Have been waiting for a libghostty client on Android.

Would be great if I could just download this from the appstore btw instead of manual apk downloads :)

oh yeah, i need to do this soon tbh. it will be available on play store and fdroid soon.

Paywall :/

MONUMENTAL | https://www.monumental.co/ | Amsterdam, The Netherlands | Full Time | Onsite We make robots that autonomously construct buildings. We are currently developing and manufacturing our autonomous bricklaying system in the beautiful centre of Amsterdam. And our robots are already earning real revenue operating on construction sites all over the Netherlands.

We're looking for experienced software engineers for many roles. You can help us solve problems like:

- Data sync and analytics queries across a fleet of robots (that can be offline for hours at a time)

- Modelling buildings in code and finding the right UI for operators to edit them

- Designing systems for robots to drive safely and fully autonomously around a building site

Check out the progress we've already made on Atrium, our operating system for robotics: https://www.monumental.co/atrium

We're rapidly scaling up operations and we need experienced engineers who can build the systems that manage all of that complexity. If you think that 'full-stack' could reasonably mean debugging firmware, mixing buckets of mortar _and_ writing React components, we are looking for you. Robotics experience not required!

https://www.monumental.co/jobs

I can see that. Pydantic is great but relatively slow (which matters on edge devices) and can be bloated.

The fact that all your projects use Pydantic makes it an easy starting point and created standardisation - of course.

Nevertheless, I can definitely see some use-cases for lightweight JSON-serialisation without bringing in Pydantic. Dataclasses are great, but lack proper json handling.

Cool!

I wonder if this isn't toooo much magic. How does this scale beyond simple use-cases? I fear one might hit a wall at 80%, where the first part is super easy indeed but not customizable enough to get to 100% of all use-cases.

Thanks! It's a great point to make. Early on I worked on a "migration" ability for the resources, so that every change you make automatically updates the underlying database. But the longer I worked on that, the more I realized I could create/delete as many APIs as I wanted working out what's necessary. Then scale it up for longevity. And the time it took to create/delete APIs was nearly as fast as some of the build times I've experienced for front-end applications.

That's ultimately what I think the value is: API development as hyper-iterative as front-end apps.

I'm still clearly working out how to describe this value. I'm developing more examples to help define what I think the best use-cases are.

RIP Popcorn Time. It was fucking amazing.

Is it actually gone? I found official looking sites on a quick Google.

could we not bring back popcorn time if it goes over to decentralized github : https://radicle.xyz/

its strange how we can't just build software that then works for ever. The emulation boys got something going but netowkred software unlikley

Love this! Finally something happening in this space. dbeaver was the best, but it's so so ugly and old. I love Datagrip, but no free version.

Please have good formatting of SQL queries - like Datagrip. Very little open source SQL formatters out there, so might require something custom.

And very much waiting for Snowflake support (incl. OAuth)

What tech are you running under the hood for this? Is this similar to entity detection using BERT?

just regex filters

I like this!

Overall love the DX with Claude Code in my vscode (kinda hate all the CLI only approaches the rest have), but would be great to still utilize other models.