nymalt

6 ms·

1.
by nymalt 3mo ago
I used Lean for AoC last time and it’s really good.
2.
by nymalt 3mo ago
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 whit
3.
by nymalt 8mo ago
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 s
4.
by nymalt 11mo ago
That's clever! But I still want JS to get the actual pipeline operator.
5.
by nymalt 2y ago
Looking at it and... it's just a style that makes perfect sense!
6.
by nymalt 3y ago
Wondering if this is going to make Threads availble in Europe.
7.
by nymalt 3y ago
Just one thing I hate about Copilot is how it needs to be updated two times a day.
8.
by nymalt 3y ago
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-lo
9.
by nymalt 3y ago
> 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 pro
10.
Ask HN: Examples of Practical Applications of Datalog
1 points by nymalt 3y ago|0 comments
11.
by nymalt 3y ago
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&#x27
12.
Ask HN: Getting a remote (US only) job from Europe
1 points by nymalt 3y ago|1 comments
13.
by nymalt 3y ago
Reading comments here about Tesla Y. And my impression is that the build quality and everything got substantially better over the years.
14.
by nymalt 3y ago
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 (&#x
15.
by nymalt 3y ago
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.
16.
by nymalt 4y ago
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'?
17.
by nymalt 4y ago
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.
18.
by nymalt 4y ago
I really wish this list was longer.