Hasnep

I don't know why you're bringing Taiwan into this, and I don't think TSMC has an app...

Companies make a loss on purpose all the time.

But it's also not not an increasing rate, there's not enough information to know if the rate is increasing or not.

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 find out what 1 + 1 is.

Yeah, that's exactly what I was thinking of, just didn't want to start a flame war.

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.

Wrong thread?

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 Microsoft bias, even though I know .NET runs fine on Linux now, the idea still felt weird to me. I suspect if I'd actually tried F# I would have stuck with it.

I have looked at the Fable compiler for F# which lets you compile F# to Rust which is very cool!

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.

Cosmic desktop shipped in PopOS 24.04 a few weeks ago btw

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 type annotations because the compiler can always infer all the types. Most people using these languages tend to add type annotations to top-level functions anyway though.

It seems to me that this is equivalent to a language without a type checker that automatically generates a unit test for every line of your program that tests its type.

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.

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

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.

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 waiting. As long as the UI is responsive when typing there wouldn't be much of a difference.

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!

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.

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.

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

https://www.microsoft.com/content/dam/microsoft/usetm/docume...

They didn't say they were proud, plus their account got banned so they were punished appropriately, plus... It's just Neopets...

Could try running teams-for-linux in WSL2 on Windows?

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 JavaScript would look.

Interested to try this and compare with SPy: https://antocuni.eu/2025/10/29/inside-spy-part-1-motivations...

Do you have any good resources on this subject? I agree and would like to see what a persuasive argument for it looks like.

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 a compiler in it can lead to the designers adding language features to make compiler development easier, even if they detract from the design of the language for the 99% of users who aren't writing a compiler.

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.

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

In Japanese. In English the plural can be emojis or emoji.

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 enable it for the few projects where I don't use jj)

Ah, I see my mistake. Yeah that's definitely the kind of thing that could happen in Gleam.