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.

I was wondering why this sounded familiar and it's from 2011. Here are various things that have been invented along the same lines as Bret mentions.

* https://dynamicland.org/ - Bret Victor's vision, looks really cool * Kinect was released (November 4, 2010) a little before this article and presented another vision of future, but the market didn't think so * Oculus now detects hands and I'm pretty hopeful this will add more gestures and similar gait detection will be huge for interfaces

All in all, the incremental changes are starting to look more like what Bret is suggesting rather than purely "pane of glass"

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?

While the whole of Disney has now morphed itself into an Integrator in the past 6 years or so, there are parts like ESPN and Hulu that function as Aggregators and have to curate the content from elsewhere. In these business lines they have less of an ability to extract the 100% margin like Disney+. They’re dependent on NFL, NBA for the rights, and on Hulu for other studios to sell them the rights to stream the movies and shows. They attempted something closer to integrator approach at ESPN with X-Games but its scale dwarfed in comparison. I do like that Disney is moving ahead and integrating and building better content. It took them a lot of acquisitions and strategic planning to get here. When I worked there, it was a really hard sell to bring this streaming expertise in-house. I was relatively junior employee and didn’t realize that a company like Disney can just buy the best streaming platform that they’d been using, MLBAM and build their streaming technology around it.

If it's not a huge change I'd rather suggest a fix while I'm in middle of something so that I don't have to update internal company documentation + code comments for special cases. Comes with caveats of course, like I'm not going to spend a lot of time waiting to merge the PR for Amazon's docs. But given how many people use it, it's sort of for greater good anyway.

I for one, welcome this change.. assuming I can grep for what I'm looking for in the repos. Or maybe Dash will integrate the docs so I don't have to browse around on metered LTE networks.

Clearly they must be using Lync or Skype to coordinate fixing them too -- just can't find the right tab to resume the conversations.

I'm somewhat surprised. Why would Microsoft put weight into Deis vs use something like Kubernetes or Mesos? I haven't kept up with Deis's growth and I'm obviously very happy for them, but I'm curious what the gain is. Based on HN posts and other devops forums, Kubernetes eeems to have gained a lot of momentum recently.

nginx, haproxy, redis all support lua scripting to name a few.

How about this in OSX? echo "data:$(file -b --mime-type filename);base64,$(base64 filename)" | pbcopy

or for linux, your favorite variant of pbcopy using xsel or xcopy?

Not to say this isn't a great tool.

That one is owned by HBO still, you must be thinking of http://abc.xyz, which does contain a hidden link to http://hooli.xyz :)

This is really exciting move. I wonder if this would make compiling the .NET core easier in OSX and Linux?

Yeah, I'd still prefer Wireshark but this is useful to know about for a variety of situations where it'd perhaps be worthwhile to see something.. if only Microsoft just exported to pcap :P

Yeah, LICECAP is great. I have taken to using it for providing UI/UX feedback on Design. Just make the GIF, drag into github discussion for the issue or Pull Request. Done. :) It removes a lot of hassle of reproducing the errors for designers from verbal or written instructions. Keycastr is also a good addition to the set of tools, as it can show the exact commands you were entering too.

I think the key insight here is the availability of Message Analyzer app -- I haven't used it but that's a good alternative that's supported than the hoops you sometimes have to join to run Wireshark.

Oh wow, this is actually perfect if it takes off - open standards, and straightforward from what I can tell.

Interesting, the analysis of NewsWeek story is pretty much what I was anticipating. It seems the Genius ecosystem has grown a fair amount since last I looked at it. I'd definitely like an account. Messaged you on Genius.