Readit News logoReadit News
czei002 commented on Code-GUI bidirectional editing via LSP   jamesbvaughan.com/bidirec... · Posted by u/jamesbvaughan
ogoffart · 7 months ago
For Slint [https://slint.dev], a (native) GUI Toolkit, I've also developed a LSP server that do live preview and editing. You can try it online at https://slintpad.com : if you click on the toolbar button to enable the right panel, you can edit the properties from the UI, and this is all done through the LSP and can be integrated in any editor that supports it.
czei002 · 7 months ago
cool! how does this work? e.g. how do you know which UI element matches which text element, do you track it while rendering? How do you propagate changes in the UI? do you update the text and then re-render the whole UI?
czei002 commented on LSP: The good, the bad, and the ugly   michaelpj.com/blog/2024/0... · Posted by u/bryjnar
PoignardAzur · a year ago
> rust-analyzer is over 365,000 lines of code.

That has nothing to do with LSP.

Rust Analyzer is similar in scope to a second implementation of the Rust compiler.

czei002 · a year ago
I would blame Rust though. For example, Rust has macros which are way too powerful and make it very hard to write a LSP (https://rust-analyzer.github.io/blog/2021/11/21/ides-and-mac...)

Very interesting is how Roslyn/Typescript does it: https://www.youtube.com/watch?v=qnyOHY7AiZk

czei002 commented on VeraCrypt: Free open-source disk encryption for Windows, Mac OS X, Linux   veracrypt.fr/en/Home.html... · Posted by u/thunderbong
8fingerlouie · 2 years ago
I've used countless encryption "schemes" over the years, from True/Vera-Crypt to encrypted sparse bundles/images, and none have ever really felt right.

These days i tend to use Cryptomator[0] instead. It accomplishes what none of the others could do, which is transparent encryption across devices.

With Cryptomator, i simply create a vault somewhere in the cloud, stuff data in it, and i can access it from my laptop, phone or tablet, and not think much about it. It integrates into the normal file browsing APIs, and doesn't get in the way.

Because it does "per file" encryption, it also doesn't need to download a 20-100MB chunk from the cloud before decrypting, so it's rather fast (depending on file size of course).

Cryptomator is also open source[1], and free on the desktop, though the mobile apps costs a one time fee.

[0]: https://cryptomator.org/

[1]: https://github.com/cryptomator

czei002 · 2 years ago
Does Cryptomator also works over sftp? Does it supports concurrent edits to the same vault? Can't find much about it in the docs...
czei002 commented on Glove80 Ergonomic Keyboard   danieldk.eu/Posts/2023-09... · Posted by u/JNRowe
czei002 · 2 years ago
Got excited about the function keys but unfortunately the Glove80 isn't a replacement for my Kinesis Advantage. I really dislike a battery powered keyboard, plugging in a cable into my laptop in the morning is something that never bothered me. However, having a failing keyboard/mouse in the middle of some work really annoys me. Maybe I am wrong but aren't two movable parts a bit annoying as well? My keyboard gets moved on my desk quite a bit and repositioning two moving parts sounds quite tedious...
czei002 commented on Review of the Kinesis Advantage360 Professional   arslan.io/2022/10/22/revi... · Posted by u/farslan
orangepurple · 3 years ago
Layout layers are the future. Mapping more than three keys per finger is unergonomic. You want to switch between layers quickly with modifier keys actuated by your thumb. With this approach you can ergonomically access 204 symbols (34 (pads) * 3 (layers) * 2 (shift)) with 34 keys.

Heck even three pads per finger is too much imo and I need to devote more research into two pad per finger layouts which rely on multi-pad press combos (stenography) to avoid using the bottom row and pinkies.

Till then you'll probably catch me using MTGAP 30 on an ANSI.

czei002 · 3 years ago
I type a lot but not that much typing that pads per finger would be an issue for me. I use f keys for changing desktops (ctrl + Fx) and I use the media keys to change volume. The later I use infrequently and not having a symbol on a key wouldn't work for me, I wouldn't remember where it is...

You can still use layers even though there is an extra row of keys so not sure why to remove keys other people rely on.

czei002 commented on Review of the Kinesis Advantage360 Professional   arslan.io/2022/10/22/revi... · Posted by u/farslan
maximilianroos · 3 years ago
I don't understand why they got rid of the F-keys.

The keyboard is a beast; no one is using it for portability. Why make it smaller by losing a row of keys? (Do the opposite — add another couple of rows, for kicks! Moonlander adds a column [1])

Same for Bluetooth — I don't get the attraction — when are you taking your giant keyboard away from your desk? If you never needed to plug it in, that would be slightly better, but it still needs to be charged. Even if it's only a few ms of extra latency, what's the upside?

This is more idiosyncratic, but I put a Magic Trackpad in the center of the Advantage2 [2] — highly recommended — so losing that center piece is worse for me.

1: https://www.zsa.io/moonlander

2: https://twitter.com/max_sixty/status/1144236070369988609

czei002 · 3 years ago
Agree! main points I don't like about the 360 are the missing F-keys and wireless, i.e. the need to charge it constantly. In this line, a use hub would be nice to connect a mouse like it is possible for the old Advantage..
czei002 commented on How “let it fail” leads to simpler code   yiming.dev/blog/2022/07/1... · Posted by u/_benj
czei002 · 4 years ago
Other frameworks like express (nodejs) or actix (Rust) also don't crash if you "throw" in an request handler so this doesn't sounds very exciting to me. The interesting question for me is how retries are handled after an error occurred? For example, if the error happens in an http request handler, does the request still fails with 500 or is it magically retried by Erlang while keeping the request hanging? For internal service calls how are retries working? i.e. how can I configure that a request is retried after a failure? I guess Erlang does this and this is the power behind it?

The example of a missing file seems not very good since its a problem that is probably not solved by waiting. A better example is probably a busy DB that is temporary not reachable?

czei002 commented on Rust 1.63: Scoped Threads   twitter.com/m_ou_se/statu... · Posted by u/tosh
dagenix · 4 years ago
The problem is the Thread object can be forgotten such that it's never dropped. This would cause the thread to never be joined. This becomes a problem if the thread is borrowing anything from the stack since the borrow could then outlive the stack frame.
czei002 · 4 years ago
What happens if you borrow a more complex mutable object to a thread and this thread is killed somehow leaving the borrowed object in a corrupt state, e.g because the thread was killed while doing an unsafe operation on the borrowed object. Can't I catch_unwind the scope call and then access the corrupted object?
czei002 commented on Maud: A Rust macro for writing HTML   maud.lambda.xyz/... · Posted by u/memorable
IshKebab · 4 years ago
The main problem with macros like this (aside from being yet another language to learn) is that they don't work nicely with IDEs.
czei002 · 4 years ago
Totally agree, macros are the worst Rust feature for me, they are way too powerful and break the tooling, e.g. fmt or language server.

https://rust-analyzer.github.io/blog/2021/11/21/ides-and-mac...

czei002 commented on Maybe Passwords Are the Future   kevincox.ca/2022/04/07/pa... · Posted by u/RafelMri
czei002 · 4 years ago
Given all the drawbacks of passwords there isn't really an alternative to passwords for me. For example, what do you do if you only have 2-factor auth and you lose access to all your devices/docs? e.g. when you are on holidays?

PAKE supports in the browser would be awesome. Some applications for it:

https://www.researchgate.net/publication/325142389_AuthStore...

(swap the proposed PAKE for OPAQUE)

u/czei002

KarmaCake day22July 11, 2018View Original