Hacker News: nymalt

New comment by nymalt in "Leanstral 1.5"

nymalt — Wed, 01 Jul 2026 05:51:37 +0000

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

New comment by nymalt in "The Xteink X4 E-Ink Reader"

nymalt — Thu, 25 Jun 2026 07:52:46 +0000

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.

New comment by nymalt in "The struggle of resizing windows on macOS Tahoe"

nymalt — Mon, 12 Jan 2026 16:41:33 +0000

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.

New comment by nymalt in "Working pipe operator today in pure JavaScript"

nymalt — Wed, 08 Oct 2025 13:14:35 +0000

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

New comment by nymalt in "Production Haskell Style Guide"

nymalt — Fri, 24 Jan 2025 14:15:14 +0000

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

New comment by nymalt in "Facebook and Instagram to Offer Subscription for No Ads in Europe"

nymalt — Mon, 30 Oct 2023 15:48:30 +0000

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

New comment by nymalt in "GitHub Copilot loses an average of $20 per user per month"

nymalt — Wed, 11 Oct 2023 07:42:36 +0000

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

New comment by nymalt in "My views on NeoHaskell"

nymalt — Tue, 03 Oct 2023 08:02:34 +0000

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 :)

New comment by nymalt in "Meduza co-founder's phone infected with Pegasus"

nymalt — Fri, 15 Sep 2023 09:54:30 +0000

> 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.

Ask HN: Examples of Practical Applications of Datalog

nymalt — Wed, 06 Sep 2023 08:01:03 +0000

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 struggling to find any practical examples when Datalog really shines.

I feel like Datalog could be a useful tool if I only could recognise problems it is especially well suited for.

Comments URL: https://news.ycombinator.com/item?id=37402449

Points: 1

# Comments: 0

New comment by nymalt in "Rust Absolutely Positively Sucks [video]"

nymalt — Tue, 01 Aug 2023 13:42:19 +0000

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.

Ask HN: Getting a remote (US only) job from Europe

nymalt — Fri, 28 Jul 2023 08:45:36 +0000

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 the companies just don't want to bother with non-US entities and taking this burden myself would help with that?

Wondering if registering a Delaware company (or something like that) could help getting such a job?

Comments URL: https://news.ycombinator.com/item?id=36904365

Points: 1

# Comments: 1

New comment by nymalt in "Tesla Model Y overtakes Corolla to be world’s best-selling car in 2023"

nymalt — Fri, 26 May 2023 11:06:27 +0000

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

New comment by nymalt in "Why I Use Elm in 2023"

nymalt — Tue, 23 May 2023 14:21:39 +0000

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

New comment by nymalt in "Noise is all around us"

nymalt — Mon, 22 May 2023 07:29:06 +0000

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.

New comment by nymalt in "Finland will seek NATO membership immediately"

nymalt — Thu, 12 May 2022 08:16:42 +0000

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'?

New comment by nymalt in "How Oslo Learned to Fight Climate Change"

nymalt — Sat, 07 May 2022 20:29:50 +0000

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.

New comment by nymalt in "Companies That Use Haskell in Production"

nymalt — Tue, 03 May 2022 13:29:32 +0000

I really wish this list was longer.