4 ms·
I commend you for wanting to teach children alternatives to digital. While binary & hexadecimal are popular, especially if you want to get them into the nuts &
by __s 9y ago
I commend you for wanting to teach children alternatives to digital. While binary & hexadecimal are popular, especially if you want to get them into the nuts & bolts of computers, I'd be interested to hear any reflections on duodecimal. I'm not too big a fan of this counting method: https://mihaslekovec.files.wordpress.com/2016/05/duodecimal-hand.png https://mihaslekovec.files.wordpress.com/2016/05/duodecimal-... as it comes off as a bit too digitcentric for my tastes
Balanced ternary could be a real fun starting point-- getting negative numbers involved asap surely has some great benefits. I think if balanced ternary was exposed to children more often at an early age we'd have a lot of these new fangled type level numbers being balanced ternary. I was playing around with implementing such in Rust: https://github.com/serprex/lambdaski/blob/master/src/typenum3.rs https://github.com/serprex/lambdaski/blob/master/src/typenum...
Binary comes off as particularly weak when type systems are still resolving lambda terms / prolog logic as associative maps & trees. http://repository.readscheme.org/ftp/papers/topps/D-456.pdf http://repository.readscheme.org/ftp/papers/topps/D-456.pdf benchmarks 5 as being an ideal radix perfwise, but that does seem implementation dependent
My father wrote a song reflecting on our digital world: https://drive.google.com/file/d/0Bw-au4sqKD2gWVJqOGFzSEVoakxPcGpoRTFQYVBqWWw2SlNv/view https://drive.google.com/file/d/0Bw-au4sqKD2gWVJqOGFzSEVoakx...
Stay strong & good luck
- tarboreus 9y agoI'm amused with how much you've amused yourself here.