Intarva

What it does

Prototype, code, and test embedded systems instantly. Intarva provides high-fidelity simulation for MicroPython and JavaScript without physical hardware.

• 
  Scratchboard2025 · ▲146

  Create, simulate, and collaborate on digital circuits

• SM
  SimBricks – Modular Full-System Simulation for HW-SW Systems2024 · simbricks.github.io · ▲67

  Hi HN, we are building SimBricks, an open-source simulation framework for heterogeneous systems, especially with custom hardware. SimBricks modularly combines existing simulators for machines, networks, and hardware, allowing you to build, test, and evaluate intricate complete systems in a virtual environment. Head over to the SimBricks website (https://simbricks.github.io/, also has a quick demo video) to learn more. We have pre-built docker images, and you can even immediately play around on codespaces. Concrete use-cases: - Evaluate HW accelerators, from early design with…

• AS
  A small virtual machine written in C2014 · github.com · ▲212
• CC
  Confidential computing for high-assurance RISC-V embedded systems2025 · github.com · ▲103

  Dear HN community! Looking forward to hearing your feedback on ACE (assured confidential execution), technology that implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. We target high-assurance systems that can benefit from compartmentalization and hardware-backed isolation. The key ingredient called security monitor (firmware) is implemented in Rust. The formal specification is defined as annotations directly in code and gets translated to Coq using RefinedRust automation. ACE design is now part of the…

• 
  Experimenters Circuits2024 · ▲161

  Educational online virtual electricity lab, try for free

• EV
  Ephemeral VMs in 1 Microsecond2024 · github.com · ▲84

• 
  Clipto MCP▲640

  Let agents source clips from terabytes of your local video

  Work · 18d ago · clipto.com

• 
  HyNote for Mac▲383

  Free local transcription that is 100% Private

  Work · 17d ago · hynote.ai

• 
  VoiceOS App Store▲330

  The app store for voice native apps that lives in your notch

  Work · 28d ago · voiceos.com

• 
  Scrimba Explain▲325

  Ask any question, get a video back instantly

  Work · 24d ago · scrimba.com

• 
  CleanShot 5.0 with Studio Mode▲278

  Mac-native app for screenshots, recordings and collaboration

  Work · 5d ago · cleanshot.com

• 
  Brew ▲905

  Like Claude design for email marketing

  AI · May 2026 · brew.new

• 
  Kilo Code for VS Code▲897

  Parallel agents, diff reviewer, and multi-model comparisons

  Dev tools · May 2026 · kilo.ai

• 
  StoreClaw▲805

  Grow your store profits with agents that know how to sell

  AI · May 2026 · storeclaw.ai

• 
  PollyReach▲796

  Give your agent a real number and voice to make calls.

  AI · May 2026 · pollyreach.ai

• NW
  Needle: We Distilled Gemini Tool Calling into a 26M Model▲776

  Hey HN, Henry here from Cactus. We open-sourced Needle, a 26M parameter function-calling (tool use) model. It runs at 6000 tok/s prefill and 1200 tok/s decode on consumer devices. We were always frustrated by the little effort made towards building agentic models that run on budget phones, so we conducted investigations that led to an observation: agentic experiences are built upon tool calling, and massive models are overkill for it. Tool calling is fundamentally retrieval-and-assembly (match query to tool name, extract argument values, emit JSON), not reasoning. Cross-attention…

  Life & fun · May 2026 · github.com

• FM
  Files.md – Open-source alternative to Obsidian▲730

  Dev tools · May 2026 · github.com