2 days ago



The question we should continually insist on asking ourselves, both as makers of tools and users of them, is how they can help us improve the flow of love. Do they connect us with each other, and reinforce our instincts to treat each other as moral ends? Do they help us convey our love out into the world through information and interfaces, or help us know when we are being offered any?

I get what he’s saying, and there’s some nice prose here, but to me it seems like a whole lot of jibber-jabber. AI is making even the smartest people in my blogroll a bit loopy.


Stitch generates UIs for mobile and web applications, making design ideation fast and easy.

by patux 1 day ago saved 2 times

4 days ago

It’s been an interesting few weeks for counterexamples. This post is basically my perspective of what has been going on in the world of formalization, AI tools and, in particular, counterexamples.

Crazy shit, dog.

by kawcco 3 days ago saved 2 times