Viewing profile — phmx

The Metals documentation includes instructions for setting it up with Emacs. I followed them, and everything works, including worksheets. https://scalameta.org/metals/docs/editors/…

The code we've shipped throughout our careers certainly wasn't reviewed only by us. It was reviewed by programmers with more expertise in the relevant area. That's a healthy and ef…

This reminds of a moisture farm from the Star Wars — https://starwars.fandom.com/wiki/Lars_homestead

On a tangential point, one thing that should definitely not be possible for apps these days is determining whether you enabled a VPN. AFAIK, it’s possible indirectly in iOS by enum…

Looks similar to the halting problem to me ( https://en.wikipedia.org/wiki/Halting_problem )

> Polynomials are for people who think AGI is "decades away." Je suis un polynôme

And https://en.wikipedia.org/wiki/Mottainai I guess

There is also a way to import a table from the STDIN (see also https://duckdb.org/docs/data/json/overview ) cat my.json | duckdb -c "CREATE TABLE mytbl AS SELECT * FROM read_json_a…

There's been a writeup on this topic by the Fly team -- https://fly.io/blog/docker-without-docker/

English translation starting from page 7.