sa-tests-db: data flows in static analysis https://sudonull.com/sa-tests-db-data-flows-in-static-analysis
Learn how data flow analysis and interprocedural approach allow the static analyzer to pass Russian National Standard R 71207-2024 on sa-tests-db. Details on data-flow, control-flow, and hybrid scheme for C, Java, Python.
Online AutoCAD courses: top-5 for beginners https://sudonull.com/online-autocad-courses-top-5-for-beginners
Choose an AutoCAD course according to GOST: from free Stepik to Eduson engineering cases. Practice, certificates, portfolio. Comparison of formats and prices — start learning today.
LLM for parsing GOSTs: from 2 hours to 5 min https://sudonull.com/llm-for-parsing-gosts-from-2-hours-to-5-min
Case of automating parameter extraction from GOST scans in production. LLM reduced time on control charts by 24 times. Architecture, prompts, debugging for developers.
Verification of busbar loss calculation according to Russian National Standard 35224 https://sudonull.com/verification-of-busbar-loss-calculation-according-to-russian-national-standard-35224
Check the accuracy of the NKU busbar heating web calculator: MAPE 4-7%, R² up to 0.987 according to Russian National Standard. Algorithms with skin effect and heat dissipation for engineers. Calculate losses online.