Jose Crespo’s Post

View profile for Jose Crespo

Mathematician lurking in the Tech Underworld

I fully support this (Dmitry Vostokov 🇮🇪) We already have the tools to make software safe and functional, and to close the hole we’re facing: AI? Chaos. Heuristics without proof. Mainstream coding? Endless unit tests as “truth.” The fix is simple: Category theory at compile time. Formal verification before runtime (SPARK, Lean).

View profile for Dmitry Vostokov 🇮🇪

Diagnostician. The Author of Diagnomicon. The Gang of One. Software Surgeon. Machine Learning and AI for Software Diagnostics and Observability. Generative Debugging.

Today, I thought about the connection between Windows internals concepts and category theory, similar to what I did for Windows and Linux APIs (without LLMs at that time). I delegated this task to GPT-5, including Linux, macOS, and category-theoretic cross OS unification. I spotted a few strange associations, however. The list of concepts and some additional examples and references are here: https://lnkd.in/e5AEvE_R

Meenakshi A.

Technologist & Believer in Systems for People and People for Systems

3w

Thanks for the good 😊

Like
Reply

To view or add a comment, sign in

Explore content categories