Posts

• Chat GPT CoProgramming
  2024-02-07
• DeepMind's AlphaGeometry would win Math Olympiads Silver Medal
  2024-01-31
• How to protect critical network infrastructure against sabotage?
  2023-10-31
• Discover C++ applications via static code analysis.
  2023-05-14
• Practical Complexity Analysis
  2023-01-14
• NASAs view on how to handle embedded real-time software complexity
  2022-10-31
• Voyager 1 team recovered communication failure 45 years into the journey
  2022-08-14