thepete2

Besides Tex there is also git. Written only as a SCM for the linux kernel it went on to be used basically anywhere.

Yes, that's terrible. The finished text was not corrected in that time, was it?

Actually the trapped without internet thing makes me think. Why not do some sort of dead-man-switch? I.e. when you haven't committed (or been online) in X months the project is transferred to your successor.

Not easy to set up. But perhaps easy to maintain

Your edit to google maps is a competitive advantage. Your edit to OSM is a public utility.

No and that is IMO the point of using OSM in the first place. The data is public and free for everyone and if you contribute there's the possibility of other services adopting your change. I know that mapbox integrates osm data, Google and Apple might too.

Cool. I suspect this model will mostly work, but only if the price of the app is low enough to not justify a lot of inconvenience by compiling it yourself or maybe getting it from f-droid. I like this model a lot, apps like OsmAnd do the same.

apparently co2's density is only slightly higher than the other gases, so they all mix. Otherwise all of the atmosphere's co2 would be at ground level too, wouldn't it?

Don't swift and rust share a few of these things that make it "feel right"? With rust the whole ecosystem thing seems to be a lot better. Also rust has C(++) interop (so you have every library you could wish for), does swift not have that?

Out of curiosity: Is the first OCR example really the best you can find? Is there no open source solution that outputs good results for handwritten notes?

I think the point is that him sending out notebooks (he only has 100 of) doesn't scale.

it has it, says so right on the page

Agree. I particularly hate advertisements in public spaces. I often consciously try to avert my eyes, it's like pollution to me, just visual/mental.

I don't know if this is a thing, but chess players might also steer the game in a direction/position which their opponent hasn't studied much, but they have. There's a "social" side to this seemingly "mathematical" game, no?

It states that amazon deforestation is driven by demand for beef and leather. Presumably leather is easier to transport and hence global leather demand plays a role here? Just a guess though.

I find the Markor app (open source) great for editing text files, you can also customize it quite a bit. Then for uploading possibly syncthing would work.

(I do this to sync my text files between my PC and phone, works great)

You're right. I'm so annoyed by firefox changing its interface every once in a while instead of coming up with a good one that they can actually keep stable for years...

price

possibly security

free software (if one cares)

many, but not all of them

I believe the option is only shown if you are offline, so you need to disconnect from the internet.

Yes. It seems a more powerful cpu was the most requested improvement to the original Pinephone. I'm glad they listened.

I mean, couldn't you dual-boot android on this thing? Or is the SoC not supported?

and if you're a developer you can get it even earlier

https://preorder.pine64.org/

I also appreciate their honesty when it comes to software maturity:

> While mobile Linux isn’t in a state that could satisfy most mainstream electronics consumers, we recognize that a sizable portion of our community is ready to make the jump to a Linux-only smartphone today.

"Tasks such as opening applications, browsing the internet, interacting with the user interface or watching videos are on par with recent mid-range Android smartphones."

If this holds true, I'm truly excited

That comparison is a bit off though, because exposing the mayor's corruption doesn't put other people and their data at risk.

I know there's Syncthing lite, but is there a way to "browse" your synced folders (without actually syncing) and then mark them for syncing to the phone? I'd love it if I could do that because my phone's storage is obviously limited.

not really, there's postmarketOS. Although only a handful of devices work well, you can still get some use out of many phones.

My first though was "Why would I ever enter my wifi credentials into a web form?", but perhaps there are people who would...