japborst

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 :)

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.

RIP Popcorn Time. It was fucking amazing.

Yeah, I think the Spring folk typically like running ORMs and don't want to get their hands dirty on SQL.

Whereas the Python folk are often used to running SQL manually, so like less of the magic?

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?

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.

Impressive speed performance! And love the magic, like wiring services and repos.

Not super sure about the magical SQL queries OOTB, but that might be a preference thing.

Lots of docs too, great job!

(This also triggered a question in me: should Astral also support/write a web framework?)

How do you see this compare to things like Amazon Bedrock, where it runs OSS in my own infra?

Exactly! The huge benefit is that you're just writing before/after Java code, so not regex or other complex AST code.

For an avid Excel/GSheets user and programmer, this is amazing! When is a GSheets version coming ;-)