natecull of the Malleable Systems Collective: “can we take the Logic Programming model as in #Prolog or #Kanren, and remove the concept of “logic variable” from it, ending up with a fully point-free logic programming?” He was excited to find #Binate. #logic-programming #binary-relations
#PDF #paper from #Bresenham in 01965 giving Bresenham’s line-drawing algorithm: “Algorithm for computer control of a digital plotter”. Says the original paper was “An incremental algorithm for digital plotting” in 01963. Also incidentally says Iverson “introduced” the floor/ceiling notation, though as they were both IBMers, possibly we should take that “seriously but not literally”. 2-D #graphics #algorithms
#PDF #paper from 02013 about the language #Halide for #GPGPU #graphics
there’s a stainless steel statue of Yang Asha in #Guizhou, #China that’s larger than the Statue of Liberty, and there was also a similar statue of Guan Yu in Jingzhou (#Hubei), which was dismantled in 02021 and will be moved to Dianjiangtai, and an even larger statue of the Buddha in #Wuxi (#Jiangsu?). Also China has ⅘ of the world’s tallest 100 bridges!
#PDF scan of Phil Koopman’s article (01986? #FORTH Dimensions Volume VIII, No. 6) giving #Bresenham’s line-drawing algorithm in Forth. 23 lines of code provide a driver for 4-color CGA with comments explaining how to patch it for EGA or 2-color CGA. He got the algorithm from p. 435 of “Foley and Van Dam, Fundamentals of ICAD”, maybe actually “Fundamentals of Interactive Computer Graphics”, where p. 435 gives an implementation in Pascal. 2D #graphics #retrocomputing
now you can docker run -it stagex/stage0 to test #stage0 #bootstrapping; stage0s/live-bootstrap is supposed to be a drop-in replacement for Alpine as a basis for #Docker container images. Lance R. Vick says they are “adding support for podman next, then buildah, kaniko etc.”
#Sigrok can now use #STM32 or compatible #Blue-Pill #hardware as a #logic-analyzer using the #buck50 firmware. 8 channels, 6 MHz, 5000 samples, stored only on transitions; also usable as a 1Msps dual-channel digital storage #oscilloscope with 5000 samples
why #Scheme didn’t have read macros at least as of #R6RS
#Wisp is a whitespace-sensitive #syntax for #Scheme (so far implemented only for #Guile), standardized as #SRFI 119
Main "Wisp" #Scheme (#Guile) dialect page, with screencasts and #Emacs Lisp support and so on
#Graphics Gems book series home page, with all the code
Mark R. Rubin’s GPL "buck50" #Sigrok #logic-analyzer firmware for #STM32 #Blue-Pill #hardware. Also comes with a CLI to puppet it over USB and use it, for example, as a USB UART.
#tutorial for installing a #USB #bootloader (Roger Clark’s #stm32duino) for the #STM32 #Blue-Pill #hardware
"STM32duino" #USB #bootloader firmware for the #STM32 #Blue-Pill #hardware derived from maple-bootloader
The #Black-Magic-probe #hardware “is a #JTAG and #SWD adapter with a built in GDB server used for programming and #debugging ARM Cortex MCUs” at #pricing of US$75
"Black Magic probe" #JTAG and #SWD #hardware #debugging homepage
Another #STM32 #Blue-Pill #hardware #USB #bootloader firmware. “This is a driverless (no USB drivers needed, even on Windows) USB HID bootloader for STM32F10x and STM32F4xx devices. It doesn’t use ST libraries since they are bloated and buggy. Only CMSIS and some required system files and macros have been used from ST provided SDK.”
Initial #buck50 #Sigrok #logic-analyzer #STM32 firmware announcement from 02020. Including discussion of #performance and how it differs from the #ARM reference manual cycle counts.