Kristopher Micinski

Kristopher Micinski

krismicinski.bsky.social

kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.

👤 Joined on 13 November 2024

1064

Followers

1057

Following

1017

Total Posts

📜 Kullanıcı Geçmişi

  • 13 Kas 2024, 06:06
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @krismicinski.bsky.social

🚫 Blokladığı Kullanıcılar

❤️ Beğendiği Gönderiler

POV: we stole your spot on the couch

Show Post

ht @krismicinski.bsky.social for a speech by Adm. Hopper herself where she talks about what she built dl.acm.org/doi/10.1145/... here's page 10:

Show Post

Who cares. It was a joke not a Witch hunt, but yes some people 👀 do seem to act like it’s Twitter (and constantly as ‘is this Twitter) By the way; I like Pancakes AND Waffles

Show Post

A very nice post out of @materialize.com about "representation types" which remove non-structural distinctions between types as they approach the dataflow rendering layer, unlocking physical optimizations across logically distinct types: materialize.com/blog/no-clas...

Show Post

Select language

Install App

Install App