ThreadSky
About ThreadSky
Log In
liamoc.net
•
21 days ago
it's not like what you're describing though
Comments
Log in
with your Bluesky account to leave a comment
[–]
brendanzab.bsky.social
•
21 days ago
Ah yeah, probably a bit of a stretch now re-reading the original post. Was thinking about how you could play around with logic and type theory stuff in a way that might not be sound or correct(?), but there was still a ton of value in that.
1
1
reply
[–]
krismicinski.bsky.social
•
21 days ago
it's cool to see examples of demos regardless--I'll check it out.
0
reply
Posting Rules
Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service
×
Reply
Post Reply
Comments