═══════════════════════════════════════════════════════════════ Public HTML Pages — zuwasi/Public-html-pages GitHub Pages: https://zuwasi.github.io/Public-html-pages/ Auto-updated on every commit via GitHub Actions ═══════════════════════════════════════════════════════════════ Last updated: 2026-09-20 ────────────────────────────────────────────────────────────── PAGE LINKS ────────────────────────────────────────────────────────────── 1. index.html https://zuwasi.github.io/Public-html-pages/index.html 2. 1goat_Report.html https://zuwasi.github.io/Public-html-pages/1goat_Report.html 3. AI_Coding_Tools_Security_Comparison.html https://zuwasi.github.io/Public-html-pages/AI_Coding_Tools_Security_Comparison.html 4. AI_Coding_Tools_Security_Comparison_Report.html https://zuwasi.github.io/Public-html-pages/AI_Coding_Tools_Security_Comparison_Report.html 5. Ampcode_CISO_Security_Review.html https://zuwasi.github.io/Public-html-pages/Ampcode_CISO_Security_Review.html 6. Avraham_Gilo_Lemma1_Presentation.html https://zuwasi.github.io/Public-html-pages/Avraham_Gilo_Lemma1_Presentation.html 7. BD-SECURITY-TDSQL-Presentation.html https://zuwasi.github.io/Public-html-pages/BD-SECURITY-TDSQL-Presentation.html 8. BlueField-2-ConnectX-6-Dx-Linux-to-Automotive.html https://zuwasi.github.io/Public-html-pages/BlueField-2-ConnectX-6-Dx-Linux-to-Automotive.html 9. Claude-Code-Qwen-Local-Guide.html https://zuwasi.github.io/Public-html-pages/Claude-Code-Qwen-Local-Guide.html 10. Claude_HalfLife_Test.html https://zuwasi.github.io/Public-html-pages/Claude_HalfLife_Test.html 11. Dive-into-Claude-Code-Presentation.html https://zuwasi.github.io/Public-html-pages/Dive-into-Claude-Code-Presentation.html 12. Euclidean_Remainder_Fallacy_Fix.html https://zuwasi.github.io/Public-html-pages/Euclidean_Remainder_Fallacy_Fix.html 13. Euclidean_Remainder_Fallacy_Presentation.html https://zuwasi.github.io/Public-html-pages/Euclidean_Remainder_Fallacy_Presentation.html 14. ISO-26262-Compliance-Toolkit.html https://zuwasi.github.io/Public-html-pages/ISO-26262-Compliance-Toolkit.html 15. MLX5-to-Zephyr-MISRA-Journey.html https://zuwasi.github.io/Public-html-pages/MLX5-to-Zephyr-MISRA-Journey.html 16. MSVC_Two_Widenings_Bug_Presentation.html https://zuwasi.github.io/Public-html-pages/MSVC_Two_Widenings_Bug_Presentation.html 17. NotebookComparison_Presentation.html https://zuwasi.github.io/Public-html-pages/NotebookComparison_Presentation.html 18. Quantum_MathBridge.html https://zuwasi.github.io/Public-html-pages/Quantum_MathBridge.html 19. SBOMator_vs_FiniteState_Decision.html https://zuwasi.github.io/Public-html-pages/SBOMator_vs_FiniteState_Decision.html 20. Trivy-Attack-SBOMator-Defense.html https://zuwasi.github.io/Public-html-pages/Trivy-Attack-SBOMator-Defense.html 21. Unified_Intelligence_Platform_Proposal.html https://zuwasi.github.io/Public-html-pages/Unified_Intelligence_Platform_Proposal.html 22. VeriMath_Pitch_Abel_Nazareth.html https://zuwasi.github.io/Public-html-pages/VeriMath_Pitch_Abel_Nazareth.html 23. WebGoat_20260824_Report.html https://zuwasi.github.io/Public-html-pages/WebGoat_20260824_Report.html 24. agent-halflife-tester.html https://zuwasi.github.io/Public-html-pages/agent-halflife-tester.html 25. ai-coding-agent-cost-calculator.html https://zuwasi.github.io/Public-html-pages/ai-coding-agent-cost-calculator.html 26. ai_agent_eval_presentation.html https://zuwasi.github.io/Public-html-pages/ai_agent_eval_presentation.html 27. amp-arupilot-security-benchmark.html https://zuwasi.github.io/Public-html-pages/amp-arupilot-security-benchmark.html 28. amp-deep3-vs-claude-opus47-benchmark.html https://zuwasi.github.io/Public-html-pages/amp-deep3-vs-claude-opus47-benchmark.html 29. amp-lost-in-the-middle-presentation.html https://zuwasi.github.io/Public-html-pages/amp-lost-in-the-middle-presentation.html 30. ampcode-mcp-defense-presentation.html https://zuwasi.github.io/Public-html-pages/ampcode-mcp-defense-presentation.html 31. ampcode-prompt-injection-immunity.html https://zuwasi.github.io/Public-html-pages/ampcode-prompt-injection-immunity.html 32. ampcode-vs-claudecode-presentation.html https://zuwasi.github.io/Public-html-pages/ampcode-vs-claudecode-presentation.html 33. answer-to-tannenbaum-concern.html https://zuwasi.github.io/Public-html-pages/answer-to-tannenbaum-concern.html 34. apweb-security-bakeoff-judge.html https://zuwasi.github.io/Public-html-pages/apweb-security-bakeoff-judge.html 35. asn1c-cpp26-modernization.html https://zuwasi.github.io/Public-html-pages/asn1c-cpp26-modernization.html 36. asn1c-workbench-amp-presentation.html https://zuwasi.github.io/Public-html-pages/asn1c-workbench-amp-presentation.html 37. baboons-benchmark-report.html https://zuwasi.github.io/Public-html-pages/baboons-benchmark-report.html 38. baboons-face-off.html https://zuwasi.github.io/Public-html-pages/baboons-face-off.html 39. comparison-presentation-detailed.html https://zuwasi.github.io/Public-html-pages/comparison-presentation-detailed.html 40. comparison-presentation-executive.html https://zuwasi.github.io/Public-html-pages/comparison-presentation-executive.html 41. comparison-report.html https://zuwasi.github.io/Public-html-pages/comparison-report.html 42. cpp26-embedded-mavlink.html https://zuwasi.github.io/Public-html-pages/cpp26-embedded-mavlink.html 43. cuda-to-axelera-migration.html https://zuwasi.github.io/Public-html-pages/cuda-to-axelera-migration.html 44. embedox-misra-c2023-presentation.html https://zuwasi.github.io/Public-html-pages/embedox-misra-c2023-presentation.html 45. endorlabs-amp-integration-presentation.html https://zuwasi.github.io/Public-html-pages/endorlabs-amp-integration-presentation.html 46. final-scores.html https://zuwasi.github.io/Public-html-pages/final-scores.html 47. harness-beats-model.html https://zuwasi.github.io/Public-html-pages/harness-beats-model.html 48. harness-story-backup.html https://zuwasi.github.io/Public-html-pages/harness-story-backup.html 49. harness-story.html https://zuwasi.github.io/Public-html-pages/harness-story.html 50. hiring-agent-presentation.html https://zuwasi.github.io/Public-html-pages/hiring-agent-presentation.html 51. nesher2gm-pentest-operator-guide.html https://zuwasi.github.io/Public-html-pages/nesher2gm-pentest-operator-guide.html 52. nono-ampcode-presentation.html https://zuwasi.github.io/Public-html-pages/nono-ampcode-presentation.html 53. optical-ai-network-comparison-presentation.html https://zuwasi.github.io/Public-html-pages/optical-ai-network-comparison-presentation.html 54. proof-lean-cbmc.html https://zuwasi.github.io/Public-html-pages/proof-lean-cbmc.html 55. rna-transcript-svd-lean4-presentation.html https://zuwasi.github.io/Public-html-pages/rna-transcript-svd-lean4-presentation.html 56. skillspector-droid-locate-and-judge.html https://zuwasi.github.io/Public-html-pages/skillspector-droid-locate-and-judge.html 57. static-code-analysis-2026.html https://zuwasi.github.io/Public-html-pages/static-code-analysis-2026.html 58. why-amp-doesnt-need-node9-proxy.html https://zuwasi.github.io/Public-html-pages/why-amp-doesnt-need-node9-proxy.html 59. wolfram-engine-gpu-demo-presentation.html https://zuwasi.github.io/Public-html-pages/wolfram-engine-gpu-demo-presentation.html 60. xdp-verification-workflow-presentation.html https://zuwasi.github.io/Public-html-pages/xdp-verification-workflow-presentation.html ────────────────────────────────────────────────────────────── OTHER FILES ────────────────────────────────────────────────────────────── • Ampcode.png https://zuwasi.github.io/Public-html-pages/Ampcode.png • Ampcode_CISO_Security_Assessment_Report.txt https://zuwasi.github.io/Public-html-pages/Ampcode_CISO_Security_Assessment_Report.txt • ESL-AI-LOGOS.png https://zuwasi.github.io/Public-html-pages/ESL-AI-LOGOS.png • SECURITY_ASSESSMENT_REPORT.md https://zuwasi.github.io/Public-html-pages/SECURITY_ASSESSMENT_REPORT.md • adaptive-visual-context https://zuwasi.github.io/Public-html-pages/adaptive-visual-context • agent-halflife-tester-guide.md https://zuwasi.github.io/Public-html-pages/agent-halflife-tester-guide.md • agent-memory-benchmark https://zuwasi.github.io/Public-html-pages/agent-memory-benchmark • ai-cost-estimation-presentation https://zuwasi.github.io/Public-html-pages/ai-cost-estimation-presentation • amp-logo-aaaa.png https://zuwasi.github.io/Public-html-pages/amp-logo-aaaa.png • amp-logo.png https://zuwasi.github.io/Public-html-pages/amp-logo.png • amp-paper-to-nb.png https://zuwasi.github.io/Public-html-pages/amp-paper-to-nb.png • amp-vs-langgraph https://zuwasi.github.io/Public-html-pages/amp-vs-langgraph • amp-workflow.png https://zuwasi.github.io/Public-html-pages/amp-workflow.png • ampcode-classiq-research-orchestrator https://zuwasi.github.io/Public-html-pages/ampcode-classiq-research-orchestrator • assets https://zuwasi.github.io/Public-html-pages/assets • axelera-logo-white.png https://zuwasi.github.io/Public-html-pages/axelera-logo-white.png • biosense-heartgcn-demo https://zuwasi.github.io/Public-html-pages/biosense-heartgcn-demo • cardioband-tr-wolfram-demo https://zuwasi.github.io/Public-html-pages/cardioband-tr-wolfram-demo • cardiotwin-tr-product-demo https://zuwasi.github.io/Public-html-pages/cardiotwin-tr-product-demo • claude-code-skills-vs-amp https://zuwasi.github.io/Public-html-pages/claude-code-skills-vs-amp • cortex-m-call-anatomy https://zuwasi.github.io/Public-html-pages/cortex-m-call-anatomy • cpp-debugging-evidence-demo https://zuwasi.github.io/Public-html-pages/cpp-debugging-evidence-demo • early-dos-html https://zuwasi.github.io/Public-html-pages/early-dos-html • edpb-databom-legal-edition https://zuwasi.github.io/Public-html-pages/edpb-databom-legal-edition • edpb-guidelines-databom-risk https://zuwasi.github.io/Public-html-pages/edpb-guidelines-databom-risk • esl-cra-solutions https://zuwasi.github.io/Public-html-pages/esl-cra-solutions • esl-fda-software-evidence-services https://zuwasi.github.io/Public-html-pages/esl-fda-software-evidence-services • esl-sbomator-report-examples https://zuwasi.github.io/Public-html-pages/esl-sbomator-report-examples • floating-point-heat-method-verification https://zuwasi.github.io/Public-html-pages/floating-point-heat-method-verification • games https://zuwasi.github.io/Public-html-pages/games • github-trends-watch-presentation https://zuwasi.github.io/Public-html-pages/github-trends-watch-presentation • hallusquatting-protection https://zuwasi.github.io/Public-html-pages/hallusquatting-protection • harness-site.css https://zuwasi.github.io/Public-html-pages/harness-site.css • jev-decision-safeguards https://zuwasi.github.io/Public-html-pages/jev-decision-safeguards • level5-safety-pipeline https://zuwasi.github.io/Public-html-pages/level5-safety-pipeline • mantiq-factor-fhe-hardware https://zuwasi.github.io/Public-html-pages/mantiq-factor-fhe-hardware • mantiq-solidity https://zuwasi.github.io/Public-html-pages/mantiq-solidity • msvc-o1-miscompilation-parasoft https://zuwasi.github.io/Public-html-pages/msvc-o1-miscompilation-parasoft • mysticeti-consensus-digital-twin https://zuwasi.github.io/Public-html-pages/mysticeti-consensus-digital-twin • nono-logo.png https://zuwasi.github.io/Public-html-pages/nono-logo.png • og-frontier.jpg https://zuwasi.github.io/Public-html-pages/og-frontier.jpg • og-how-i-use-amp.jpg https://zuwasi.github.io/Public-html-pages/og-how-i-use-amp.jpg • origami-continuum-inverse-design https://zuwasi.github.io/Public-html-pages/origami-continuum-inverse-design • parasoft-cpptest-obfuscation https://zuwasi.github.io/Public-html-pages/parasoft-cpptest-obfuscation • parasoft-ti-armclang-misra-setup https://zuwasi.github.io/Public-html-pages/parasoft-ti-armclang-misra-setup • sbomator-cra-reporting-demo https://zuwasi.github.io/Public-html-pages/sbomator-cra-reporting-demo • sbomator-databom-presentation https://zuwasi.github.io/Public-html-pages/sbomator-databom-presentation • sbomator-fda-edition https://zuwasi.github.io/Public-html-pages/sbomator-fda-edition • sbomator-supply-chain-detection https://zuwasi.github.io/Public-html-pages/sbomator-supply-chain-detection • services https://zuwasi.github.io/Public-html-pages/services • terratest-ampcode-esl-presentation https://zuwasi.github.io/Public-html-pages/terratest-ampcode-esl-presentation • terratest-diff-esl-presentation https://zuwasi.github.io/Public-html-pages/terratest-diff-esl-presentation • tools https://zuwasi.github.io/Public-html-pages/tools • wolfram-engine-gpu-demo-assets https://zuwasi.github.io/Public-html-pages/wolfram-engine-gpu-demo-assets • yocto-bsp-studio-design-partner https://zuwasi.github.io/Public-html-pages/yocto-bsp-studio-design-partner ══════════════════════════════════════════════════════════════