pvsnp

Yes. Probably could’ve written it better but I’ve not poked around F* in a while and I was writing on my phone. Say you’re calling an external function implementation in hardware, being able to express those interfaces as external makes it viable to use F* vs assuming everything is open source and introspectable.

I liked being able to express calling external libraries while incrementally migrating existing C codebases to F*. Very solid language.

Shouldn’t this be called SSH over HTTP/3?

I've wanted many things from shell but never to write Haskell in Shell. This turned something relatively naturally expressible into something so complex that requires type theory

Funny, I just learned this this week too and had it generate an ics file from an excel file. Then I realized there might be bugs, so I asked it to write program instead.

This is very cool. I've been waiting for something like this for a while. Since it's so new, are you allowing any hackability like ReMarkable? I'd like to use it instead of Amazon Scribe and integrate against it but $729 is bit steep if it relies on an external service or something.

Oh, since it's Android under the hood, I see that kindle just works?

how's the battery life?

I think this makes sense for Apple to also provide the cloud capabilities similar to NVIDIA DGX so that any AI models that are targeted to Apple chips can run scaled up in data centers but Apple owns the front end for it as well as any ongoing optimizations

I agree. This would’ve likely saved me a lot of time that was spent on trial and error but now it’s not new. But this is great reference to forward to new folks getting started.

Don't do this. I see these names as just obvious ways to describe what things do like variables. I wouldn't want to be reading code like ``` beeblebrox = zaphod + trillian ``` similarly names of services in architecture diagram shouldn't be undecipherable (outside of perhaps ultra secret projects -- then maybe those agencies should have a name generator :) ). The cute names even if based on some theme get very old and the cultural context almost always gets lost once the company/team outgrows. Also it's a much easier to refactor away a new service if lets say you find yourself adding a completely unrelated feature to a service named "accounting" or something boring,whereas if you named it "hades" or something cutesy, you don't have any indicator whether the feature has outgrown. I've found it much easier to deprecate/sunset services and systems when they're obviously named too. One exception I'd say is when nicknames just arise and it becomes obvious to call it that. It's very rare and it happens. Borg at google is perhaps a good example here. It's so all encompassing that it's obvious what it means and calling it another name like "container orchestrator" or something similar perhaps doesn't have same gravitas. I think Microsoft had something called Autopilot which is even clearer but not it can be applied to many things.

Parent organization is still General Motors, they just operate independently

Wouldn’t Microsoft have had to hire Linux sysadmins to run azure products?

Hah wow, this makes me doubt the person really understands bitcoin. The puzzle is a mathematical thing, AFAIK nobody’s poring over mysterious message drops from Satoshi like people do for Q. The article doesn’t mention Ethereum or heck even ESG concerns. I’d buy the argument that it’s a cult much like Communism is a cult, an idea taken to the extreme that’d cause lot of pain but the way it is written is sloppy.

>Though its lack of a single leading figure and its amorphous online footprint marks it out from traditional cults, some say the cryptocurrency movement bears a striking resemblance to another progeny of the digital age: the QAnon super-conspiracy.

> “Both have doctrine passed down by a mysterious unknown founder, puzzle-solving, and internet meme culture and lots of predictions about politics/economics that are completely unfalsifiable,” says Diehl. “They’re both rooted in this ideology that claims to oppose a common enemy: corruption and untrustworthy intermediaries, and both see the internet as the way to finally eradicate those problems in some great apocalyptic event.”

Haha

> Must include considerable time spent within the Infinidash lifecycle (OpenDash acceptable). Infinidash is at the core of everything we do.

Why yes, I have exactly this skill set

Aren’t canonical and other distributions upstreaming changes to Debian?