PNaCL was essentially "let's shove LLVM into every browser and make it a mandatory part of the web", which somehow seems even worse than "let's shove the JVM into every browser and make it a mandatory part of web"
Not really, no. Like Elm, it strips away practically everything that wasn't already in 1970s-era ML. It's much closer to a trimmed-down Ocaml than it is to Haskell.
Clang 18 supports `import std;` now, but you need to enable some build settings [1]. Also has `deducing this` support, which is nice - I am fully in favour of C++ continuing to poach the good parts of Rust.
HTML imports required JS to be used - otherwise all you had was a `link`ed DOM tree that you couldn't access. No one has really proposed a way to dynamically load anything without JS AFAIK.
Yeah, but that does require a fair bit of additional infrastructure, running overhead wires and having it connected to the power grid. Makes sense in populated areas, but for mining trains in Australia, potentially 1000s of kms from the nearest city? This seems like a reasonable alternative
> The right one is a tax that funds a subsidy for news.
The thing here though is that the Canadian government already does this. I really don't understand their logic with introducing this fee vs just raising the existing subsidy directly.
Reddit and Apple News will have the law applied to them as well, since the law doesn't include a list of sites affected, just the criteria under which affected sites fall.
Oh no, it's not just Google and Meta. That's how it's being presented, but it's actually whoever the CRTC wants to charge. They can and will change the list at any time, with no need for oversight.
Yeah, the biggest winner under the Canadian law will be the American hedge funds who own PostMedia, the company that owns the vast majority of Canadian newspapers. But that's good apparently, since at the least the money doesn't go to those icky tech nerds.
You might want to look in Lean 4 at some point too. A lot of work has gone into making it's theorem solving ergonomic and approachable for average programmers.
The Reddit OP posted the prof's name, they really are an agricultural sciences professor at Texas A&M. If this is made up then it's one hell of a way to defame someone.
It can certainly make up things that look like citations. It definitely cannot produce a series of valid inline citations for specific quotes, rephrasings, or statistics.