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

推荐订阅源

Last Week in AI
Last Week in AI
G
GRAHAM CLULEY
博客园 - 【当耐特】
博客园_首页
A
About on SuperTechFans
The GitHub Blog
The GitHub Blog
aimingoo的专栏
aimingoo的专栏
S
SegmentFault 最新的问题
Jina AI
Jina AI
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
Schneier on Security
Schneier on Security
C
Cisco Blogs
博客园 - 叶小钗
T
Tailwind CSS Blog
Hacker News - Newest:
Hacker News - Newest: "LLM"
博客园 - 聂微东
S
Security Archives - TechRepublic
C
CXSECURITY Database RSS Feed - CXSecurity.com
Hacker News: Ask HN
Hacker News: Ask HN
Y
Y Combinator Blog
Google Online Security Blog
Google Online Security Blog
Blog — PlanetScale
Blog — PlanetScale
让小产品的独立变现更简单 - ezindie.com
让小产品的独立变现更简单 - ezindie.com
量子位
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
Cyberwarzone
Cyberwarzone
MongoDB | Blog
MongoDB | Blog
有赞技术团队
有赞技术团队
Spread Privacy
Spread Privacy
酷 壳 – CoolShell
酷 壳 – CoolShell
E
Exploit-DB.com RSS Feed
T
Tor Project blog
大猫的无限游戏
大猫的无限游戏
P
Privacy & Cybersecurity Law Blog
L
LINUX DO - 最新话题
V
Visual Studio Blog
SecWiki News
SecWiki News
V
V2EX
T
Troy Hunt's Blog
C
Cybersecurity and Infrastructure Security Agency CISA
Help Net Security
Help Net Security
Recent Commits to openclaw:main
Recent Commits to openclaw:main
P
Proofpoint News Feed
N
News and Events Feed by Topic
Cyber Security Advisories - MS-ISAC
Cyber Security Advisories - MS-ISAC
云风的 BLOG
云风的 BLOG
C
Comments on: Blog
S
Schneier on Security
H
Heimdal Security Blog
博客园 - Franky

Hacker News: Show HN

PurrrrrFocus: Pomodoro Timer App - App Store Workflow Engine — Multi-Step Orchestration for Bun RapidPhoto: Pro Photo Editor App - App Store GitHub - amitb-quantum/roboapi: The unified API layer for robotics. Connect any robot, any brand, with one SDK. Like Stripe, but for robots. GitHub - manankharwar/fusioncore: ROS 2 sensor fusion SDK: UKF, 3D native, proper GNSS, zero manual tuning. Apache 2.0. Show HN: Wayland Wlroot Hjkl Everywhere Show HN: Codex context bloat? 87% avg reduction on SWE-bench Verified traces GitHub - NoahCristino/llmcat: A simple CLI that transforms your code into clean, structured text for feeding into LLMs. GitHub - actuallyepic/background-computer-use GitHub - h4ckf0r0day/obscura: The headless browser for AI agents and web scraping GitHub - anthonybudd/Express-ts-API-Template: Production-ready minimal REST API boilerplate using Express.js, Sequelize and MySQL. GitHub - molefrog/lilmd: Agent-friendly CLI for reading large Markdown files Show HN: I built a simple site to reduce tool overload and improve focus GitHub - JonathanRosado/claude-anyteam: Native Claude Code teammates, any LLM. Codex today. Gemini, Kimi, GLM, DeepSeek next. GitHub - abi/lilo Show HN: ffmpeg-render-pro – Parallel video rendering with live dashboard GitHub - adam-s/HNswered: Notifies you when someone replies to your Hacker News posts and comments. GitHub - arian-gogani/nobulex: The accountability primitive for AI agents. Cryptographic behavioral commitments with trustless verification. GitHub - Developing-Gamer/roids: Steroids for your AI agents GitHub - nellavio/nellavio: 🚀 Next.js dashboard starter with auth, i18n, 18 pages, 60+ charts and 90+ UI components Spotify – Web Player GitHub - tillahoffmann/cctape: Claude proxy to record all interactions in a local database, allowing you to browse and search sessions, track usage, and let Claude search its own history over MCP. Show HN: Rook, a macOS notes app for developers GitHub - donchuru/mr-links: Chrome extension that shows referenced links above comments on Marginal Revolution assorted links posts GitHub - anubhavgupta/whisper-npu: Speech to text at cursor using NPU. (shortcut -> win+/) SHOW HN: I built a marketplace agency that treats profit as the actual metric GitHub - trycua/cua: Open-source infrastructure for Computer-Use Agents. Sandboxes, SDKs, and benchmarks to train and evaluate AI agents that can control full desktops (macOS, Linux, Windows). GitHub - montanaflynn/headless-terminal: Headless terminal — puppeteer for TUIs (vim/emacs/htop/nethack) with a Go CLI backed by libghostty-vt The Genesis of TurboPentest.com: Bridging the Gap in an AI-Code Explosion Era GitHub - VincenzoManto/Doxa: A YAML-driven multi-agent simulation platform for economic and social systems. It combines LLM-backed agents, market microstructure, relation graphs, and world events behind a FastAPI API and a React client. GitHub - IdreesInc/PokeMesh: Collaborative Pokémon over a decentralized network, no internet required! GitHub - tamnd/python-one: Historical Python source tarballs (1.0.1 through 2.0c1) mirrored from legacy.python.org, extracted and committed at their original release dates. GitHub - dixalex/decision-linter: Decision Linter — like ESLint for your thinking. Claude Code plugin that scores assumptions, runs consider-the-opposite, and outputs judgment memos. GitHub - pitermarx/Virgulas: An Workflowy Inspired Outliner Show HN: A standalone YouTube Music popup for OBS (no plugins required) GitHub - polotno-project/render-tag: Render HTML string into canvas using 2d native API libgoc/bench/README.md at 81798b3dd5e27d7f1e752b6cff0bdf3a95d381b7 · libgoc/libgoc Show HN: Llm.sql – Run a 640MB LLM on SQLite, with 210MB peak RSS and 7.4 tok/s GitHub - RivoLink/leaf: Terminal Markdown previewer — GUI-like experience. [China AI News] Eight Chinese chip families ran DeepSeek V4 on launch day 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. Sheetflow App - Webflow Apps & Integrations Questly — The Third Rail GitHub - crufter/safer: Sleep better while AI agents have shell access. gitrails/README.md at main · maxawzsinger/gitrails Show HN: RustNmap | Hacker News GitHub - 0x0funky/agent-sprite-forge: Agent Skill for generating 2D sprite sheets, transparent PNG frames, and animated GIFs from prompts. Submissions from github.com/darshanfofadiya | Hacker News GitHub - seb3773/ntfs-repair-rfc: A legally defensible, industry-grade blueprint for building an open-source NTFS structural repair engine from scratch. TOSTask - Chrome 应用商店 GitHub - Fergana-Labs/stash: Shared memory for your team's coding agents GitHub - AdirAmsalem/easl: Instant hosting for AI agents — turn output into pages worth sharing Show HN: Pdfnative – zero-dependency TypeScript PDF engine GitHub - EricNelson12/retrocycles-hilbert GitHub - ONSARI/payclaw-skill Earful — A voice-only social network GitHub - Chrilleweb/dotenv-diff: Validate environment variable usage in your codebase llms-wordpress-plugin-benchmark/README.md at main · guilamu/llms-wordpress-plugin-benchmark GitHub - agentdmai/teamfuse: Fuse Claude Code agents into a working team. AgentDM-powered template with a cabinet-style control panel, five starter roles Thedex — AI-Native Log Intelligence Introducing Universal Deploy (+server) | Vike GitHub - thomas-vilte/mls-go: MLS Protocol (RFC 9420) implementation in Go. Secure group key exchange with forward secrecy and post-compromise security for E2EE messaging. GitHub - tamnd/python-0.9.1: Python 0.9.1 from 1991, Guido van Rossum's first public release, patched to compile on modern systems GitHub - orchidfiles/ungate: Use your Claude and ChatGPT subscriptions in Cursor instead of paying for API tokens. Show HN: Rusty Browser – AI rust service spinning up AI browsers Show HN: Seleci – Pre-built AI agents that keeps your business running GitHub - SkardiLabs/skardi: Spark for Agents — a data platform that gives AI agents full data autonomy so every dataset in your stack becomes something an agent can actually use. sss/Design.md at share-hn · ekipan/sss GitHub - TwillAI/agentbox-sdk: The open-source TypeScript SDK for running AI coding agents in sandboxes. One unified API — swap agents and infrastructure providers without changing your code. GitHub - cheprasov/ts-jsbt: JavaScript Binary Transfer (JSBT) – a binary serialization format designed for JavaScript → JavaScript communication. GitHub - AI-Colleagues/skill-mgr: Agent Skill manager. Install a skill for all supported or specified agents When Your Repo Moves, Your AI Coding History Doesn’t Buffer zoom GitHub - janaraj/tnl: Structured English contracts for AI coding agents — proposed by the agent, approved by you, saved on disk, read by every future session. Show HN: Slopify – An AI agent skill to slopify a codebase GitHub - tinyhumansai/openhuman: Your Personal AI super intelligence. Private, Simple and extremely powerful. Show HN: Reducing a 66-node dependency cycle to 13 in Scrapy GitHub - NV404/gova GitHub - latitude-dev/eval-skills: LLM eval skills for developers. Free tools to find failure patterns, build evals, and improve AI quality in production GitHub - BadC-mpany/lilith-zero: ⚸ Lilith Zero - Security Middleware for MCP tool calls written in Rust. GitHub - pumpkin-bit/Flux3n1: Music generation using the Collatz conjecture formula 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. An agent-native static host for AI-generated sites · VibeDrop GitHub - k38f/envsleuth: 🕵️ Detective for env vars in Python code. Finds os.getenv/os.environ usages via AST and checks them against your .env file. whodb/cli at main · clidey/whodb GitHub - Higangssh/winclipshot: Windows clipboard-to-path helper for terminal CLIs like Claude Code. Screenshot with Win+Shift+S, paste the saved path with Ctrl+V GitHub - decisionbox-io/decisionbox-platform: DecisionBox connects to your data warehouse, runs autonomous AI agents that write and execute SQL, and surfaces validated insights and actionable recommendations — without you asking a single question. GitHub - scastiel/kado: Kadō — A privacy-first habit tracker for iPhone and iPad. GitHub - franzenzenhofer/tinyscreenshot: Token-frugal screenshots for AI agents. A default capture costs ~540 tokens instead of ~2100. GitHub - russellromney/honker: SQLite extension + bindings for Postgres NOTIFY/LISTEN semantics with durable queues, streams, pub/sub, and scheduler Manex Hub App - App Store Release 0.5 · greymattergames/unbug GitHub - mljar/features_goldmine: Features Engineering Made Easy GitHub - chojs23/lazyagent: TUI for watching all your AI coding agents(claude, codex and opencode) Running Is The Hardest Endurance Sport? Not so Fast Show HN: Canopy – A2UI experiment in Go for macOS/AppKit Show HN: Share browser recordings on Cloudflare Pages from the command line GitHub - aiptimizer/TurboOCR: Fast GPU OCR server. 270 img/s on FUNSD. TensorRT FP16, PP-OCRv5, HTTP + gRPC. Show HN: We built a way for Claude Code to join meetings like a real teammate Show HN: Razorpay-universal – A framework-agnostic Razorpay SDK
Modeloop
lucamark · 2026-06-02 · via Hacker News: 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