knazarov

6 ms·

1.
by knazarov 2y ago
We use a combination of AWS autoscaling and Nix to make our CI pipeline bearable. For autoscaling we use terraform-aws-github-runner which will bring up ephemeral AWS machines if there are CI jobs queued on GitHub. Machines are then destroy
2.
by knazarov 2y ago
Right. Ctrl+C is still mapped as usual.
3.
by knazarov 2y ago
For copy-pasting text to/from the terminal, I prefer to use Mac shortcut Cmd+C. It doesn't work out of the box on Linux (you have to use Ctrl+Shift+C, because Ctrl+C sends SIGINT). But there's a simple way to make Cmd+C work
4.
by knazarov 2y ago
In order to verify the proof, you only need a "commitment" to the fact that you passed specific input data. This can be in the form of calculating a cryptographic hash. Imagine that you represent a program and data as a flat byte
5.
by knazarov 2y ago
Let's put it this way. If you can break it and are willing to commit crime - you can earn a lot of money. I'm personally not equipped to judge the level of security, because I'm not a cryptography researcher. What I understan
6.
by knazarov 2y ago
I'm not involved in the project in any way, but I can probably give an explanation. This is a risc-v virtual machine that supports rv32im instruction set (the bare minimum + multiplication). You can compile and run programs there as yo
7.
by knazarov 2y ago
This is the software the OP talks about: https://www.startallback.com/ . If you go and check the download URL, the files are actually hosted on the CDN, and not on the site itself. So it looks like as long as the site refers
8.
by knazarov 3y ago
This is how I do it in keyd by remapping Meta+C/V to C+Ins/Shift+Ins (keyd.conf): [ids] * [main] capslock=overload(control, esc) [meta_mac:M] c=C-insert v=S-insert
9.
by knazarov 4y ago
I’m excited to see that your project is maturing. Good luck!
10.
by knazarov 5y ago
I write a lot of bash, and can kinda agree that it’s full of footguns. The most of them are not even in bash, but in Unix tools, which you have to use due to the lack of standard libraries.
11.
by knazarov 5y ago
You may want to try out the yabai window manager for OS X. It’s the closest thing to i3 I can think of.
12.
by knazarov 5y ago
I’ve written myself a terminal based note taking app that uses IMAP and MIME/Maildir as a storage backend: https://github.com/knazarov/notes.sh
13.
by knazarov 5y ago
There is an alternative: you can use a MIME envelope to store notes. This way you’ll have a plaintext container and a way to attach files in a portable way. I’ve built a note taking system based on this idea: https://github.com&#
14.
by knazarov 6y ago
There's a better way to do it. Terminals have a special escape sequence called OSC 52, which allows you to insert into the clipboard from even remote SSH sessions. Try this: printf "\033]52;c;$(printf "%s" "blabla&q
15.
by knazarov 6y ago
There is actually a good webcam now. It's AverMedia PW513. It has a Sony Exmor 4K sensor, and generally favorable reviews.