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

推荐订阅源

www.infosecurity-magazine.com
www.infosecurity-magazine.com
D
DataBreaches.Net
T
Tailwind CSS Blog
M
MIT News - Artificial intelligence
Stack Overflow Blog
Stack Overflow Blog
F
Full Disclosure
V2EX - 技术
V2EX - 技术
N
News and Events Feed by Topic
Help Net Security
Help Net Security
L
LangChain Blog
Y
Y Combinator Blog
宝玉的分享
宝玉的分享
Google Online Security Blog
Google Online Security Blog
P
Proofpoint News Feed
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
T
The Blog of Author Tim Ferriss
Google DeepMind News
Google DeepMind News
The Register - Security
The Register - Security
B
Blog RSS Feed
N
Netflix TechBlog - Medium
N
News | PayPal Newsroom
TaoSecurity Blog
TaoSecurity Blog
酷 壳 – CoolShell
酷 壳 – CoolShell
V
Vulnerabilities – Threatpost
B
Blog
C
Cyber Attacks, Cyber Crime and Cyber Security
I
Intezer
H
Hackread – Cybersecurity News, Data Breaches, AI and More
博客园_首页
CTFtime.org: upcoming CTF events
CTFtime.org: upcoming CTF events
AI
AI
aimingoo的专栏
aimingoo的专栏
大猫的无限游戏
大猫的无限游戏
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
Cyberwarzone
Cyberwarzone
P
Proofpoint News Feed
Google DeepMind News
Google DeepMind News
G
GRAHAM CLULEY
Vercel News
Vercel News
罗磊的独立博客
MyScale Blog
MyScale Blog
Last Week in AI
Last Week in AI
博客园 - 司徒正美
C
CERT Recently Published Vulnerability Notes
GbyAI
GbyAI
Scott Helme
Scott Helme
K
KPMG report finds enterprise disconnect between AI and its ROI | CIO
T
Troy Hunt's Blog
A
About on SuperTechFans
P
Privacy International News Feed

Hacker News

Introducing Claude Opus 4.7 Qwen Studio The Future of Everything is Lies, I Guess: Where Do We Go From Here? GitHub - SeanFDZ/macmind: Single-layer transformer in HyperTalk for the classic Macintosh Show HN: Agent-cache – Multi-tier LLM/tool/session caching for Valkey and Redis Moving a large-scale metrics pipeline from StatsD to OpenTelemetry / Prometheus GitHub - Nightmare-Eclipse/RedSun: The Red Sun vulnerability repository GitHub - SethPyle376/hiraeth: Local AWS emulator focused on fast integration testing, with SQS support, SQLite-backed state, and a debug-friendly web UI. GitHub - macOS26/Agent: Any AI, replaces Claude Code, Cursor, OpenClaw. Over 18 LLM providers (Claude, OpenAI, Gemini, Ollama, Zai, HF, Qwen) wired into a native Mac app that writes code, builds Xcode projects, bumps versions, manages git, automates Safari, use AppleScript, JS or Accessibility, extend Agent! w/ MCP Servers, run tasks from your iPhone via Messages. YouTube now lets you turn off Shorts I Made a Terminal Pager Burgers | マクドナルド公式 Commands — HackerNews CLI documentation ChatGPT for Excel PiCore - Raspberry Pi Port of Tiny Core Linux Live Nation illegally monopolized ticketing market, jury finds Google Broke Its Promise to Me. Now ICE Has My Data. Founding Engineer at Adaptional | Y Combinator CRISPR takes important step toward silencing Down syndrome’s extra chromosome GitHub - saffron-health/libretto: The AI toolkit for building reliable browser automations US v. Heppner (S.D.N.Y. 2026) no attorney-client privilege for AI chats [pdf] Unexpected €54k billing spike in 13 hours: Firebase browser key without API restrictions used for Gemini requests Retrofitting JIT Compilers into C Interpreters IPv6 – Google The Accursèd Alphabetical Clock Cybersecurity Looks Like Proof of Work Now Fragments: April 14 Cal.com Goes Closed Source: Why AI Security Is Forcing Our Decision | Cal.com - Scheduling Software for Online Bookings Laravel raised money and now injects ads directly into your agent When moving fast, talking is the first thing to break Too much Discussion of the XOR swap trick – Heather Cafe Introduction to Spherical Harmonics for Graphics Programmers The Grand Line Building a Z-Machine in the worst possible language High-Level Rust: Getting 80% of the Benefits with 20% of the Pain GitHub - duguyue100/midnight-captain: Inspired by Midnight Commander, tailored to my taste. How to build a `git diff` driver · Jamie Tanna | Software Engineer Center for Responsible, Decentralized Intelligence at Berkeley The Local Universe’s Expansion Rate Is Clearer Than Ever, but Still Doesn’t Add Up - A new synthesis of astronomical measurements confirms a persistent mismatch that could point to physics beyond current models The air throughout our homes is infused with microplastics. But there are things you can do to breathe less of them The disturbing white paper Red Hat is trying to erase from the internet – OSnews The Future of Everything is Lies, I Guess: Annoyances ‘Abhorrent’: the inside story of the Polymarket gamblers betting millions on war Productive procrastination — Max van IJsselmuiden maps, territory and LMs 447 Terabytes per Square Centimetre at Zero Retention Energy: Non-Volatile Memory at the Atomic Scale on Fluorographane Show HN: Pardonned.com – A searchable database of US Pardons 20 Years on AWS and Never Not My Job The Seasons are Wrong Artemis II crew splashes down near San Diego after historic moon mission We gave an AI a 3 year retail lease in SF and asked it to make a profit | Andon Labs How a dancer with ALS used brainwaves to perform live On filing the corners off my MacBooks Installing every* Firefox extension OpenClaw’s memory is unreliable, and you don’t know when it will break Steve Blank Nowhere Is Safe Chimpanzees in Uganda locked in vicious 'civil war', say researchers watgo - a WebAssembly Toolkit for Go linux/Documentation/process/coding-assistants.rst at master · torvalds/linux GitHub - callumlocke/json-formatter: Makes JSON easy to read. Founding Product Engineer at Bild AI | Y Combinator A compelling title that is cryptic enough to get you to take action on it GitHub - Keychron/Keychron-Keyboards-Hardware-Design: Industrial design files for Keychron keyboards and mice. 100+ models with CAD assets in STEP, DXF, DWG, and PDF. Source-available, with commercial use allowed for original compatible accessories within the license terms. [ANNOUNCE] WireGuardNT v0.11 and WireGuard for Windows v0.6 Released 1D-Chess Helium Is Hard to Replace Cooperative Vectors Introduction | Evolve Keeping a Postgres queue healthy — PlanetScale Our response to the Axios developer tool compromise Do Americans read print books, e-books or audiobooks more? The Zettelkasten Method in Obsidian: A Practical Setup Guide Artemis II Is Competency Porn and We Are Starving For It WeakC4 Flight Viz — Cockpit View A Mexican surveillance giant you’ve never heard of is now watching the U.S. border Surelock: Deadlock-Free Mutexes for Rust RISC-V 101 – what is it and what does it mean for Canonical? | Ubuntu The Problem That Built an Industry How Much Linear Memory Access Is Enough? | Solidean Investigating Split Locks on x86-64 Simplest hash functions Sybilproof reputation mechanisms (2005) [pdf] What is a property? How Complex is my Code? Static code analysis in Kotlin — tools overview Toffoli gates are all you need PGLite evangelism dcmake: a new CMake debugger UI Clojure on Fennel part one: Persistent Data Structures Fragments: April 2 Python Release Python install manager 26.1 The Life and Death of the Book Review - Liberties Introducing Database Traffic Control — PlanetScale Bitcoin miners are losing $19,000 on every BTC produced as difficulty drops 7.8% God sleeps in the minerals Building slogbox Apple Silicon and Virtual Machines: Beating the 2 VM Limit Who was “Not Even Wrong” first? Pokemon Evolution Vs Darwinian Evolution The APL Programming Language Source Code
Modeloop
lucamark · 2026-06-02 · via Hacker News

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