News

Physics and Python stuff. Most of the videos here are either adapted from class lectures or solving physics problems. I really like to use numerical calculations without all the fancy programming ...
changed the title Should the MCP transport layers for server abide to a python Protocol ? Should add a guiding TransportProtocol for custom transports? (similar to TypeScript interface) 2 weeks ago ...
Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This ...