HNHacker News
TopNewBestAskShowJobs

adjav

259 karma · joined April 4, 2021

submissionscomments
adjav··on Should JavaScript be split into two languages?
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"
adjav··on 25% of US/Canada trade depends on a single privately owned bridge
It's now owned by his son, Matthew Moroun.
adjav··on 25% of US/Canada trade depends on a single privately owned bridge
It's been proposed to reopen passenger rail through the tunnel: https://windsor.ctvnews.ca/cross-border-passenger-rail-servi...

Who knows if it'll actually happen, but it's good to see that someone actually thinking about it for once.

adjav··on Roc – A fast, friendly, functional language
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.
adjav··on Trying out C++20's modules with Clang and Make
According to cppreference (https://en.cppreference.com/w/cpp/compiler_support/20), MSVC has everything implemented. GCC is close but its modules support remains lacking.
adjav··on Trying out C++20's modules with Clang and Make
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.

[1] https://libcxx.llvm.org/Modules.html

adjav··on My Caste
They may not have talked about it to you, but that doesn't mean they didn't talk about it at all.
adjav··on If Web Components are so great, why am I not using them?
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.
adjav··on Battery-electric “Infinity Train” will charge itself using gravity (2022)
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
adjav··on TypeScript please give us reflection/runtime types
My understanding has long been that web developers have decided to turn Javascript into C#, one proposal at a time.
adjav··on Ottawa pulls advertising, escalating showdown with Facebook and Instagram
Given that's exactly what ended up happening in Australia I wouldn't be surprised.
adjav··on Ottawa pulls advertising, escalating showdown with Facebook and Instagram
> 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.

adjav··on Ottawa pulls advertising, escalating showdown with Facebook and Instagram
Note: This article is by the National Post, which is owned by PostMedia, who were one of the main backers of bill C18. Just something to keep in mind.
adjav··on Bill C-18: Google to remove news links in Canada over online news law
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.
adjav··on Bill C-18: Google to remove news links in Canada over online news law
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.
adjav··on Bill C-18: Google to remove news links in Canada over online news law
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.
adjav··on Programming languages going above and beyond
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.
adjav··on Texas professor fails entire class from graduating- claiming they used ChatGTP
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.
adjav··on Texas professor fails entire class from graduating- claiming they used ChatGTP
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.
adjav··on Wikipedia user edits over 90k uses of “comprised of”
That's like saying Classical Latin has been meticulously preserved. Technically true, but entirely irrelevant.
adjav··on Wikipedia user edits over 90k uses of “comprised of”
There is no "standard English." There sure as hell isn't a consensus that "comprised of" is incorrect, or it wouldn't have been used over 90k times.
adjav··on The seven programming ur-languages (2021)
ALGOL has certainly influenced the development of FORTRAN at least, with Fortran 90 and later fitting in pretty neatly amongst the various ALGOL-likes.
adjav··on Waterloo Style
Is the term 'data-oriented design' not widely known? That seems to be largely what is attempting to be described here.
adjav··on Why did 250k Britons die sooner than expected?
Britain did significantly worse than it's peer nations in that decline, though. Clearly the rate doesn't have to be this low.
adjav··on An East African Kingdom Changed T Roosevelt and the Course of American Democracy
It only mentions it in the first few paragraphs. Not the greatest framing, but it's a pretty interesting article over all.
adjav··on Mozilla solves the Manifest V3 puzzle to save ad blockers
It's not that the add-ons were slow, it's that the architecture built to support those add-ons made the browser as a whole inherently slow. Everything was quite siloed, and required a series of dynamic dispatches to accomplish anything. This allowed extensions to easily change lots of core functionality, but also meant that the entire Firefox codebase had become a public API, and practically any change made would break something.
adjav··on Stride – Open-source C# Game Engine
> Stardew Valley, Celeste, Bastion

Those are all games where the average frame time is so low GC pauses are basically irrelevant.

And Minecraft was re-written in C++ for a reason.

adjav··on HelloSystem – OS with original Mac philosophy with a modern architecture
Considering Wine and ReactOS exist, I assume that'd be doable.
adjav··on Beyond Functional Programming: The Verse Programming Language [pdf]
Well, a variable in usual Math usage, just not the traditional imperative sense.
adjav··on Rust Is Hard, Or: The Misery of Mainstream Programming
I will note that Rust has all of those features you mentioned. 1) Traits 2) You have to be explicit, by implementing the Clone trait, otherwise arguments are passed by reference or moved. 3) Rust has both RAII and linear typing, which is effectively a proven-correct form of moves - you can't access something that has been moved, unlike C++.

Rust doesn't have class inheritance, no, but often combining traits and delegating to a "parent" field works. Although sometimes that can be considerably more cumbersome, yeah.

Page 1 of 2Next →