Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.
Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.
not my blog but i recently discovered acko.net which i can recommend. awesome personal website
@fastidious๐profilefollow"Beware those that would deny you access to information, for in their heart they dream themselves your master." โ Sid Meyersreplied to@jamesjan3profilefollowresearcher, developer, dancer:
That site makes me dizzy with all the animations and fly ins/outs.
When I write I just add html files to the swiley.net folder in public.swiley.net. Sometimes I syndicate elsewhere (I was doing Substack for a while before Notes took over.)