thoradam's comments

[MailMate](https://freron.com) is great.

It is true that I don’t this publication. I also don’t know the author or what The Manhattan Institute is. In general unless a piece of text is asking me to take something on faith or I am unable to reason with it I don’t care in the slightest who wrote it, where it was published or what their affiliations are.

I haven't tried Remix but I can relate to Next.js being too much magic. I've had errors in `getServerSideProps` that happen on the server and then again in the client, causing a client side error instead of simply rendering the 500 page. I've accidentally bundled server code in the client because there's no clear separation. The automagical client side navigation with <Link> has caused scroll position to be forgotten when navigating back.

I recently tried Deno Fresh and it has made many different choices that I resonate with:

- "When you create a route, all of the components used are rendered on the server. No javascript is sent to the client, unless you specifically include something from the /islands/ folder."

- "For stronger resiliency and user experience, Fresh relies on native browser support for form submissions with the HTML <form> element."

For example a route that renders a form and accepts a `POST` with that form is trivial, which amazingly can not be said for many server side React frameworks.

Tin foil — third parties can be passkey providers: https://blog.1password.com/apple-passkey-api-wwdc/

> This whole thing would have been much better if they’d positioned it as a work and personal entertainment machine

Honestly most of the presentation had this exact vibe for me. That the Vision Pro is directly positioned as a device for deep immersion, like movies, gaming, and engrossing work. The two exceptions I remember were those moments where a person plopped their Vision Pro on to take a 3D moment of their children and the one where a person answered a FaceTime call with the Vision Pro while packing their suitcase. I don't see those moments happening in reality with this sort of device.

If you're talking about coverage in the usual sense (% of lines that were executed), it's pretty much useless. Here's an example of 100% test coverage in that sense:

  add a b = 2
  test_add = assert_equals (add 1 1) 2

A more useful definition of coverage would be the entire possible state of the program, but this is tantamount to a proof, which is a really hard problem for programs in general. Property based testing, e.g. QuickCheck[1], gets us close, but it is often hard to come up with the right properties.

[1]: https://hackage.haskell.org/package/QuickCheck

See also https://www.unison-lang.org

> It does more than that. It understands how to do basic math.

It doesn't though. Here's GPT-4 completely failing: https://gcdnb.pbrd.co/images/uxH1EtVhG2rd.png?o=1. It's riddled with errors, every single step.

This is a recommendation for another Apple Arcade game. The only gain for Apple if you click this notification is if you get the game, like it, and continue to pay for Arcade. This is like taking a screenshot of Netflix's "Top Picks for You" list and saying they are ads. This notification is not from the game you're playing but directly from Apple. There's no way to ship a game for Apple Arcade if it includes ads, interstitials or in-app purchases, that's the whole point.

> the decision not to include various MLs, OCaml, Scala, or F# in the chart of functional languages seems controversial

I don't know why that would be controversial. There's a very clear distinction between (MLs, OCaml, Scala, F#) and (Haskell, Elm, PureScript, etc.).

> Without this expansionist step from our side the situation would have never escalated.

Where do you put the annexation of Crimea in this timeline?

ReasonML isn't pure FP.

> You might later find that something that took you 5 lines is a standard abstraction ready to be re-used.

Such a great point and perhaps one of the biggest challenges as languages allow increasingly reusable and powerful abstractions. I would love to have GHC tell me something like "this piece of code here has a signature that is familiar, you could probably make this fit into {list of abstractions}".

This is one of the best qualities of languages like Haskell, the type system promotes discovery and true reuse of code. There has even been research into specifying dependencies as 'something that implements this signature' rather than specific packages.

This really isn't that complicated, he had views that the community was overwhelmingly against, hence he was not qualified to serve as CEO. The community did not fire him.

Also, there's a fundamental difference between the two views you juxtaposed. One suppresses the freedom of others, while the other promotes it. You can't really be intolerant by being against intolerance.

They mention annotations, presumably type annotations? Is that actually a part of ES6? I can't find any mention of it.

Which reminds me, wasn't ECMAScript 6 supposed to be finalised in December[1]?

1: http://en.wikipedia.org/wiki/ECMAScript#ECMAScript_Harmony_....

I don't recall any other incident. By the way the only armed police force in Iceland are the special forces. Regular police officers and agents are not armed.

If you select JavaScript as the regex implementation it seems to do the work client-side.

I can't tell if mine is also sad or just sporting a killer moustache https://identicons.github.com/thoradam.png