u/Strawberry_Doughnut

▲ 31 r/theoreticalcs+1 crossposts

Does anyone know where to find the supplementary materials for Arora and Barak Computational Complexity?

I already asked this on r/learnprogramming but I didn't get any response:

In the intro to the book, they say there is auxiliary material related to automata and computability theory. The link provided is https://www.cs.princeton.edu/theory/complexity/ but there's no material there that I see. Hopefully it just moved, but I'd really like to find it.

reddit.com
u/Strawberry_Doughnut — 3 days ago

Looking for other keyboards similar to System76 Launch Heavy (V1)

Hello,

I have been using a System76 Launch Heavy keyboard (version 1) at work. I've been actually enjoying it quite a bit, and have been thinking of getting something in that style. In particular, I like the more "rustic" look it has, that isn't bland, nor over sleek, nor over flashy. It looks like something people might use in a lab and I like that aesthetic.

And another thing, I like how the keys are "raised" off of the board. That is, you can see/reach under the keycaps, and it makes it easier to clean. I had the Keychron K3 and it was also like this. You can see the side profiles of those keyboards to get an idea of what I mean. So does anyone know or can recommend a keyboard that is like that? It doesn't look like system76 sells the older version anymore.

u/Strawberry_Doughnut — 4 days ago

Budget: less than $250 USD

Size: Maybe 75% but would consider larger, even 100%

Hello,

I was a happy owner of a Keychron K3 V2. It started having issues where pressing any particular key in a row will cause all keys in that row to activate. I had gone through thorough troubleshooting, including inspecting and removing the battery, to doing multiple resets with no improvement. I ended up giving it away to someone who wanted to try to salvage it.

So I'm now looking for a replacement. I'm actually considering just getting another one, since it was a nice keyboard, but I'm also open to something completely new based on any feedback here.

I was initially drawn to the K3 since it was sleek and low-profile. I never really used number pads on keyboards before, so I just went for the 75% layout. The rounded corners and colors were also nice, and fit a relaxed color theme I was going for at the time.

However, at work I got to use a System76 Launch keyboard 100%, which is quite large and clunky, and I wasn't really put off by it as much as I thought I would be.

I will be using the new keyboard for mild programming, some gaming (like CS2). Do any previous or current K3 owners have any thoughts on this? Thanks a bunch!

reddit.com
u/Strawberry_Doughnut — 20 days ago