Viewing profile — yashrk

Is the source code available? I cannot find any mentions of the source code repository…

LilyPond is the best way to integrate sheet music into the text-only formats (Markdown, wiki markups, org-mode). MediaWiki supports LilyPond. Emacs org-mode supports LilyPond. In f…

Isn't a language described very similar to the (future) OCaml with effects ( https://github.com/ocaml-multicore/effects-examples ) added?

Google Docs are incompatible with complex formatting (LibreOffice and even Office365 are too). Moreover, even the Word itself is kinda incompatible with complex formatting: sooner …

Do you mean a Word from Office360? From my experience Word from Office360 breaks complex formatting of desktop Word document even worse, than LibreOffice/Google Docs does.

So CVs from folks who know LaTeX good enough to change Computer Modern to something else will be dumped into the trash…

Of course you can choose what you use for your personal pipeline. But Word for collaborative work is a nightmare. Sometimes fastest way to work with the science text or documentati…

All GUI OFM-s I've seen missed the main (IMO) feature of Midnight Commander: seamless integration with the plain shell. In MC I can select files with Ins/*, then run command with %…

Sorry, but _what exactly_ «it seems to do» from your point of view? My «second brain» now is almost 300Mb of text, pictures, sound files, PDF and other stuff. As I already mentione…

I used org-mode files to save the examples of complex commands and code snippets (for example, for Docker, Kubernetes, bash, SQL and CQL). From the reader point of view it's litera…

IMHO you don't need org-roam to use org-mode for note-taking. I use a bunch of plain org-mode files (synchronized between my computers and mobile devices with git and Syncthing) fo…

I found what is «Morphic», mentioned by Richard Feldman. It's an another experimental programming language with the static reference counting. «Morphic uses a borrow-based referenc…

Two main papers about this topic AFAIK are: «Counting Immutable Beans» by Sebastian Ullrich and Leonardo de Moura ( https://arxiv.org/pdf/1908.05647.pdf ) and «Perceus: Garbage Fre…

Rc and Arc traits are implementations of the _runtime_ reference counters. Runtime reference counting is sometimes less efficient than tracing GC. But Roc counts references in _com…

Definition of resulting code as _deeply_ imperative was crucial in my phrase. The only «sine qua non» optimization through opportunistic mutablity is AFAIK tail call optimization. …

See https://news.ycombinator.com/item?id=38350940

First of all — way faster machine code. Many other things are features or bugs depending of your preferences. For me, for example, eager evaluation is a big improvement, but YMMV.

If you are interested, «why yet another programming language?». The unique selling point of Roc is clever optimization to convert purely functional source code to deep-imperative f…

No updates on GitHub since Aug 2022. Isn't it abandoned? Supported and battle-tested OCaml or StandardML for BEAM would be great, of course. I'm waiting for something like this for…