תוכן עניינים — מצגות ודוחות

כל הדפים הציבוריים באתר zuwasi.github.io/Public-html-pages, מקובצים לפי נושא, עם תאריך פרסום ראשוני ותאריך עדכון אחרון מתוך היסטוריית git · עודכן 28.07.2026

★★★ NEW — JUST CAME IN ★★★

המצגות החדשות ביותר — הוסרו לכאן לגישה מהירה

NEW · AI SDLC / JEV A Fast Decision Is Not a Verified Result: Jev Decision Safeguards Published: 2026-09-20
Daniel Liezrowice, ESL: an interactive walkthrough of context filtering, missing-evidence review gates, and confidently wrong routing. Adjust the threshold to compare errors with deferred work. Synthetic illustration, not measured Jev performance.
NEW · MANTIQ / SOLIDITY MantiQ / Solidity: From Escrow Defect to Engineering Evidence Published: 2026-09-20
Daniel Liezrowice presents 15 ESL-branded slides with actual screenshots: local EVM tests, Wolfram checks, Lean 4 model proofs, optional Olympix scanning, and ESL SBOMator. Explore the license-enriched SBOMator report (368 components, zero missing licenses) and automated recorded-evidence tour, with missing access and vulnerability findings retained. Educational evidence, not a production security guarantee.
NEW · AI AGENT MEMORY Memory, Under Test — Interactive Agent Memory Benchmark Published: 2026-09-18
A critical, evidence-first examination of agent memory claims. Compare stateless, full-context, and governed selective-memory strategies across six interactive scenarios, inspect decision traces, disable safeguards, and download reproducible benchmark results.
NEW · EMBEDDED / CORTEX-M What Really Happens When You Call a Function in C? -O0 vs -O2 on Cortex-M4 Published: 2026-09-11
The textbook "6 steps of a function call" is a picture of -O0. Real arm-none-eabi-gcc output shows the call vanishing at -O2 (30 instructions become 2), what a forced call looks like (stack alignment padding, -fipa-ra keeping a scratch register live, pop {r3, pc} as the ROP surface), plus an emulator-driven animation of every instruction, register and stack word.
NEW · C++ DEBUGGING Beyond Breakpoints to Evidence — ESL C++ Debugging Demo Published: 2026-08-15
A hands-on companion to Vivek Bhadra's “Beyond Breakpoints”: one reproducible use-after-free defect investigated with AddressSanitizer and GDB, corrected through explicit ownership, and protected by automated regression tests—with a one-click WSL runner and findings dashboard.
NEW · FHE HARDWARE MantiQ Factor — From FHE Research to Verified Accelerator Hardware Published: 2026-08-15
A 60-slide evidence-driven journey from the public REED paper through Mathematica, Lean 4, vendor-neutral VHDL simulation, and PYNQ-Z2 implementation—positioned as a reproducible engineering path toward specialized FHE hardware, with physical validation explicitly pending.
NEW · C++ COMPILER BUG When Correct C++ Produces the Wrong Answer — MSVC /O1 Miscompilation & How Parasoft C/C++test Catches It Published: 2026-08-07
MSVC 19.51 /O1 feeds address offsets instead of array values into adc — a value-versus-address optimizer regression. How layered verification (static analysis, unit tests, coverage, compiler diversity, CI gates) with Parasoft C/C++test catches the bad binary before release. Originally published on LinkedIn Pulse.
NEW · EMBEDDED LINUX Yocto BSP Studio — Design Partner Presentation Created: 2026-07-29
A 15-slide product concept for turning scarce Yocto BSP expertise into a guided, auditable workflow covering component selection, BSP generation, isolated builds, simulation, testing, Parasoft C/C++test, ESL SBOMator, CVE triage, SBOMs, VEX, and release evidence.
NEW · WOLFRAM + LEAN 4 Beyond Nonzero — Certified Floating-Point Heat-Method Numerics Created: 2026-07-29
Technical ESL presentation showing how Amp orchestrates a corrected Python solver, Wolfram Mathematica 15 cross-validation, and Lean 4 kernel-checked proofs to diagnose precision loss, finite propagation, CFL positivity, and hidden defects in a Heat Method implementation.
Amp vs. Graph-Based Coding Agents — Why Amp Already Implements the State Machine Created: 2026-07-29
16-slide technical breakdown mapping every node in a graph-based coding agent state machine to Amp's built-in tools. Side-by-side code, oracle vs static gates, parallel milestones, and a decision framework for regulated industries.
חדש · 28.07.2026 The Euclidean Remainder Fallacy — MSVC /O1–/O2 Miscompilation & How Parasoft C/C++test Catches It פורסם: 2026-07-28
MSVC v19.51 optimizer confuses C++ truncated modulo with Euclidean modulo, miscompiling 6U < (v % 5) for negative inputs. How CERT-C INT10-C, MISRA-C 10.4, and C++test unit tests catch the compiler's own error.
חדש · 28.07.2026 Adaptive Visual Context — CARES Research to Verified Agent Workflow פורסם: 2026-07-28
ממחקר CARES לזרימת עבודה מאומתת: Agent Skill, בדיקות מדעיות ב-Wolfram, הוכחות ממוקדות ב-Lean 4 וממשל ESL AI SDLC
חדש · 27.07.2026 EDPB Guidelines 03/2026 — DataBOM Legal Edition (for Privacy & AI Counsel) פורסם: 2026-07-27
גרסת עורכי הדין: ESL כספקית כלים לתעשיות מפוקחות, לקוחות ולוגואים, SPDF "מי מוודא את המוודא", DataBOM כשכבת הראיות ל-LIA/DPIA — התקנה מקומית air-gapped
חדש · 27.07.2026 Embedox Management Command Handlers — MISRA C:2023 Compliance Analysis פורסם: 2026-07-26 · עודכן: 2026-07-27
ניתוח מלא של MISRA C:2023 עם Parasoft C/C++test Professional — V2-fixed: 135 מ-174 הפרות תוקנו, 39 סטיות פורמליות, 48/48 בדיקות יחידה עוברות
חדש · 25.07.2026 GitHub Trends Watch פורסם: 2026-07-25
ניוזלטר אוטומטי לטרנדים ב-GitHub עם ניתוח AI

SBOMator, DataBOM ושרשרת אספקה

  1. NEWESL SBOMator 1.4.7 - From Scan to ENISA CRA Report in Nine MovesPublished: 2026-09-14Animated 13-slide demo with real 1.4.7 screenshots and typed terminal replay: risk dashboard, CI/CD reference verification, and the ENISA SRP drill with 24h and 72h clocks, paste sheet, package manifest and audit chain. Includes an MP4 version (sbomator-cra-reporting-demo.mp4)
  2. NEWESL FDA Software Evidence ServicesPublished: 2026-08-21Focused 9-page brochure covering complete FDA software-evidence execution: SBOM and CVE remediation, static analysis and bug fixing, unit testing and code coverage, and ALM traceability
  3. NEWSBOMator FDA Edition — Section 524B Medical Device CybersecurityPublished: 2026-08-21Interactive 10-page web brochure: submission-ready SBOM, VEX, HBOM, DataBOM, vulnerability intelligence and postmarket evidence for FDA cyber-device submissions
  4. NEWESL Solutions for CRA - Cyber Resilience Act Compliance BrochurePublished: 2026-08-17Full ESL product portfolio mapped to EU Cyber Resilience Act requirements
  5. NEWSBOMator 1.3 — Real-Time Supply-Chain Threat DetectionPublished: 2026-08-06New in 1.3: OSV.dev malware checks in every scan, real-time endpoint watcher, and the zero-day install-hook heuristic — told through the Aug 2026 keyv/cacheable npm attack
  6. NEWWolfram + Lean + eBPF/XDP - Closed-Loop Formal Verification WorkflowPublished: 2026-08-0612-slide walkthrough of a closed verification loop: Wolfram symbolic invariant discovery, Lean 4 machine-checked proofs, and differential testing against a compiled eBPF/XDP rate limiter
  7. NEWParasoft C++test + TI Arm Clang - MISRA C 2025 & Flow Analysis Setup Guide for DevOpsPublished: 2026-08-05Complete DevOps guide for running MISRA C 2025 static analysis with Parasoft C++test and the unsupported TI Arm Clang compiler (tiarmclang) using the tiarmgcc_7 compiler family
  8. חדשEDPB Guidelines 03/2026 — DataBOM Legal Edition (for Privacy & AI Counsel)פורסם: 2026-07-27הגרסה לעורכי דין וליועצים משפטיים: רקע על ESL ולקוחותיה, SPDF, ומה DataBOM פותר ומה נשאר אצל היועץ — עם דגש על התקנה מקומית air-gapped
  9. חדשEDPB Guidelines 03/2026 — Risks & the DataBOM Answerפורסם: 2026-07-21הנחיות ה-EDPB החדשות על web scraping, הסיכונים ל-CTO/CISO/משפט, ומה DataBOM פותר ומה לא
  10. חדשSBOMator DataBOM — An SBOM for Your AI Training Dataפורסם: 2026-07-21מצגת המוצר: סריקת Provenance לדאטהסטים של AI, כולל מסך Mockup והתקנה מקומית air-gapped
  11. ESL SBOMator — Immune to the Trivy Supply Chain Attackפורסם: 2026-03-29למה SBOMator חסין למתקפת שרשרת האספקה של Trivy
  12. SBOMator vs Finite State — Tool Comparisonפורסם: 2026-04-16השוואת כלים והחלטת רכש
  13. ESL SBOMator — Professional SBOM Analysisפורסם: 2026-03-18דוגמת דוח סריקה של SBOMator

Amp מול Claude Code — השוואות ובנצ'מרקים

  1. AI Coding Agent Evaluation — Ampcode vs Claude Codeפורסם: 2026-04-04מתודולוגיית הערכה והשוואה מלאה
  2. Ampcode vs Claude Code — Why Ampcode Winsפורסם: 2026-04-15 · עודכן: 2026-07-27מצגת השוואה תמציתית
  3. QuickSWE v2 — Amp Deep³ vs Claude Opus 4.7פורסם: 2026-04-17 · עודכן: 2026-07-27בנצ'מרק ראש-בראש
  4. Amp Ultra vs Claude Code — Claude Fable 5 Benchmarkפורסם: 2026-07-17 · עודכן: 2026-07-18דוח בנצ'מרק משחק ה-FPS
  5. Baboons Over London — Amp vs Claude, Same Modelפורסם: 2026-07-17 · עודכן: 2026-07-19אותו מודל, harness שונה — עימות ישיר
  6. Final Scores — Amp vs Claudeפורסם: 2026-07-17 · עודכן: 2026-07-18טבלת תוצאות מסכמת
  7. The Harness Beats the Model — Amp Rush vs Claude Fable 5פורסם: 2026-07-13 · עודכן: 2026-07-19התזה: ה-harness חשוב מהמודל
  8. The Harness Beats the Model — Qubits, Baboons & AI Agentsפורסם: 2026-07-17 · עודכן: 2026-07-19גרסת הסיפור המלא
  9. Mohammadian 1988 — Claude vs Amp Slide Deckפורסם: 2026-05-13השוואה על שחזור מאמר ב-Mathematica
  10. Claude Code Skills vs Amp Built-in Capabilitiesפורסם: 2026-07-15השוואת מנגנוני skills
  11. How Amp Solves "Lost in the Middle"פורסם: 2026-04-26איך Amp פותר את בעיית אמצע-הקונטקסט
  12. עבריתבדיקת "זמן מחצית חיים" של Claudeפורסם: 2026-04-07ניסוי דעיכת ביצועים לאורך שיחה
  13. Agent Half-Life Testerפורסם: 2026-04-06הכלי שמודד דעיכת ביצועי סוכן
  14. AI Coding Agent Cost Calculatorפורסם: 2026-05-29 · עודכן: 2026-07-27מחשבון עלויות אינטראקטיבי — קטלוג מודלים רוענן
  15. AI Coding Agent Cost Estimation Dashboardsפורסם: 2026-05-09דשבורדים להערכת עלויות
  16. Dive into Claude Codeפורסם: 2026-06-16 · עודכן: 2026-07-27סקירת עומק של Claude Code
  17. Connect Claude Code to Local Qwen3-Coder / Qwen 2.5 Coderפורסם: 2026-04-06 · עודכן: 2026-07-27מדריך חיבור למודל מקומי — שוכתב ל-Anthropic /v1/messages

אבטחה, CISO ו-AI

  1. AI Coding Tools Security Comparison — CISO Assessmentפורסם: 2026-03-19 · עודכן: 2026-07-27הערכת מוכנות ארגונית של כלי קידוד AI — בדיקה מחדש + הערות יכולות חדשות
  2. AI Coding Tools — CISO Security Comparison Reportפורסם: 2026-03-19 · עודכן: 2026-06-22גרסת הדוח המלא
  3. CISO Security Review — Ampcode (Sourcegraph)פורסם: 2026-03-19סקירת אבטחה ל-Ampcode
  4. Amp-Optimized Security Prompt — Benchmark on ArduPilotפורסם: 2026-05-21בנצ'מרק פרומפט אבטחה על ArduPilot
  5. APWeb Blind Security Bake-off — Droid as a Judgeפורסם: 2026-08-08שיפוט עיוור: Amp מול Claude Code על ArduPilot APWeb
  6. Defending Against MCP Tool Poisoningפורסם: 2026-06-18 · עודכן: 2026-06-19הגנה מהרעלת כלי MCP
  7. עבריתלמה הבאג הזה לא יכול לקרות ב-Ampcodeפורסם: 2026-04-15חסינות ל-prompt injection
  8. nono — AI Agent Security for Ampcodeפורסם: 2026-04-03שכבת אבטחה לסוכני AI
  9. Nesher2GM — Pentest Operator Guideפורסם: 2026-05-01מדריך מפעיל לבדיקות חדירות
  10. SQL Injection — Data Flow Analysisפורסם: 2026-04-02ניתוח זרימת נתונים של SQLi
  11. Endor Labs + Amp Integrationפורסם: 2026-06-16שילוב סריקות Endor Labs בתוך Amp

Embedded, C++ וכלי פיתוח

  1. When Correct C++ Produces the Wrong Answerפורסם: 2026-08-07MSVC /O1 compiler regression and layered verification with Parasoft C/C++test
  2. NEWYocto BSP Studio — Design Partner PresentationPublished: 2026-07-29Guided Yocto BSP configuration, generation, build, simulation, QA, Parasoft C/C++test, ESL SBOMator, CVE/SBOM/VEX analysis, and evidence-based release gates
  3. חדשThe Euclidean Remainder Fallacy — MSVC /O1–/O2 Miscompilation & How Parasoft C/C++test Catches Itפורסם: 2026-07-28MSVC v19.51 optimizer assumes Euclidean modulo range instead of C++ truncated modulo — and how CERT-C INT10-C, MISRA-C 10.4, and C++test unit tests would have caught the compiler's own error
  4. ASN1C to Modern C++26פורסם: 2026-05-31מודרניזציה של קוד ASN1C
  5. ASN1C Workbench + Ampפורסם: 2026-05-31סביבת עבודה ל-ASN.1 עם Amp
  6. C++26 for Embedded: MAVLink on RP2040פורסם: 2026-04-22C++26 במערכות משובצות
  7. NEWISO 26262 Compliance Toolkit — ConnectX-6 DxPublished: 2026-08-1910-slide toolkit presentation: PyQt6 dashboard (10 tabs), 3-phase Scan→Triage→Verify workflow, formal deviation management, GCS/GRP document generation, and unit testing/coverage tracking for ISO 26262 ASIL-B
  8. NEWBlueField-2 / ConnectX-6 Dx — Linux to AutomotivePublished: 2026-08-199-slide driver architecture presentation: 5-module Zephyr design, 8-state device state machine, TX/RX/IRQ data paths, 58 unit tests, and 55% completion status
  9. NVIDIA MLX5 → Zephyr RTOS: The MISRA C Journeyפורסם: 2026-04-06מסע הסבה ל-MISRA C
  10. Parasoft C/C++test and Obfuscationפורסם: 2026-07-19ניתוח סטטי וקוד מעורפל
  11. CUDA → Axelera Migration Guideפורסם: 2026-04-15מדריך הגירה ל-Axelera Metis
  12. עבריתניתוח קוד סטטי ובדיקות דינאמיות 2026פורסם: 2026-04-06עידן הבינה המלאכותית בניתוח קוד
  13. Ampcode × Terratestפורסם: 2026-07-05בדיקות תשתית עם Terratest ו-Amp
  14. Terratest × Ampcode — The Diffפורסם: 2026-07-05גרסת ה-diff של אותו נושא
  15. חדשEmbedox Management Command Handlers — MISRA C:2023 Compliance Analysisפורסם: 2026-07-26 · עודכן: 2026-07-27ניתוח מלא של MISRA C:2023 עם Parasoft C/C++test Professional, כולל V2-fixed: 135 מ-174 הפרות תוקנו, 39 סטיות פורמליות, 48/48 בדיקות יחידה עוברות, דוח תיקון ודוח סטיות
  16. חדשGitHub Trends Watchפורסם: 2026-07-25ניוזלטר אוטומטי לטרנדים ב-GitHub עם ניתוח AI
  17. Why Amp Doesn't Need node9-proxyפורסם: 2026-03-28ניתוח ארכיטקטורת רשת
  18. Droid as Locate-and-Judge — SkillSpectorפורסם: 2026-07-20שיפוט אוטומטי של skills

Wolfram, מתמטיקה ומחקר

  1. חדשBeyond Nonzero — Certified Floating-Point Heat-Method Numericsפורסם: 2026-07-29 · עודכן: 2026-07-29מצגת טכנית של ESL: מימוש Python מתוקן עם 9 בדיקות, אימות צולב מול Wolfram Mathematica 15 והוכחות Lean 4 לחיוביות, תנאי CFL והתפשטות סופית; כולל תיקונים למאמר המקורי, השלכות הנדסיות ושימושים מסחריים
  2. חדשAdaptive Visual Context — CARES Research to Verified Agent Workflowפורסם: 2026-07-28מצגת מדעית בת 39 שקופיות המחברת את מחקר CARES ל-Agent Skill דטרמיניסטי, שחזורי Wolfram, הוכחות Lean 4 ממוקדות וממשל ראיות של ESL AI SDLC
  3. חדשTranscript-Length SVD — Wolfram + Lean 4פורסם: 2026-07-24 · עודכן: 2026-08-09מודרניזציה של מחברות Mathematica לניתוח התפלגות אורכי transcript עם SVD, המעודכנת כעת עם הנתונים הנמדדים שסיפקה ד״ר אורלי אלתר. המצגת משווה בין שלב הסימולציה הקודם לבין הניתוח הנמדד, מציגה את שינוי אורכי ה-transcript ב-GBM, ומבחינה בין תצפיות אמפיריות, אימות נומרי ב-Wolfram והוכחות פורמליות ב-Lean 4.
  4. Continuum Origami Inverse Design — Reproduction & Verificationפורסם: 2026-08-04מצגת טכנית על גאומטריה דיפרנציאלית, תכנון הפוך ואימות חוצה Wolfram, Lean 4 ו-C++
  5. Avraham & Gilo — Lemma 1 Verificationפורסם: 2026-03-31אימות למה מתמטית עם Ampcode + Wolfram
  6. Can You Prove It? — Lean 4 + CBMCפורסם: 2026-07-17 · עודכן: 2026-07-18הוכחות פורמליות לבנצ'מרק הקוונטי
  7. Quantum MathBridgeפורסם: 2026-04-08גשר בין סימולציה קוונטית למתמטיקה
  8. VeriMath — Business Proposal for Wolfram Researchפורסם: 2026-04-13הצעה עסקית ל-Wolfram
  9. Wolfram Engine GPU Telemetry Demoפורסם: 2026-05-14 · עודכן: 2026-05-19טלמטריית GPU ב-Wolfram Engine
  10. Ampcode + Mathematica + Lean 4 + Classiqפורסם: 2026-07-22אורקסטרציה של מחקר קוונטי
  11. Paper Suitability — Biomedical Conduction Velocityפורסם: 2026-07-19התאמת מאמר לדמו ביו-רפואי
  12. HeartGCN — Paper to Mathematica to C++פורסם: 2026-07-19ממאמר לקוד מאומת
  13. AMP + Wolfram Paper-to-Simulation Demoפורסם: 2026-05-23ממאמר לסימולציה
  14. CardioTwin TR — Product Conceptפורסם: 2026-05-24קונספט מוצר תאום דיגיטלי לבבי

שונות

  1. Smart Speech Executive Comparisonפורסם: 2026-04-23השוואת מנהלים — Smart Speech
  2. Smart Speech Comparison Presentationפורסם: 2026-04-23הגרסה המפורטת
  3. Smart Speech Executive Comparison (Report)פורסם: 2026-04-23גרסת דוח
  4. Hiring Agent — Concept & Processפורסם: 2026-06-04סוכן AI לתהליכי גיוס
  5. Optical AI Networks: China vs. Nvidia Israelפורסם: 2026-07-15השוואת רשתות AI אופטיות
  6. Unified Enterprise Intelligence Platformפורסם: 2026-03-30הצעה טכנית ל-Sourcegraph
  7. Early DOS Development, IBM PC, AI Tools and Meפורסם: 2026-05-06 · עודכן: 2026-05-07מסע נוסטלגי — DOS ועד AI
  8. London Baboon Hunt — FPS (Amp)פורסם: 2026-07-17משחק ה-FPS מהבנצ'מרק — גרסת Amp
  9. London Baboon Hunter — FPS (Claude)פורסם: 2026-07-17גרסת Claude
  10. Level 5 - Safety-Critical Compliance Pipeline (DO-178C x ISO 26262 ASIL D)2026-07-2914-phase pipeline: fault injection, FMEA/FTA/HAZOP, MC/DC, WCET, GSN safety case, secureFlows
  11. An Answer to Tannenbaum's Concern - Securing AI-Generated HTMLPublished: 2026-07-30 · Updated: 2026-08-23Open-source 9-check HTML safety gate, local GUI, CVE review, hardened git hooks, and CI

Reports Examples

  1. NEWESL SBOMator — Professional SBOM Analysis (WebGoat 2025.3)Published: 2026-08-24Full SBOMator scan report on WebGoat: 203 components, dependency graph, CVE matches with EPSS/KEV, lifecycle status, and remediation recommendations — interactive HTML with collapsible sections
  2. ESL SBOMator — Professional SBOM Analysis (1GOAT)פורסם: 2026-03-18דוגמת דוח סריקה של SBOMator

Engineering Services

C/C++, embedded systems, MISRA compliance, software supply-chain security, AI assessment, formal verification, research-to-hardware prototyping, and the ESL AI LogicLab product portfolio, each supported by public engineering evidence.

Explore services and supporting work