This is very exciting! I've been longing for an acme-like editor that adapts better to mainstream OSes. Being vim-like is a major plus. I'm gonna try this out!

Does tvix support targeting windows? And I do not mean WSL. iirc, the nix attempted a windows port but there were some hardcoded assumptions made about unix in the implementation that made it intractable, for example the location of the store. Do these issues also hold for tvix?

(Nix itself is slowly chugging along with Windows via MinGW - https://discourse.nixos.org/t/nix-on-windows/1113/108 and https://github.com/NixOS/nix/issues/1320 , for example.)

[not related to this thread]

working on a project that I'd love to run by you in the men's health space.

came across a comment you made on a previous post, so figured I'd reach out.

amitthakrarcoaching@gmail.com

The form of this message pattern-matches perfectly to spam, by the way, especially from an account whose only activity is to make essentially this same post three times; if you are in fact human, you might want to do something about that (such as being precise about which comment you mean, and why it's relevant).

Tvix developer here; we do have Windows in mind. Rust makes a bunch of things easier regarding this, but _not everything_. It's not a priority.

The location of the store is not really the main blocker in those sorts of situations, IMHO.

I recently learnt about this: https://nlnet.nl/project/libnix/

A project funded by the EU to bring Nix to Windows.

(edit: typo and clarity)

Another approach is to use a Gc<T> smart pointer: https://docs.rs/gc/latest/gc/

I've used this in an interpreter and it's quite convenient.

Yes, garbage collection seems to be the only viable solution for dealing with spaghetti reference graphs in their full generality, including possible cycles. In that context it's worth trying a high-performance concurrent GC implementation such as https://github.com/chc4/samsara Samsara.

That is just using a RefCell under the hood[1] so it is effectively the same trade-offs as the RefCell example from the article.

[1]https://docs.rs/gc/0.5.0/src/gc/lib.rs.html#495-498

It doesn't require you to differentiate weak and strong references, so there's no risk of memory leaks due incorrect choice in Gc, unlike Rc IIUC.

Note: the two of you are linking to different crates. Samsara provides a Gc type, but it is not the gc crate.

It looks like you intended to say that on the sibling comment.

Yep! Sorry.

Nice! This seems way more appealing than every other approach I've seen in this domain.

> these groups don't seem to be interested in fixing kernel problems

I mean, they built a whole kernel module that addresses page allocation/deallocation scalability issues. Whether that gets brought upstream, I'm not sure.

Yeah in many ways, Nix is a research project that escaped the lab. It’s the first tool of its kind that also happened to become successful. You have to write in this dynamically typed Haskell with poor affordances for being a build system and fragmented ways of addressing pinning.

I know this only works for cli tools right now, but I’d love to be able to run iMessage and Notes on linux.

Very very unlikely - as far as i know iMessage requires a Mac or iPhone serial number to authenticate :(

I have an iphone, so I hope the serial number won’t be an issue.

As an iOS + Linux user, icloud.com has been helpful. Access to reminders, notes, in theory messages (I don't use it so can't vouch for it).

The thing to do is to use Chrome (yes...), and open the page. In the hamburger, go to "Create a Desktop shortcut". Choose "open in a new window". This gives you a desktop shortcut to open the page in a standalone way. Visible to your launcher, distinct ctrl+tab... it's janky but I've found this works well.

Firefox please add the Chrome standalone desktop shortcut feature!

Yeah, I also tend to bring up iCloud Notes in a browser tab. It’s still far from perfect, since Notes is usually an offline-first app, which you miss out on here.

I’ve been looking for a replacement, but nothing really gives you

- Offline-first usage

- Sync changes via CRDT

- Fast startup time

- Rich text support

- iOS and desktop linux support

I have been using Joplin for longer notes, which provides good sync, offline-first, and good platform support. It's Janky but for writing out post drafts the sync has been super good for me. It lets me finish typing out a thing on my phone in a pinch, no futzing around with roam necessary.

For tiny notes I've been using.... facebook messenger chat to myself. Say what you will about Meta, at least their stuff mostly works.

I still feel for you. I really want to commission some software that feels good to use on Linux ("feels good" in the real sense, not in the GNOME sense)

Check out my note-taking app on Flathub: https://flathub.org/apps/io.github.nuttyartist.notes

Being able to run iMessage with this would be enough to let me (and I'm sure others) finally ditch my iPhone

From your lips to God's ears with iMessage.

I thought notes was just a client that syncs via IMAP so you would be able to use any notes app that supports IMAP sync?

Or has this changed?

It has long changed and became much more reliable in the process.

Frink is great. If you’re looking for a more general purpose language with a units system, consider F#: https://learn.microsoft.com/en-us/dotnet/fsharp/language-ref...

A great idea hindered by the lack of adoption in tools.

And everybody throughout the lifecycle of the code using such tools

This is so cool! I want this for every language now.

you stick this in your struct

    type noCopy struct{}
    func (*noCopy) Lock()   {}
    func (*noCopy) Unlock() {}