Recent comments in /f/gadgets

Undoninja5 t1_j11he99 wrote

I am an indie game developer who uses a 60% keyboard, definitely way harder than having a full keyboard + my equals key broke and switching out the switch doesn’t fix it and now I have to do, ctrl-shift-e every time I want to write an equals key, which is a lot when programming. Don’t skimp out on your keyboard kiddos

3

the_russian_narwhal_ t1_j11cz80 wrote

Some of us may or may not have learned to type correctly and still look at the keyboard while still typing at an acceptable speed. I am totally not one of these people but this could be good for them. Also it can just be cool to look at, whether you look at it the whole time or you have an office where you have meetings and its just for others to look at

10

abraxasisall t1_j1180fo wrote

They’re wrong, it can write proofs perfectly. I think it has limited characters (ASCII) available to express certain concepts however; if it could freely use laTex I think it would be able to accomplish exactly what we’re discussing.

I asked it to prove all kinds of math problems ranging from simple (using mathematical induction, direct proof, contradiction to prove things) to complex (prove certain functions f: Z -> Z are injective, surjective, or bijective (both), prove that the cardinality of Z, set of all integers, is less than R, set of all real numbers) and in the cases I tried, the proofs were sufficient. Remarkable.

2