mulmboy

I believe SQLite generally uses Postgres as a reference

https://changelog.com/podcast/201

> JEROD SANTO

> ...Postgres, which you say you use as kind of a reference implementation of at least the SQL stuff.

> RICHARD HIPP

> Yes.

I've done it making caneles. If you're renting just boil some water in the pot and pour it down the sink :shrugemoji:

Google earth on mobile lets you load up local KML files, which I don't think normal maps does

> Twitter shipped NFT profile pictures and Spaces.

Don't forget fleets rip

How does this compare to what's offered by doit? https://www.doit.com/flexsave/

From my conversations with doit sounds like they offer a similar service in that doit acts as an AWS reseller (~~some billing magic) and they apply commitment discounts etc. and pass along a portion of the savings. doit also claim to throw in free cloud architecture and support consulting services as a value add.

Really enjoyed watching some guy Breathlessly discover data oriented design https://en.wikipedia.org/wiki/Data-oriented_design

there's nothing novel in this video, really nothing to do with clean code. This is same sort of thing you see with pure python versus numpy

How do you enforce the JSON schema?

As a counterpoint I find that nutting out the schema upfront is an incredibly helpful process to define the functionality of the app. Once you have a strict schema that models the application well nearly everything else just falls into place. Strong foundation

I wouldn't hire someone who showed me code from a previous employer

Unless that code were already public of course

Super cool! Nice and clean.

I had an idea to build something very similar a couple of years ago, but didn't have the skills/time for it.

What I built ended up being quite visually simple (, pragmatic,), but it's cool in that you can control some of the parameters of the differential equation solver to trade off between speed and accuracy. Mine also shows you where the bodies will go in the future, rather than just a trail of where they have been. And you can click and drag to add a planet with initial velocity and see how the entire system will react immediately and interactively.

I also implemented collision with conservation of momentum (the displayed body radius is much larger than the simulated radius).

https://jurasofish.github.io/gravity/

Doubtful that moving from vectorised pandas & numpy to vanilla python is faster unless the dataset is small (sub 1k values) or you haven't been mindful of access patterns (that is, you're bad at pandas & numpy)

This is cute but it seems that expressions spanning multiple lines are not rendered

OK:

$$\|\vec{x} - \vec{p}_c\| = v(t_c-t_0)$$

--

NOT OK:

$$

\|\vec{x} - \vec{p}_c\|

= v(t_c-t_0)

$$

This makes larger latex expressions pretty impractical e.g. https://github.com/jurasofish/multilateration/blob/master/re...

This just depends on how disciplined you are. We use a system where backend errors are logged to slack, and then we treat addressing the source of the errors as an immediate priority. Keeping the SNR high is a priority. Plus generally being very selective about what goes into the channel.

I'd question whether it's really a dark pattern. Seems like a benign way of monetizing their articles. A little annoying, sure, but nothing "dark", nothing misleading

I've been using CBC via python-mip (https://github.com/coin-or/python-mip). It's great because it's got a super clean interface (milp variables/expressions/constraints), the code is quite accessible, and it's low overhead which makes it good for solving many very small problems.

Community sentiment seems to be beginning to shift toward favouring the HiGHS solver (https://github.com/ERGO-Code/HiGHS) over CBC. Something I'm keeping a close eye on.

nextmv seems to pitch itself as a generic solving ("decision automation") platform or something (unclear). But it seems that the only fleshed out product offering is for vehicle routing, based on the docs. Are there plans to offer, for instance, a solver binary that can be used to solve generic problems?

Also all the github repos under https://github.com/nextmv-io are private, so links from docs are 404.

Interesting take,

> Some people just like the infra work

I think AWS improves infra work. Using CDK is a joy - primarily because it's clean, simple, and reproducible once you have stuff up and running. But the process of getting stuff up and running is its own kind of drug, it's a serious puzzle (unless you really really know what you're doing) which I find really rewarding to solve. I'm a pig in mud with CDK.

Compare that with traditional infra work and I immediately start to worry about how to make sure that everything is provisioned correctly, that other people on the team aren't messing things up, how I'm going to implement zero-trust type auth without something akin to IAM, how I'm going to implement monitoring without the monitoring system becoming its own beast....

Does anyone know an adblock rule to filter out HN articles telling me to buy an on-prem server to replace AWS? Seriously though, why are valueless bait articles like this so popular here? Is it collective satire that I'm missing? Is "you don't need AWS" a trendy counterculture thing? I could swear I've clicked through to equivalent articles at least five times from HN.

They can include a local timezone. Sometimes there's a big difference between 12am in UTC+0 and 3am in UTC+3 despite representing the same instant in time.

Sounds interesting and perhaps novel. Might help if there were an example or two in the readme - as it is I still don't exactly know what this is.

I've found that using construct() to skip validation is great when a model has e.g. a `List[float]` attribute with a length of 10k+ items. But this has to be done judiciously.

https://pydantic-docs.helpmanual.io/usage/models/#creating-m...

In the case of GeoJSON it might be worth using a custom data type with specific faster validation.

https://pydantic-docs.helpmanual.io/usage/types/#custom-data...

LaTeX has the massive (!!1) advantage of being trivial to put into version control.

I wonder how they incorporated that into their productivity metrics

As an aside, I have used a workflow where I give someone a a paper to review as an overleaf project, they make all their changes, and then I merge it back into my work picking and choosing the bits I want. And this all works fairly nicely since overleaf has support for git.

> it's often better to just use uvicorn and add more containers to your API to scale up

Why is that?

what does "hauling rear-end" mean? genuine question. I googled but it's all predictably cars

Do you know of any credible source for Amazon forking postgresql? I did some googling and can certainly find lots of people saying it, but nothing authoritative from Amazon themselves.

Isn't AWS Aurora PostgreSQL a completely different (but compatible) product to PostgreSQL? If so it would make sense that its ability to handle many connections is just an implementation detail

> ... it is a well-known type of problem, called a multiple integer program (MIP)

Is this meant to be "mixed integer program"?

Nice read. I find this especially interesting as I'm familiar with everything you've talked about here except only in Australia (AEMO). What you've written is like a parallel universe to what I know - very similar, but distinctly different.

Same thing for me. I last changed my master password on Oct 4 2021. password never used elsewhere and stored only in my head, which makes me suspect a bad chrome extension.

``` Someone just used your master password to try to log in to your account from a device or location we didn't recognize. LastPass blocked this attempt, but you should take a closer look.

Was this you?

Account xxx@xxx.com Time Monday, December 27, 2021 at 12:06 PM EST Location Berlin, BE 12529, GERMANY IP address 196.19.169.161 ```

The GameHut channel does a lot of similar videos on how old video games squeezed the hardware. Super interesting

https://www.youtube.com/watch?v=JK1aV_mzH3A

https://www.youtube.com/watch?v=gRzKAe9UtoU

What's novel about this? And why use it over any of the more polished/simplified offerings like netlify?