惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

B
Blog
C
Check Point Blog
The GitHub Blog
The GitHub Blog
Y
Y Combinator Blog
SecWiki News
SecWiki News
有赞技术团队
有赞技术团队
Latest news
Latest news
D
DataBreaches.Net
Blog — PlanetScale
Blog — PlanetScale
Project Zero
Project Zero
H
Help Net Security
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
G
GRAHAM CLULEY
Engineering at Meta
Engineering at Meta
T
Threat Research - Cisco Blogs
腾讯CDC
P
Proofpoint News Feed
L
LINUX DO - 热门话题
C
Cisco Blogs
P
Palo Alto Networks Blog
Vercel News
Vercel News
P
Privacy International News Feed
爱范儿
爱范儿
Scott Helme
Scott Helme
L
Lohrmann on Cybersecurity
MyScale Blog
MyScale Blog
K
Kaspersky official blog
B
Blog RSS Feed
美团技术团队
Microsoft Security Blog
Microsoft Security Blog
O
OpenAI News
博客园 - 叶小钗
量子位
T
Tenable Blog
C
Cybersecurity and Infrastructure Security Agency CISA
J
Java Code Geeks
Application and Cybersecurity Blog
Application and Cybersecurity Blog
Hacker News: Ask HN
Hacker News: Ask HN
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
L
LINUX DO - 最新话题
F
Fortinet All Blogs
N
News | PayPal Newsroom
The Hacker News
The Hacker News
C
CXSECURITY Database RSS Feed - CXSecurity.com
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
博客园 - 【当耐特】
N
News and Events Feed by Topic
V
Visual Studio Blog
Google DeepMind News
Google DeepMind News
Last Week in AI
Last Week in AI

Show HN

GitHub - steveking-gh/firmion: Firmion is DSL and engine for firmware image generation. GitHub - villagesql/villagesql-skills: Agent skills for VillageSQL - gemini-cli-extension; claude-code-plugin GitHub - flightdeckhq/flightdeck: Observability and control plane for AI agents. CSP Radar GitHub - Light-Heart-Labs/DreamServer: Turn your PC, Mac, or Linux box into an AI server. LLM inference, chat UI, voice, agents, workflows, RAG, and image generation. GitHub - Diplomat-ai/diplomat-agent-ts: What can your TypeScript AI agent do to the real world? Scan your code. See which tool calls have zero checks Code Block Selector - Visual Studio Marketplace Prometheus dependency graph — interactive showcase | Riftmap Show HN: I made a vi-like modal keyboard plugin for Figma GitHub - run-llama/liteparse: A fast, helpful, and open-source document parser GitHub - dalemyers/Roar: A macOS CLI tool for notifications GitHub - district-solutions/open-agent-tools-coder: Enables small-to-large self-hosted ai models to use local source code when running tool-calling agentic workloads. We actively data mine 20,900+ (2+ TB) popular github repos using large and small ai models to create reuseable: json, markdown and parquet files for local-first tool-calling models. GitHub - progapandist/stripeek: A local TUI proxy for real-time Stripe API debugging, built for navigating complex payloads fast. GitHub - sir1st/hermes-desktop: All-in-one cross-platform desktop app for Hermes Agent — bundles Python + hermes-agent + hermes-web-ui GitHub - astefanutti/shaderbang: Shebang for Shaders Show HN: Generate Claude Code Workflows using Spec Driven Development approach GitHub - nixys/nxs-universal-chart: The Helm chart you can use to install any of your applications into Kubernetes/OpenShift Show HN: AI agents for UK GDAD PCF roles and their skills The Two Pillars: Mixer Mode and Meta-Software in the Reorganization of Software Work After AI GitHub - JaiCode08/teleport-env What 1,000+ Harness Experiments Taught Me About Self-Improving Agents Show HN: Liiists, a Markdown-first, iOS and CLI list app SwiperTab – Get this Extension for 🦊 Firefox (en-US) GitHub - kouhxp/fftext: Summarize, explain, fact-check, or translate any text, URL, or file. No GPU. No cloud. One command GitHub - sweetpad-dev/sweetpad: Develop Swift/iOS projects using VSCode GitHub - dogmaticdev/IRON: IRON a.k.a. Intermediate Representation Object Notation is a Interpreter/Database that is used to create Programming Languages. GitHub - sjhalani7/vaen: Package your AI coding harness into a portable .agent file, and share it across repos, teams, & the community without ever having to copy-paste instructions, skills, MCP config, or secrets. Show HN: Gandalf the Grader Show HN: Citadeld – replay any CI failure locally from a single file GitHub - tdortman/cuSBF: High-Performance GPU Super Bloom Filter coral-ai/claude-code-token-xray at main · Coral-Bricks-AI/coral-ai GitHub - ulyssestenn/funes: Funes is a Git-based framework for LLM-managed knowledge work: an AI Librarian ingests raw sources, builds an interlinked Markdown knowledge base, and uses it to produce cited reports, analyses, and other outputs. GitHub - ThatXliner/gah: Git Add Hunk, built for agents to use GitHub - harmont-dev/harmont-cli: Command-line client for the Harmont CI platform GitHub - brooksmcmillin/mcp-authflow: OAuth 2.0 Authorization Server framework for MCP servers GitHub - javaid-codes/audit-supply-chain-agents GitHub - amorey/gochan: A small library of common channel architectures for Go, inspired by Rust GitHub - arifozgun/OpenGem: Free, Open-Source AI API Gateway with Gemini, OpenAI & Anthropic Compatibility in 1 file GitHub - Pranesh950/BioPetals: 🌸 Run BIOxAI models at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading GitHub - cnguyen14/bounty-doctor: Diagnose a GitHub bounty issue before you waste hours: detects honeypot scam repos, AI-bot attempt swarms, and stale contests. Show HN: CoreMCP – MCP Server for On-Prem DBs Show HN: KittyHTML – Render HTML/CSS as an inline image in your terminal GitHub - bingud/filemat: Web-based file manager Show HN: TruthLens – Free multi-signal deepfake image detector GitHub - apexlocal-jz/claude-usage-tray: Windows system-tray app showing your Claude Code rate-limit usage at a glance. Zero deps, ~300 lines of PowerShell. Cross-IDE (works regardless of VS Code, Cursor, plain terminal). Release v0.1.2.1 · kouhxp/yapsnap GitHub - noopolis/moltnet: Self-hostable chat network for AI agents. Pre-built bridges for Claude Code, Codex, and the Claws. Rooms, DMs, history. No Slack bots, no Matrix, no glue code. GitHub - tamerh/enju: Coordinating Humans, AI Agents, and Compute as Peers on a Shared Workflow Graph Show HN: Continuity-auth – Respect-weighted rate limits for the open web GitHub - luml-ai/luml: AI lifecycle platform where engineers and agents track experiments, train models, and ship to production. GitHub - mrdanielcasper/CoreTex: A UNIX-inspired, biomimetic, flat-file AI harness and knowledge engine. GitHub - clemg/pierre-github: Pierre's diffs.com and trees.software for Github GitHub - lyriks-io/unspaghettit: Behavior-driven AI development without prompt spaghetti. GitHub - sofumel/claude-handoff-revive: Resume Claude Code work after rate/usage/context limits without replaying the prior transcript. Auto-saves at 90%/95% usage. Plugin-installable, 10 languages. GitHub - dotexorg/saferpc: Typed, end-to-end encrypted RPC over any bidirectional channel. GitHub - BeeZeeAgent/beezee: Agent harness orchestration Legato Next.js Boilerplate for Internal Tools · CoreUI GitHub - clark-labs-inc/clark-hash: Clark Hash, 32x smaller searchable sketches for embeddings GitHub - ZeroPointRepo/youtube-mcp: The fastest YouTube transcript + YouTube search MCP for AI agents. Try for free. Typing Mastery — climb toward 100+ WPM, deliberately GitHub - Andebugulin/Awareen GitHub - fayzan123/claude-workflow-composer: Visual desktop app for composing multi-agent coding workflows. Drag agents, attach skills and MCPs, wire handoffs, export to .claude/ GitHub - harshaneel/humanize: Best static AI text humanizer. Two research-grounded skills that work in any LLM (Claude, ChatGPT, Gemini, Codex): humanize beats perplexity-based detectors, ai-check produces forensic scoring with evidence-quoted flags. Nine levers, 50+ peer-reviewed sources, 2024-2026 detection literature. GitHub - StackOneHQ/stack-nudge GitHub - nodes-app/swift-markdown-engine: A native AppKit Markdown editor for macOS, built on TextKit 2 and bridged to SwiftUI. We hardened an LLM agent. Each defense we added made it more exploitable. GitHub - alkait/WhatsKept: Agent-queryable WhatsApp history from an iOS backup — a single Go binary. GitHub - octelium/cordium: Open-source, general-purpose sandbox platform for devs and AI agents that provides identity-based secure access to infrastructure without credentials. WAR.GOV/UFO Microfilm5 GitHub - scosman/videowright: Build animated explainer videos with your coding agent GitHub - dipankar/dscode: The code editor you can take apart. GitHub - zoharbabin/web-researcher-mcp: MCP server (Go) for AI assistants: web search, content extraction, academic/patent/news research. Multi-provider routing, 4-tier scraping, search lenses. Works with Claude, Cursor, and any MCP client. GitHub - ruvnet/RuView: π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video. GitHub - scanaislop/aislop: Catch the slop AI coding agents leave in your code: narrative comments, swallowed exceptions, as-any casts, dead code, oversized functions. 50+ rules across 7 languages (TypeScript, JavaScript, Python, Go, Rust, Ruby, PHP). Sub-second, deterministic, no LLM at runtime. MIT-licensed. GitHub - kouhxp/cheap-im: CPU-only voice agent approximating Thinking Machines' Interaction Models demo GitHub - unprovable/OrchidMantis: Orchid Mantis — standalone framework for Zero-Knowledge Proofs of eXploit (ZKPoX). GitHub - MarcellM01/TinySearch: Shrink the web for your local LLMs! GitHub - TangibleResearch/Halgorithem: A Algo designed to detect AI Hallucitions GitHub - DO-SAY-GO/freelang: I love freelang GitHub - CarpseDeam/Aura-IDE: An AI coding harness that shaped itself - Planner/Worker agents, repo awareness, surgical edits, validation, recovery, and safe diff approvals. GitHub - chojs23/concord: A feature-rich TUI client for Discord GitHub - tommyjepsen/awesome-ux-skills: UX & AI Product designs skills you can use today in Claude Code GitHub - aerf-spec/aerf: Agent Evidence Receipt Format (AERF) — an open specification for tamper-evident, independently verifiable records of AI agent actions. GitHub - kklimuk/docx-cli: CLI for AI agents (Claude, Codex) to read, edit, and comment on .docx files with full format fidelity. GitHub - Jwrede/tokentoll: Catch LLM cost changes in code review. Infracost for LLM spend. GitHub - samchon/ttsc: A `typescript-go` toolchain for compiler-powered plugins and type-safe execution + 500x faster lint integrated into compiler GitHub - Higangssh/homebutler: 🏠 Manage your homelab from chat. Single binary, zero dependencies. GitHub - olalie/tapmap: See where your computer connects and what stands out on a live world map. GitHub - Diplomat-ai/diplomat-agent: What can your AI agent do to the real world? Scan your code. See which tool calls have zero checks GitHub - Bajusz15/beacon: Open-source agent for secure remote access, monitoring, and deploys across home-lab and self-hosted machines like Raspberry Pi, N100, or any Linux server. Open web based TTY or tunnel Home Assistant and other local services securely without opening ports. BigTech AI News - Chrome 应用商店 GitHub - vinhnx/VTCode: VT Code is an open-source coding agent with LLM-native code understanding and robust shell safety. Supports multiple LLM providers with automatic failover and efficient context management. GitHub - michaelaz774/decision-engine: A decision operating system for startup founders, powered by Claude Code. Synthesizes wisdom from 25+ legendary founders and investors into interactive AI-driven decision frameworks. GitHub - Chrilleweb/dotenv-diff: Validate environment variable usage in your codebase GitHub - Lumen-Labs/brainapi2: BrainAPI is a knowledge graph–powered AI memory layer that transforms unstructured data into structured knowledge, enabling intelligent search, recommendations, and contextual memory for AI agents and applications. GitHub - familiar-software/familiar: Let AI watch you work. Familiar lets your AI update its memory, skills, and knowledge by watching your screen. GitHub - skorotkiewicz/rudo: A small, elegant dock for Wayland GitHub - muxshed/shed: One stream in, or many. Every destination, simultaneously. No cloud middleman, no per-channel fees, no limits. make sidebar/address bar rounded corner toggleable
Modeloop
lucamark · 2026-06-02 · via Show HN

The Future of Systems Engineering

Models as Code.
Confidence by Default.

Modeloop is the only visual environment that brings modern DevOps and built-in verification to model-based design.

Want the native desktop app?

Join the waitlist for early desktop access

10x Faster to Production

0 Binary Lock-in — models are plain JSON

2 Codegen Targets — Python & C from one model

2 Platforms - Available on Web and Desktop

What Modeloop Actually Does

One engineering loop from visual model to generated code.

Modeloop is not just a canvas and it is not just a simulator. It is a model-based engineering workflow where diagrams become source code, tests, and reviewable artifacts.

Generated deliverables

Code, tests, and traceability stay together.

01 The Convergence

MBSE Rigor

Source of truth, not documentation.

Model‑Based Systems Engineering has historically meant heavy artifacts and static reviews. Modeloop reframes the model as a live, executable contract: every block is bound to a requirement, every connection is type‑checked, every change re‑validates the system in seconds.

Agile Velocity

Continuous integration, not waterfall.

Embedded verification has always meant multi-month cycles. Modeloop collapses them to seconds — generate the code, run the tests, on every commit and every branch, without leaving the editor.

↻ The synthesis The two principles are usually treated as opposites. Modeloop treats them as two halves of the same loop.

02 The Missing Piece

The V‑Model defines the shape of safety‑critical engineering. Modeloop closes it.

Architecture FrameworkV-Model & The Modeloop Bridge

Phase ASpecification

Phase BVerification

Modeloop • The BridgeRequirementsStakeholder needsSubsystem DesignArchitecture & contractsFunctional SpecComponent logicThe ModelSingle source of truthUnit TestingAutomated verificationIntegration TestingCross-module validationSystem ValidationFinal verification

Design

Generative Loop

Verified Asset

Specification descends the left arm. Verification ascends the right. Historically, a chasm runs between them — engineers manually translating models into code, then manually authoring tests against the code they just wrote. The chasm is where bugs are born. Modeloop replaces it with a generator: the model is the design, and the model emits both the implementation and the test harness that closes the V.

03 The Complexity Mandate

At nine figures of code, every keystroke is a defect site.

Fig. 03 — Estimated lines of code, embedded systems Source: industry estimates · visual log scale

1969 Apollo 11 Guidance Computer

145K

1997 F‑22 Raptor avionics

1.7M

2011 Boeing 787 Dreamliner

6.5M

2020 Premium passenger vehicle

100M

2025 Modern ADAS · autonomous stack

500M+

Modern embedded software has crossed a threshold. Manual edits do not scale linearly — they compound. A change in one file silently breaks an integration contract three layers away. A unit test passes while the integrated build regresses in ways no human reviewer can catch in time. At 108 lines, the probability of a defect‑free manual change approaches zero.

01 / Models

02 / State Machines

03 / Mathematical Verification

04 / Testing

05 / Simulation

pid_controller.mdl

Modeloop block diagram editor

supervisor.sfc

Idle entry/ count=0 during/ tick++ Active entry/ run() exit/ stop() [start] reset

formal-mapping

Formal Semantics User Model Controller synthesizes Mathematical Model x'(t) = A·x(t) + B·u(t) y(t) = C·x(t) + D·u(t)

unit-testing

TEST CASES TC_01_Norm TC_02_Fail TC_03_Edge TC_01_Normal RUN STEP 1 (0.0s → 5.0s) INPUTS ref_speed 120.0 EXPECTED motor_out 120.0 STEP 2 (5.0s → 10.0s) INPUTS ref_speed 0.0 EXPECTED motor_out 0.0 SIMULATION PASSED

PlotLab — results

Signals ref F_out x_out err 12 signals t [s]

Compose hierarchical block diagrams. Wrap any subsystem into a single reusable block.

Embed hierarchical StateCharts directly in your signal flow — every transition visualized.

Every block diagram is strictly associated with a mathematical representation, guaranteeing correct C code generation by design.

Write unit tests and run simulations to validate the functional correctness of your model.

Run your model and inspect every signal trace in real time

Built Different, For a Reason

Every feature was designed to eliminate a specific pain point in embedded systems engineering.

SUBSYSTEM Σ × in out

Hierarchical Containerization

Without Modeloop: In C, nothing stops you from connecting everything to everything. Spaghetti is the default.

Wrap any subsystem into a single block with explicit inputs and outputs. Reuse it anywhere. Modeloop makes modularity the path of least resistance — at any scale.

Idle Running Done start done reset

Visual State Machines

Without Modeloop: Writing nested switch/if-else for FSMs by hand is error-prone. Edge cases get missed. Bugs live at transitions.

Embed StateCharts directly into your signal flow. Hierarchical states, event-driven transitions, every corner case visualized — before a single line of C is generated.

temp pres spd stat volt SensorBus 5 signals

Bus Management System

Without Modeloop: Passing 50+ arguments to functions or managing massive global structs. Change one value, risk breaking everything else.

Group hundreds of signals into a single Bus line. Update one field inside a complex bundle without touching the rest. Object-Oriented wiring for embedded systems.

BEFORE edit #define recompile reflash restart test ≈ 15 min MODELOOP CALIBRATION Kp = 2.4 < 1ms

Live Parameter Tuning

Without Modeloop: Gain too low? Stop → find #define → recompile → reflash → restart. Feedback loop: 10–15 minutes.

Mark any value as CALIBRATION. Change it at runtime via dashboard, JSON, or script — no recompile, no reflash. A 15-minute engineering cycle collapses into milliseconds.

Generated Code You Can Inspect

Modeloop turns diagrams into readable Python and C artifacts that can be reviewed, tested, and integrated into embedded workflows.

Engineered for Critical Systems

Transparent, reliable, and qualified for the most demanding industries.

Functional Reliability

Our C-Code Generator is architected for predictability and performance. We focus on **Deterministic Execution** and rigorous validation.

  • 100% Deterministic Signal Flow
  • Zero Dynamic Memory Allocation
  • Fixed-Step Solver Precision

Mathematical Truth

Modeloop utilizes advanced Back-to-Back Testing to ensure the generated C code behaves exactly like the Python reference.

Numerical Precision

ε < 10⁻⁷

*Verified across 100+ Golden Models.

Data Sovereignty

Your models and intellectual property never leave your machine.

Modeloop runs entirely local (via Electron or Pyodide). We do not upload your diagrams to cloud servers for simulation or code generation, ensuring maximum confidentiality for industrial R&D.

Modeloop is built by engineers, for engineers. We prioritize transparency and deterministic behavior in every line of generated code.

Designed for

AutomotiveAerospaceRoboticsIndustrial AutomationEnergy SystemsDefenseMedical DevicesIoT

Start Designing Today

Free on the web. No install required. Open your browser and build your first system in minutes.

Want the native desktop app?

Join the waitlist for early desktop access