Forwarded from HN Best Comments
Re: Microsoft Office renamed to “Microsoft 365 Copilot app”
I genuinely thought this was a joke when I saw the headline, and I had to double check the domain name to verify that this wasn't a parody.
Apart from being absolutely abysmal marketing, the front page alone is wildly inconsistent:
* "Welcome to Microsoft 365 Copilot"
* "The Microsoft 365 Copilot app (formerly Office) [...]"
* "Microsoft 365 (formerly Microsoft Office 365) is a subnoscription service [...]"
Which is it, "Microsoft 365 Copilot", "(The) Microsoft 365 Copilot app", "(The) Microsoft 365 Copilot app (formerly Office)", "Microsoft 365" or "Microsoft 365 (formerly Microsoft Office 365)"?
I think Microsoft delegated all marketing decisions to AI. Not even joking.
ulrikrasmussen, 8 hours ago
I genuinely thought this was a joke when I saw the headline, and I had to double check the domain name to verify that this wasn't a parody.
Apart from being absolutely abysmal marketing, the front page alone is wildly inconsistent:
* "Welcome to Microsoft 365 Copilot"
* "The Microsoft 365 Copilot app (formerly Office) [...]"
* "Microsoft 365 (formerly Microsoft Office 365) is a subnoscription service [...]"
Which is it, "Microsoft 365 Copilot", "(The) Microsoft 365 Copilot app", "(The) Microsoft 365 Copilot app (formerly Office)", "Microsoft 365" or "Microsoft 365 (formerly Microsoft Office 365)"?
I think Microsoft delegated all marketing decisions to AI. Not even joking.
ulrikrasmussen, 8 hours ago
😁11🤡4😢2❤1
#prog #article
On 'function coloring'
On 'function coloring'
Exposing asynchrony in our programming model does create a distinction between two different kinds of functions. But that distinction always existed, it just wasn’t visible. It was just always handled on our behalf.
Tedinski
On 'function coloring'
How much of a problem is it to sharply distinguish between different kinds of functions?
👍5❤1🤔1
Йей, ещё один ваншот провёл. Игроки довольны и хотят продолжения — благо, оно есть.
Приятно.
Приятно.
❤9💩2🔥1🤮1🤡1
Forwarded from AlexTCH
We have a new, 7th (sic!) volume of Software Foundations: Security Foundations
https://softwarefoundations.cis.upenn.edu/secf-current/index.html
Topics include noninterference, security type systems, secure multi-execution, cryptographic constant time, and speculative load hardening. And that's not even all, as the volume is still in progress, and some new chapters are upcoming.
#free #book #verification
https://softwarefoundations.cis.upenn.edu/secf-current/index.html
Topics include noninterference, security type systems, secure multi-execution, cryptographic constant time, and speculative load hardening. And that's not even all, as the volume is still in progress, and some new chapters are upcoming.
#free #book #verification
❤10
#prog #article
How uv got so fast
How uv got so fast
uv is fast because of what it doesn’t do, not because of what language it’s written in. The standards work of PEP 518, 517, 621, and 658 made fast package management possible. Dropping eggs, pip.conf, and permissive parsing made it achievable. Rust makes it a bit faster still.
pip could implement parallel downloads, global caching, and metadata-only resolution tomorrow. It doesn’t, largely because backwards compatibility with fifteen years of edge cases takes precedence. But it means pip will always be slower than a tool that starts fresh with modern assumptions.
👍7
Блог*
#prog #article How uv got so fast uv is fast because of what it doesn’t do, not because of what language it’s written in. The standards work of PEP 518, 517, 621, and 658 made fast package management possible. Dropping eggs, pip.conf, and permissive parsing…
Also TIL что в стандарте HTTP есть способ запрашивать у сервера только части контента (range заголовок)
http.dev
HTTP Range Request
HTTP Range Request - Learn about http range request in this comprehensive HTTP guide.
😁3👍2🥴2