@lynaghk Annoying, unless perhaps those symbols are visible on your keyboard somewhere.
-
-
-
@chrishouser I actually do all of my computing using this reverse polish notation calculator built into a keyboard.pic.twitter.com/f3skV4fqqP
-
@lynaghk What is this I don't even. -
@chrishouser Luckily there is a user manual: https://s3-us-west-2.amazonaws.com/keminglabs-misc/p014_manual.pdf …
End of conversation
New conversation -
-
-
@lynaghk Annoying, but@mikedewar loves his Unicode variable names. -
@johnmyleswhite@mikedewar annoying but semantically so much better; maybe my next yak shave will be implementing http://nickgravgaard.com/elastictabstops/ …
End of conversation
New conversation -
-
-
@lynaghk awesome until you have to cut and paste. Should 'undo' to the textual form when copied out. :/Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@lynaghk lesson learned: LaTeX is a unifying force. //@mikedewar@johnmyleswhiteThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@lynaghk annoying. I've used non-ASCII chars in code comments & later regretted it when an IDE reformatted. //@mikedewar@johnmyleswhite -
@drjerrynyc@lynaghk@johnmyleswhite I want nicely rendered subscripting in my coding
End of conversation
New conversation -
-
-
@lynaghk horrible, but I'm totally on board with 'lambda' and 'epsilon'Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@lynaghk Awesome, but it should be a rendering feature of the editor. The source should remain plain ASCII. - End of conversation
New conversation -
-
-
@lynaghk annoyingThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@lynaghk I like it. But really it just depends on whether it helps you get the point acrossThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@lynaghk annoyingThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.