nymalt

I used Lean for AoC last time and it’s really good.

I've got the X3 (not having a usb-c hasn't been a problem at all for me). And I'll probably buy whatever they release next if the price keeps being in that range. The only thing I want is probably a better display (as in whiter, more DPI, colors), yeah and the battery life is awesome, I barely have to charge it at all, I don't want this to change! I really wish they just keep improving on quality of what's already there and not add new things like touch screen, android and whatnot.

Not upgrading my personal iphone/macbook and I wish I didn’t upgrade my work iphone/macbook (unfortunately I had to)

For the first time in 15 years I am considering to not buy apple as my next phone/laptop regardless of the specs.

That's clever! But I still want JS to get the actual pipeline operator.

Looking at it and... it's just a style that makes perfect sense!

Wondering if this is going to make Threads availble in Europe.

Just one thing I hate about Copilot is how it needs to be updated two times a day.

This is how I understand the whole heohaskell thing: some guy comes out of nowhere, spends some time picking fonts for neohaskell's website and then starts churning out github-tickets for this-is-what-a-better-haskell-is-supposed-to-look-like instead of actually doing stuff :)

> Surely whatever money these guys spend buying these zero-days, Apple is rich enough to increase their bounties large enough to attract them to right side instead?

Apple is a commercial organisation with a sole purpose of generating profit. And the bounties are at their equilibrium points already (or at least supposed to be). Apple is rich enough sure, but they will only spend money if this makes Apple even richer.

There was a nice comment Prime made that it's not only about the ownership model, many people come to Rust for it's type system.

I have a feeling that far too many people go do Rust while what they actually need is OCaml - it's fast, has a nice type system and you don't have to think about lifetimes.

Reading comments here about Tesla Y. And my impression is that the build quality and everything got substantially better over the years.

re famous Elm error messages. This one I got when I was learning Elm 4-5 years ago.

  Elm uses a different name for the “not equal” operator:
  
  5|   text "Hello!" != "balbla"
                     ^^
  Switch to (/=) instead.
  
  Note: Our (/=) operator is supposed to look like a real “not equal” sign (≠). I
  hope that history will remember (!=) as a weird and temporary choice.

Wondering if it is just me, or it really is passive-aggressive? It was the first red flag for me.

upd: formatting

But was it quiet in Switzerland? I read a lot about the poor quality of their apartment blocks, to the extent that one could hear their neighbours just talking.

Didn't Russia (last month) threaten Finland/Sweden with 'consequences' should they decide joining NATO? Wondering what would those be. Putting both countries in a new list of 'very unfriendly countries'?

What they didn’t tell you in the article is that a lot of householdings in Oslo use firewood to keep their houses warm during the cold season.

People unloading firewood from their Tesla X/Audi e-tron is a usual sight in Oslo.

I really wish this list was longer.