Viewing profile — xvilka

I wish more robotic missions like that were sent. Not necessarily the most expensive ones, just one that can use only gravity assists and plutonium power generators. They could be …

Looks like it's Web-only, no mention of the native UI support (terminal UI excluded).

Using Logseq[1][2] for years and quite happy with it, especially since it has apps for tablets/iPad and phones as well, while being completely FOSS. [1] https://logseq.com/ [2] htt…

Maybe it will push more people and more effort into the true decentralization since the Forgejo/Codeberg federation[1] effort is way too slowly moving. Radicle[2] it is. [1] https:…

Something like Lem[1][2] could go even further because of the richer CommonLisp ecosystem compared to Elisp one. [1] https://lem-project.github.io/ [2] https://github.com/lem-proje…

It would make sense to implement it in QEMU instead. There was some previous work in the past, don't have a link right now to the original patchseries, but here is the repository[1…

Looks like layout/format of this PDF is heavily broken - line overflows and out of the context/layout line at the end...

I wrote "better typed", not just "typed".

CommonLisp really should evolve to update the language up to the modern standards and become more functional and better typed.

"reconciling" is the most annoying one, in my opinion.

> compiling Rust programs for platforms not supported by LLVM For this, gcc-rs[1][2] is the most promising candidate. [1] https://rust-gcc.github.io/ [2] https://github.com/Rust-GC…

Real neurons are orders of magnitude more complex than their artificial pseudo-approximation (it is all based on the century-old understanding of how neurons work). You can think o…

Looks great, but the passage about Google CEO is unnecessary in such guide, IMHO. Even if it might be true.

For QNX/Blackberry it would make sense to opensource Photon since they are not using it anymore. Porting it to the modern QNX and other systems would be great.

For this, I believe, working with the mainline is more promising path, at least to reduce the amount of changes needed[1]. [1] https://gitlab.com/qemu-project/qemu/-/work_items/189…

The problem is that it's not sustainable - QEMU improved so much since the moment of fork and updating the QEMU code in Unicorn is always done manually. It is especially important …

seL4 despite being formally verified contained gnarly bugs, like [1]. Thus, it's not a silver bullet as some people think. Yes, it improves the quality, but only one of the aspects…

Combine it with automated lab like this[1][2][3][4][5] (and many others) and it will iterate much quicker. Some already do but at a smaller scale, AFAIK. [1] https://www.ginkgo.bio…

IIRC TeXmacs supports only quite limited subset of what LaTeX and TeX can do. Just like LyX, it could create new documents but will often fail opening ones that were created outsid…

I should note, it's still not on par feature-wise compared to TeX ecosystem, but it gets there with incredible speed. As for UX - it beats anything TeX-based ten times over.

I have been using TeX/LaTeX for ages and today same issues hinder the user experience like multiple decades ago - cryptic error messages, complex pipeline, lack of the proper Unico…

In the modern world there is no place for the commercial compiler. They should have made it free (and open source) and only IDE (maybe) paid one. Even better - push into GCC or LLV…

Not directly related, but still reminds me of the recent Kurzgesagt (they are famous for well-researched content and are originally from Germany) video[1] about the bleak future Ge…