yashrk

5 ms·

1.
by yashrk 3y ago
Is the source code available? I cannot find any mentions of the source code repository…
2.
by yashrk 3y ago
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 fact LilyPond is way more simple to make small score snippets
3.
by yashrk 3y ago
Isn't a language described very similar to the (future) OCaml with effects ( https://github.com/ocaml-multicore/effects-examples ) added?
4.
by yashrk 3y ago
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 or later one of your collaborators will copy/paste some
5.
by yashrk 3y ago
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.
6.
by yashrk 3y ago
So CVs from folks who know LaTeX good enough to change Computer Modern to something else will be dumped into the trash…
7.
by yashrk 3y ago
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 documentation in a Word document is to hire a freelancer to retype all
8.
by yashrk 3y ago
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 %t macro to process selected files, then press Ctrl
9.
by yashrk 3y ago
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 mentioned, it contains tables, mathematical formulae, sheet music, c
10.
by yashrk 3y ago
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 literally documentation, although I'm not a professional
11.
by yashrk 3y ago
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) for my notes since 2016, and for me it's the best «s
12.
by yashrk 3y ago
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 reference counting scheme which is able to eliminate almost all
13.
by yashrk 3y ago
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 Free Reference Counting with Reuse» by Alex
14.
by yashrk 3y ago
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 _compile_ time. So it's like _usual_ (not wrapped in Rc<
15.
by yashrk 3y ago
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. But it is probably too well-known to call it «clever optimiz
16.
by yashrk 3y ago
See https://news.ycombinator.com/item?id=38350940
17.
by yashrk 3y ago
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.
18.
by yashrk 3y ago
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 fast machine code, while keeping all the correctness of funct
19.
by yashrk 3y ago
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 years.