Hasnep

6 ms·

31.
by Hasnep 8mo ago
I think you're looking at this the wrong way around. A human might know the notes of a D Dorian scale, but a computer doesn't. If you've ever selected the key of D major in any music creation software and it's shown you
32.
by Hasnep 8mo ago
I don't know why you're bringing Taiwan into this, and I don't think TSMC has an app...
33.
by Hasnep 8mo ago
Companies make a loss on purpose all the time.
34.
by Hasnep 8mo ago
But it's also not not an increasing rate, there's not enough information to know if the rate is increasing or not.
35.
by Hasnep 8mo ago
It's not the Nix/Guile that's expensive, it's situations like: let chromium = pkgs.chromium; in 1 + 1 In a maximally eager language you'd need to wait for the entirety of Chromium to build before you can fi
36.
by Hasnep 9mo ago
Yeah, that's exactly what I was thinking of, just didn't want to start a flame war.
37.
by Hasnep 9mo ago
Focusing on criticising people's actions and being lenient and not judging the person's character is literally centuries old, I don't think you can say it's because of woke.
38.
by Hasnep 9mo ago
Wrong thread?
39.
by Hasnep 9mo ago
I've heard a lot of good things about F#, but I've also heard that C# has taken all the best features from F# and now development has slowed down. I don't know how true that is. It's also just some irrational anti Micros
40.
by Hasnep 9mo ago
I bounced off OCaml a few years ago because of the state of the tooling, despite it being almost exactly the language I was looking for. I'm really happy with Gleam now, and recommended it over OCaml for most use cases.
41.
by Hasnep 9mo ago
Cosmic desktop shipped in PopOS 24.04 a few weeks ago btw
42.
by Hasnep 9mo ago
It seems like your main gripe is that writing the type annotations slows you down, so I'd be interested to know what you think of languages like OCaml, Elm, Gleam or Roc. These are languages which never (or almost never) require any ty
43.
by Hasnep 9mo ago
Yes, SQL is a query language and clickhouse is a database that uses SQL as a query language, but I don't see why that's relevant.
44.
by Hasnep 9mo ago
Oh, this would have been great for a project I was working on a while ago! I'll have to keep it in mind for the future. Thanks for sharing
45.
by Hasnep 10mo ago
It doesn't really make sense to compare the performance of Ghostty, a terminal emulator, with Toad, a TUI. Also Ghostty is written in Zig, not Rust.
46.
by Hasnep 10mo ago
The author is also the creator of the textual Python library for creating TUIs. The performance benefits of Rust don't seem very useful in a tool where you spend a few seconds typing in a prompt and then 90% of your time is spent waiti
47.
by Hasnep 10mo ago
Oh, this is the reason the Mullvad app on my Pixel 6a was suddenly able to connect in less than a second where before it would take 5-10 seconds, nice!
48.
by Hasnep 10mo ago
I didn't enjoy using JJ for the first day or two until I discovered jjui, now I do probably 95% of my interactions with jj through jjui.
49.
by Hasnep 10mo ago
This sounds like the kind of situation where the LSP could suggest the simpler code, I'll see if there's an issue for it already and suggest it if not.
50.
by Hasnep 10mo ago
You kinda did... > By accepting this agreement and using the software you agree that Microsoft may collect, use, and disclose the information as described in the Microsoft Privacy Statement [...] Doesn't make it okay, just legal ht
51.
by Hasnep 11mo ago
They didn't say they were proud, plus their account got banned so they were punished appropriately, plus... It's just Neopets...
52.
by Hasnep 11mo ago
Could try running teams-for-linux in WSL2 on Windows?
53.
by Hasnep 11mo ago
No, because the intermediate language of the previous step is just the target of the next step, and the target can be anything E.g. when JavaScript was designed, they didn't need to know that typescript would be invented to know how Ja
54.
by Hasnep 11mo ago
Interested to try this and compare with SPy: https://antocuni.eu/2025/10/29/inside-spy-part-1-motivations...
55.
by Hasnep 11mo ago
Do you have any good resources on this subject? I agree and would like to see what a persuasive argument for it looks like.
56.
by Hasnep 11mo ago
A language can be suitable for writing a compiler, but if there is another language that's 10x faster that's also suitable, then you're losing out on a lot of compilation speed for no reason. Dog-fooding a language by writing
57.
by Hasnep 11mo ago
You can think of it like this: SPy is a compiler. SPy is not a compiler for OCaml. SPy is not a compiler for COBOL. SPy is not a compiler for Python.
58.
by Hasnep 11mo ago
I've been looking at Atlas as an alternative to Alembic recently, it seems nice, but I'm wary of the non open source features. https://github.com/ariga/atlas
59.
by Hasnep 11mo ago
In Japanese. In English the plural can be emojis or emoji.
60.
by Hasnep 1y ago
I've been enjoying the jujutsu kaisen VSCode extension, you just need to disable VSCode's built in git integration for each project where you use jj (although I'm planning to invert by disabling git globally and then only ena

More ›