Viewing profile — 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 …

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 appl…

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-tick…

> 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 comm…

My understanding is that Datalog dialects are basically query-languages. It's just that the data is being stored in a different way, compared to traditional RDBMs. But I am struggl…

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 Rus…

I'm seeing tons of remote job-postings that are US-remote. Sometimes it's because of the timezones. But I was thinking that probably there is some legal/accounting problem so that …

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 t…

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…

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 …

I really wish this list was longer.