xvilka

5 ms·

31.
by xvilka 4mo ago
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.
32.
Scrutari – forensic statistical analyzer for opaque firmware blobs(codeberg.org)
3 points by xvilka 4mo ago|0 comments
33.
by xvilka 4mo ago
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/1896
34.
by xvilka 4mo ago
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 for architectures that evolve quickly - ARM64, RISC-V,
35.
by xvilka 4mo ago
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 of hardening software, like ASAN, SAST, fuzzing, stric
36.
by xvilka 4mo ago
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/autonomous-lab [2] https://www.
37.
by xvilka 4mo ago
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 outside of it.
38.
by xvilka 4mo ago
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.
39.
by xvilka 4mo ago
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 Unicode symbols support out of the box, and so on. Nowadays,
40.
by xvilka 5mo ago
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 LLVM.
41.
by xvilka 5mo ago
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 Germany is facing in upcoming decades. [1] https:/&#x2F
42.
Huginn Net – Multi-Protocol Passive Fingerprinting (P0f-Style)(github.com)
1 points by xvilka 5mo ago|0 comments
43.
by xvilka 5mo ago
For self-hosted version as well, unless you patch it.
44.
by xvilka 5mo ago
It doesn't have these pesky message and user limits, unlike Mattermost[1]. [1] https://github.com/mattermost/mattermost/issues/34271
45.
by xvilka 5mo ago
I wish they would make local-only deployment easier. For example, lets take 3 machines and try to setup Radicle to work only on those, without joining the common Radicle network. Like on-premises GitLab, but decentralized, without the need
46.
by xvilka 5mo ago
I am surprised you don't use RustChat[1] [1] https://rustchat.io/
47.
by xvilka 5mo ago
There is some CI service in Radicle but it's still very barebones[1]. [1] https://radicle.network/nodes/seed.radicle.dev/rad:z3qg5TKmN...
48.
by xvilka 5mo ago
The real game changer would be completed Federation[1] support. This is why I am donating both Forgejo[2] and Codeberg[3] and urge everyone doing the same, to give more time and resources for the Forgejo team to implement it properly. Anoth
49.
RustChat is a minimal team messenger, alternative to Slack, Mattermost, Zulip(rustchat.io)
2 points by xvilka 5mo ago|1 comments
50.
by xvilka 5mo ago
> Github is doing some classic big org sneaky things where they don't count degraded service fully. Even worse example is the Travis CI. For more than a year their CI jobs sometimes get stuck or do not start for days, and, surprise-
51.
by xvilka 5mo ago
All the more reason to donate to Forgejo/Codeberg[1][2] or contribute the code to SourceHut[3]. [1] https://liberapay.com/forgejo [2] https://donate.codeberg.org/ [3] https://sr.ht/~sir
52.
by xvilka 5mo ago
Does it still use Zilog eZ80 (Z80-family, 24-bit) as the main CPU?
53.
by xvilka 6mo ago
Loosely related is the exoplanets catalog (open source)[1][2]. [1] https://exodata.space/ [2] https://github.com/oiwn/exoplanets-catalog
54.
by xvilka 6mo ago
And Azure still doesn't support IPv6, looking at the GitHub[1]. [1] https://github.com/orgs/community/discussions/10539
55.
by xvilka 6mo ago
Rizin[1][2] does exactly this, also there is a compact hex-II[3] mode. [1] https://rizin.re [2] https://github.com/rizinorg/rizin [3] https://speakerdeck.com/ange/no-more-dumb-hex
56.
by xvilka 6mo ago
Zellij still can't hide/show the status bar on the fly[1] and doesn't support windows preview in the windows list mode. Just these two (and many more) things are enough to stop me from migrating from tmux. [1] https:/&#
57.
by xvilka 6mo ago
Will this mean the end to NeoVim, whose main (one of) selling point is the tree-sitter out of the box? I hope not, as I am the long time user and supporter of the project.
58.
by xvilka 7mo ago
More importantly, it also reduces CPU and memory load.
59.
by xvilka 7mo ago
Nowadays we have Unicode characters and better colors though.
60.
by xvilka 7mo ago
Missing Ratatui[1] support. [1] https://ratatui.rs/

More ›