Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I am using a Stream Deck for that. Should have bought the largest one, but even the medium size on is quite useful via nested menus. Here are some symbols I am using for a formalisation in Isabelle currently: โˆ€โˆƒโŠคโŠฅ๐”‡๐”„โ‰ฝโ‡’๐’ฐฯ…ฯ„โ†ฃ๐Ÿญโ€นโ€บโˆ…ร—โˆˆโІ


> I am using a Stream Deck for that.

Something like the DuckyPad[0,1] might work for that as well. I haven't tried using mine for APL or anything like that, but it's been great for use as a "Zoom meeting control", numpad, and MacOS shortcut pad.

[0] https://github.com/dekuNukem/duckyPad/

[1] https://www.tindie.com/products/dekuNukem/duckypad-do-it-all...




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: