2022-01-27 17:10:37 <crab_       > howdy
2022-01-27 17:12:09 <crab_       > Have any of you guys used a JLink EDU Mini with OpenOCD before? Ive got a pinetime i want to muck about with but keep getting "No JLink device found" errors
2022-01-27 17:48:10 <joe9        > is it close to the pinephone?
2022-01-27 18:13:39 <crab_       > It's the same people but not so close
2022-01-27 18:13:57 <crab_       > it has a nrf52832
2022-01-27 18:34:57 <joe9        > #cat-v folks were playing around with the pinephone stuff. maybe they might know more.
2022-01-27 23:11:38 <joe9        > anyone around?
2022-01-27 23:11:57 <joe9        > @crc ^^
2022-01-27 23:13:25 <klys        > 
ACTION wonders

2022-01-27 23:14:58 <dave0       > hi joe9, klys
2022-01-27 23:15:17 <klys        > hi dave0
2022-01-27 23:23:14 <joe9        > dave0, have you heard of inferno?
2022-01-27 23:23:51 <joe9        > it is an operating system from bell labs that was meant to be a competitor to java in the early 2000's..
2022-01-27 23:24:10 <dave0       > joe9: only as a name.. never tried it
2022-01-27 23:24:29 <joe9        > so, I replaced their userspace (dis vm and limbo) with forth and these are the figures I get http://okturing.com/src/13043/body
2022-01-27 23:24:32 <dave0       > i only know it as the sucessor to plan 9
2022-01-27 23:24:54 <joe9        > inferno uses linear memory (no paging) and also does not use the syscall gate.
2022-01-27 23:25:40 <joe9        > without any address checking and direct threaded code and no optimizations, it beats userspace C.
2022-01-27 23:26:29 <joe9        > but, with my address checking calls (2 functions), it comes to around 150% of C.
2022-01-27 23:27:22 <joe9        > s/it/felix forth/