Tag: FormalMethods

• Tematy, o których teraz się mówi No163

  Jak oszukać boty kreatywne techniki obrony przed web-crawlerami • Od COBOL do Kotlin modernizacja z użyciem metod formalnych • Notatki o projektowaniu języków programowania • Human Fovea Detector

  14/11/2025

  Blog, Nowości

  Algorithms, CompilerDesign, ComputerVision, DataScience, DataStructures, DeepLearning, DesignPatterns, DeveloperTooling, FormalMethods, FunctionalProgramming, Kotlin, LegacyCode, MachineLearning, NaturalLanguageProcessing, ObjectOrientedProgramming, OpenSource, ProgrammingLanguages, WebSecurity