Klasiaster

5 ms·

1.
by Klasiaster 10mo ago
Actually not that important, it also does the same as shift-up/down and I think it's more a convenience feature that one can keep ctrl pressed when it was pressed as ctrl-shift-left/right for word selection and one then press
2.
by Klasiaster 10mo ago
Good keybindings, some are missing compared to what normally works, e.g., in the browser text input area or in gnome-text-editor (Ctrl-Shift-Up/Down was one I directly ran into). I've found https://github.com/gphal
3.
by Klasiaster 1y ago
So great that they worked on it! It seemed to be part of the arti work for a couple of years but I wasn't sure it was really on the roadmap. Wanted to do something like this since 2017 with smoltcp and also had a glued together version
4.
by Klasiaster 1y ago
What's truly missing for Wasm and WASI to be an alternative to POSIX is dynamic instatiation so that a Wasm program/component can start another Wasm program/component by providing the bytecode at runtime. So far I don't
5.
by Klasiaster 2y ago
Many apps depend on running an "official" Android distro from Google, Samsung, etc. and don't work with Waydroid's Lineage-based distro. I think the Wine-like approach from https://gitlab.com/android_tran
6.
by Klasiaster 2y ago
Here is a list of implemented syscalls, but of course each checked one could still be slightly incompatible: https://asterinas.github.io/book/kernel/linux-compatibility....
7.
by Klasiaster 2y ago
There was also the similar project Kerla¹ but development stalled. Recently people argued that instead of focusing on Rust-for-Linux it would be easier to create a drop-in replacement like these two. I wonder if there are enough people inte
8.
Asterinas: OS kernel written in Rust and providing Linux-compatible ABI(github.com)
364 points by Klasiaster 2y ago|224 comments
9.
by Klasiaster 2y ago
You can embed attachments in PDFs. This way you could include CSV or JSON files into your PDF report. For a quick way doing it with CLI see `qpdf --help=add-attachment`
10.
by Klasiaster 2y ago
A major problem is that one can only have a single connection. It would be nice to do WiFi Direct or AdHoc mode while being connected to an AP. Being able to use WiFi without losing the AP connection (or having a standardized AdHoc channel
11.
by Klasiaster 2y ago
Seems parts of the needed adapters do exist: https://www.amazon.com/Adapter-Converter-Thunderbolt-MacBook...
12.
by Klasiaster 2y ago
Great to see it getting ready. Since the USB-C Power Delivery port doesn't support Display Port output, maybe there is a complex adapter that could splice the HDMI signal in (converted to Display Port) while still supporting data and P
13.
by Klasiaster 2y ago
I love that his exists without even being in the need of it!
14.
by Klasiaster 2y ago
I don't understand what the advantages are over Servo's inbuilt web browser¹. So far they look the same when opening but the inbuilt web browser is more stable (I see rendering bugs with Verso and it panics when entering a domain
15.
by Klasiaster 2y ago
Related is cargo script for Rust: https://doc.rust-lang.org/cargo/reference/unstable.html#scri... (nightly only)
16.
by Klasiaster 2y ago
The latest keyboard version 3.0 is more standard. The swapped control vs caps lock position is something one can probably remap in software. The apparent lack of page-up/down and home/end keys would be more of a problem for me, th
17.
Sovereign Tech Fund: Fellowship for Maintainers(sovereigntechfund.de)
1 points by Klasiaster 2y ago|1 comments
18.
by Klasiaster 2y ago
"The laptop probably has a HiddenVM. Drug and hit the person with this 5$ wrench until we get access." https://xkcd.com/538/
19.
by Klasiaster 3y ago
One can also create small binaries with https://github.com/sunfishcode/origin (e.g., https://github.com/sunfishcode/origin/blob/main/example-crat... is in that ~400 bytes range) and
20.
by Klasiaster 3y ago
GARM can easily manage ephemeral runners for you: https://github.com/cloudbase/garm (Ephemeral runners are also more secure)
21.
Elfcat: ELF binary visualizer generating HTML(github.com)
3 points by Klasiaster 3y ago|0 comments
22.
by Klasiaster 3y ago
With GARM (GitHub Actions Runner Manager) it's easy to manage ephemeral runners: https://github.com/cloudbase/garm One should also use workflow approvals for external contributors.
23.
by Klasiaster 3y ago
The setup is not too complicated with something like https://opendev.org/openstack/devstack
24.
by Klasiaster 3y ago
Do any of the (soon-to-be) available non-metal offers support nested virt?
25.
by Klasiaster 3y ago
Main benefits are a fully mainline Linux kernel plus UEFI: You can throw a standard arm64 image at it and it will directly boot and get updates forever - no custom images with special bootloader setup and downstream kernel needed.
26.
Libre Computer AML-A311D-CC "Alta" Single-Board Computer(cnx-software.com)
5 points by Klasiaster 3y ago|1 comments
27.
by Klasiaster 3y ago
There is also the Rust TCP/IP stack https://github.com/smoltcp-rs/smoltcp which is not mentioned as reference (and it's probably more useful to have a look there than querying ChatGPT).
28.
by Klasiaster 3y ago
Maybe it's like with software, once you add bloat/baggage over the course of the years it's hard to get rid off when trying to optimize again.
29.
Sophgo SG2380 2.5 GHz 16-core SiFive P670 RISC-V processor(cnx-software.com)
9 points by Klasiaster 3y ago|5 comments
30.
by Klasiaster 3y ago
I think a "linter" that does formal verification would be a good solution. People use things like clippy already and my hope is that using one of the verification tools such as Kani could become equally widespread for checking com

More ›