I use a plain 34 keys layout based on qwerty for letters, comma/dot/semicolon. The numpad and symbols layers are handcrafted so that every symbol is easy to reach, it's also optimize to type things like <- and -> easily
SuperFola
The reMarkable runs on Linux too! It's an eink paper tablet
Thanks!
I won't lie, I went with a Lisp like syntax because it was the easiest one to parse, so that I could focus on the funny bits like the compiler and virtual machine.
Fine thanks! This might be another reason for me to finally switch to an iPhone
I understand the philosophy of not wanting to transfer your rights, but I don't understand what's bad about contributing to a project and having your code given to the community (as-in copyright transfer to the organisation). Would this be because the org/owner can just start selling the code or is there something that I'm missing?
That is, until the community reverse engineer the communication between the tablet and keyboard. It's through the 5 pins, serial iirc? The complicated part would be to produce/find a decent keyboard
I haven't followed, what's up with that instance?
This isn't selfhosted but you can use uptime robot. They can send regular http get requests or ping an IP or URL, the free tier can have like 10 monitors I think? I receive an email when an host isn't available, in 5 minutes usually.
The hori split pads are great, but you can't use them wirelessly. And the adapter that exists to use the pad not on the Switch is wired. Otherwise it's 100% better and have really nice joysticks (now I can't use that as an excuse for loosing on Mario kart...)
I know someone that remapped their keyboard to have ;hjkl instead of hjkl; (this is a split keyboard running qmk). This way they could keep hjkl and not remap anything inside (neo)vim.
That's my point, maybe it wasn't clear enough. I think people that need to transfer a lot of data often to and from their phone can justify taking the Pro model (photographers, video makers, etc)
I created a discord server for an open source project of mine, but grew to dislike it. It got spammed multiple times, people are off topic and talking about their lives in channels that aren't for that, and so I started pushing the community toward GitHub discussions.
Discord isn't searchable, nor archivable, nor public, but GitHub is (I'm aware of another conflict with Microsoft for some people, but to me this is the easiest solution to get contributors and have an easy CI setup).
I haven't had much success yet, but I'm slowly shutting down all links to the discord and will let it die (for outside contributors at least). I might keep it to stay in touch with a few developers, to refine issues and prepare migrations that aren't ready to be turned into public discussions/ issues / pull requests.