see shy jo @joeyh@octodon.social

just did git commit -m t

and if you look at the commit, it either makes total sense why I used that commit message, or it looks like an absolute nonsense change

• This Pin does not support digital IO
• In a stmt of a 'do' block: buttonpressed <- readfrom a7

Ohhh yeah

using type-level programming to keep a microprocessor's pins from being misued, as you do

https://joeyh.name/blog/entry/announcing_arduino-copilot/ #haskell #arduino

after some hacking today, I can write this #haskell code using copilot that gets compiled into an arduino sketch that flashes the led on and off and also lights it up if a button is pressed

flash = clk (period 2) (phase 1)

main :: IO ()
main = arduino $ do
b <- button
led =: b || flash
delay =: constI16 100

at least hypothetically, I've not bothered to run haskell yada yada hardware

lol, github does not let me attach .c files to issues, I have to gzip them first

such impressive usability

anyhow, I filed a bug report on NASA code for a fencepost error, so I guess it was worth it? https://github.com/Copilot-Language/copilot/issues/55

Yeah, I'm thinking about using a thing developed for NASA to automate my fridge

was thinking it would be nice to have a #haskell EDSL supporting FRP that generated C code that could run on #arduino

Then I found https://copilot-language.github.io/

I think the only part that's missing is the arduino hardware specific part!

Red beans and rice, cooked on the wood stove overnight during this cold snap.

"newly invented ‘abuse of power’ theory"

actual US political talking point #2020

#parislasagna

(and I'm not intending to elevate IRC culture here.. it's cultured the way a cheese is)

am I the only one who, whenever I see some "influencer" picking hashtags is like, this is what happened to 90's IRC culture?!

lazing in my pj's, reached in a pocket and found a 5 inch bolt

oh yeah, these are my _construction_ pj's..

I let one little instance of dynamic typing into my #haskell program (using Typeable), and as a result I lost 2 hours to debugging

Shoulda known better.

wandered the aisles of a big box store carrying a 6 foot tall, 50 lb iron rod with a pointy end, total medieval seige weaponry

(they're over in earthworks)

I may be the second person on the planet to try szechuan peppercorn coffee

cooked szechuan food for the first time today

also, it turns out, ate szechuan food for the first time today