syntheticblue project notes
blog projects
β•­ 𝟘𝟠· The Pimoroni Inky Impression 13.3" is beautiful! e-Paper has a long way to go in terms of color gamut, precision and refresh times, but the reflective surface makes
β”Š e-Paper feel more natural and β€˜in the world’ than emissive displays.
β”Š
𝕁 β”Š πŸ™πŸ™Β· Super excited to explore colorimetry with two breakout boards from Adafruit, one sporting an XYZ sensor and the other detecting 8 bands in the visible spectrum with
𝕦 β”Š an additional near infra-red band and another broad spectrum (white light) sensor. They power up and found by i2cdetect on my Raspberry Pi and it's time to start
π•Ÿ β”Š poking around the sample code to get them up and running.
𝕖 β”Š
β”Š πŸ™πŸ Β· I've been enjoying Python's tremendous flexibility but am converging, with support from a preprocessor, on a consistent style. Once things are stable enough to focus
β”Š on performance, I'll use my preprocessor to target a mix of C or C++ and a more performant runtime than the standard Python interpreter.
β•° πŸ›πŸ˜Β· I'm generalizing the way I validate proof steps so inference rules match if any formulae with an equivalent (Sapphire specific) normal form would have matched.