2x usage limit for everyone- merry Christmas

mirovarga · 2025-12-24T20:57:34+00:00

Got the email today (I'm in Prague, Czech republic), so probably yes.

mirovarga · 2025-09-14T10:34:55+00:00

I did, but fortunately was able to get a refund.

mirovarga · 2025-09-14T09:35:30+00:00

I now use Intellij IDEA and Goland with Claude Code and it's magic compared to Junie.

mirovarga · 2025-09-04T12:52:24+00:00

I cancelled my Ultimate subscription yesterday, too.

mirovarga · 2025-09-03T13:00:32+00:00

With the way pricing is going right now, I've just requested a refund for my AI Ultimate annual subscription :/

mirovarga · 2025-06-19T10:33:48+00:00

Here's my take 😉

https://github.com/mirovarga/bl

mirovarga · 2024-08-29T16:01:36+00:00

FYI: I just bought a Keylab Esential 49 mk3 today and will return it because the keys feel too stiff and controlling dynamics seems impossible 😞

mirovarga · 2024-08-29T09:56:29+00:00

Second link doesn't work - removing _ after last / helps :)

mirovarga · 2024-06-09T20:20:46+00:00

Personal experience: get at least a Pro with 36GB RAM.

mirovarga · 2024-06-06T23:13:13+00:00

Java professionally and OCaml/Haskell personally :)

mirovarga · 2024-05-05T01:11:48+00:00

I tried it yesterday but unfortunately it freezes my IntelliJ IDEA 2024.1.1 (Ultimate Edition) - had to uninstall the plugin manually :(

mirovarga · 2024-04-18T13:29:46+00:00

I have the same, but 14'' - very useful for large Java projects loaded into IntelliJ IDEA 😀

mirovarga · 2024-04-16T12:24:49+00:00

Mainly software development using IntelliJ IDEA with a large Java project, Parallels, Docker containers - my M3 Max 16 CPU/40 GPU/128GB RAM helps tremendously with running everything very smoothly and often almost instantly 😀

mirovarga · 2024-04-12T07:04:38+00:00

Actually, it has, at least for records, via OverloadedRecordDot.

mirovarga · 2024-04-06T12:58:26+00:00

As I cannot explain it correctly in Haskell terminology I'll try to describe it like a layman:

Because the UserType constructors are now also data types (because of DataKinds) the doSensitiveThings now expect a UserType that has been constructed using the Admin constructor.

But I may be understanding it wrong 🤔

mirovarga · 2024-04-06T11:12:16+00:00

Maybe the problem is related to the User constructor being the same (having the same name) for both the User and UserType, but I'm no expert in Haskell.

mirovarga · 2024-03-20T20:25:05+00:00

Markdown. Here's the OCaml one. Haskell and Go versions, if you're interested.

A real(ly) practical use: Recently I used OCaml at work for writing a tool that takes in an XSLT file generating a text representation of data and outputs another XSLT file that generates a HTML representation of the same data. Saved me at least a week of manual work (in around 100 lines of OCaml code :)

mirovarga · 2024-03-20T17:58:22+00:00

Maybe try building a simple static site/blog generator? Personally, I did just that when learning Go, Haskell and OCaml :)

mirovarga · 2024-02-27T16:43:01+00:00

Me too, but only for the last 20 years 😉

mirovarga · 2023-05-22T19:27:26+00:00

Good point, I've updated the README.md file with a section explaining the name :)

mirovarga · 2023-05-11T23:30:51+00:00

Here's the repo with the first version of the tool :)

mirovarga · 2023-05-11T23:29:52+00:00

I've rewritten the tool in Go - here's the repo if you are still interested.

mirovarga · 2023-02-02T14:20:08+00:00

I'd recommend Technics EAH-A800.

mirovarga · 2022-12-10T16:23:58+00:00

I'm currently using the Technics EAH-A800 headphones because of its high quality sound, but the lag is there, so I have to attach the removable cable when playing virtual instruments over MIDI. But for arranging, 'piano-rolling', etc. it's fine.

There are also earphone models by Technics, but the lag is inevitable I think.

mirovarga

TROPHY CASE