Viewing profile — czei002

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 t…

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-m…

Does Cryptomator also works over sftp? Does it supports concurrent edits to the same vault? Can't find much about it in the docs...

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 int…

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 l…

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 l…

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 fo…

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 ki…

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/…

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 yo…

Sharing an append only log can be quite treacherous for users that are unaware of it. For example, when accidentally including some confidential stuff. A not so security aware pers…

Thanks for sharing! We actually tried the same approach but we have a couple of more micro services relying on the same shared code. This has some additional complications, e.g. ma…

Regarding the previous backend related article and code sharing between backend and frontend, how does your project setup look like? For example, does the code get compiled using a…

I think I hit the dom tree update limit on my machine. Reducing the number of items to 100 makes it work all right (using the mouse wheel, slider still not working good) but its al…

It sounds like a very good idea! However, on Linux in Firefox as well as in Chrome the UI (helix) doesn't seem to be very responsive, i.e. the slider is jittering making it feel ve…

Unfortunately Telegram nor Signal supports federation. I find it bit funny that people move from one wallet garden to the next one 8-) A good alternative is Riot. The recent Riot u…

Very cool. Think this game also used fractals: https://en.wikipedia.org/wiki/Rescue_on_Fractalus !

Cash is still my payment method of choice. No tracking, etc... GNUTaler is the only digital currency that I know that could replace cash!

Option 4: Use Fejoa auth to use the same password for authentication and for encryption without revealing the password to the remote party: https://fejoa.org/fejoapage/auth.html

If done right, passwords are a very powerful and universal auth method, i.e. all credentials can be remembered and no third party or auth device are needed (e.g. you are still able…

Would agree with that. Just used Ubuntu gnome for a product demo and its a usability nightmare. - How to create a shortcut for a command -> use the command line. - Modify group per…

Can't you make the formal proof software "smart" enough to prove a theorem given sufficient intermediate steps and hints about what other theorems/defs to use? i.e. basically what …

On problem with password managers (that are using web authentication to create/manage an account for backing up the password manager in the cloud) is that the authentication passwo…

On problem with password managers (that are using web authentication to create/manage an account for backing up the password manager in the cloud) is that the authentication passwo…