Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
@LemonScripter
LemonScripter
Follow

Laszlo SZOKE LemonScripter

Founder & Lead Architect @CitromMedia. Building the O(1) Deterministic Safety Layer for CNC, UAV & Aerospace. 🛰️ 🚁 🏭

Organizations

@CitromMedia

Block or report LemonScripter

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
LemonScripter /README.md

Hi there, I'm László! 👋

Founder & Lead Architect at MetaSpace Technologies

I am a Deep Tech Founder focused on Deterministic Safety Systems for autonomous machines. My work replaces probabilistic AI estimation with formal mathematical verification (Safety-as-a-Service).

🔭 Current Mission: Building the MetaSpace Engine: A proprietary O(1) runtime that guarantees sub-millisecond safety interventions for:

  • 🏭 Industrial CNC (Cyber-Physical Integrity)
  • 🛰️ Aerospace (Single Event Upset resilience)
  • 🚁 UAV Swarms (Physics-based spoofing detection)

🌱 Tech Stack:

  • Core: Embedded C++, Rust, Python (Formal Verification)
  • Hardware: FPGA Synthesis, NVIDIA Jetson, Espressif
  • Verification: Z3 SMT Solver, TLA+

MetaSpace LinkedIn

Pinned Loading

  1. MetaSpace-Drone-Shield MetaSpace-Drone-Shield Public

    A high-integrity formal verification framework for UAV navigation. Detects GPS spoofing via deterministic invariants and SMT-verified logic. Logic-as-Hardware for mission-critical defense.

    HTML 1

  2. metaspace-fdir-public metaspace-fdir-public Public

    Deterministic FDIR (Fault Detection, Isolation & Recovery) engine for satellites. Mitigates Single Event Upsets (SEU) via formal invariant verification. Public validation module.

  3. embedded-control-benchmark embedded-control-benchmark Public

    Hardware Constraint Simulation: Comparing O(n3) Online System Identification vs. O(1) Pre-compiled Safety Invariants on constrained embedded systems (ESP32).

    Python

AltStyle によって変換されたページ (->オリジナル) /