---
title: "GitHub - matheuscamarques/pon_beam: PON-BEAM is a complete re-architecture of the Erlang/OTP Virtual Machine (ERTS — Erlang Run-Time System) using the Notification-Oriented Paradigm (PON)"
url: https://daily.dev/posts/github---matheuscamarques-pon-beam-pon-beam-is-a-complete-re-architecture-of-the-erlang-otp-virtual-qjg1xdvz2
source_url: https://github.com/matheuscamarques/pon_beam
type: article
source: "ElixirStatus"
published: 2026-08-05T17:19:08.164Z
updated: 2026-08-05T17:29:25.330Z
tags: ["performance", "architecture", "erlang", "virtual-machine"]
reading_time: 7
upvotes: 6
comments: 0
language: en
---

> ## Documentation Index
> Fetch the complete documentation index at: https://daily.dev/llms.txt
> Use this file to discover all available pages before exploring further.

# GitHub - matheuscamarques/pon_beam: PON-BEAM is a complete re-architecture of the Erlang/OTP Virtual Machine (ERTS — Erlang Run-Time System) using the Notification-Oriented Paradigm (PON)

**[ElixirStatus](https://daily.dev/sources/elixirstatus)** · 7 min read · 6 upvotes · 0 comments

## Summary

PON-BEAM is a complete re-architecture of the Erlang/OTP 30 ERTS virtual machine using the Notification-Oriented Paradigm (PON). It replaces traditional polling loops and linear scans with a reactive mesh of event-driven notification callbacks, achieving O(1) constant-time execution for core operations. Key improvements include eliminating idle CPU waste (0.0% idle), reducing selective receive latency from 82,000µs to 12µs (6,665× speedup), and cutting ETS lookup time by 250×. The project covers seven subsystem phases (PON-Receive, PON-Timer, PON-Spawn, PON-Scheduler, PON-ETS, PON-Compiler, PON-GC) and includes a 4-pillar formal verification suite using TLA+, Coq, Frama-C, and PropEr to guarantee semantic correctness.

## Full article

daily.dev links to this article rather than hosting it. Read it at the original source: <https://github.com/matheuscamarques/pon_beam>

## Similar posts on daily.dev

- [Notification-Oriented Paradigm \(PON\) in Elixir: why the BEAM fits reactive rules](https://daily.dev/posts/notification-oriented-paradigm-pon-in-elixir-why-the-beam-fits-reactive-rules-rsqmyv05t) · ElixirStatus · 0 upvotes · 0 comments
- [Code BEAM Lite STO 2025 - Learning Resources / Talks - Erlang Forums](https://daily.dev/posts/code-beam-lite-sto-2025---learning-resources-talks---erlang-forums-hue9non14) · Erlang Forums · 0 upvotes · 0 comments
- [Building Distributed Systems on the BEAM from First Principles \(Consolidated Series & Lab Updates\)](https://daily.dev/posts/building-distributed-systems-on-the-beam-from-first-principles-consolidated-series-lab-updates--yzqbu8ij9) · Elixir Forum · 0 upvotes · 0 comments
- [GitHub - elixir-volt/quickbeam: JavaScript runtime for the BEAM — Web APIs backed by OTP, native DOM, and a built-in TypeScript toolchain.](https://daily.dev/posts/github---elixir-volt-quickbeam-javascript-runtime-for-the-beam-web-apis-backed-by-otp-native-dom-kcgz3hvcu) · Hacker News · 10 upvotes · 1 comments
- [Code BEAM Lite STO 2025 - Learning Resources / Talks - Erlang Forums](https://daily.dev/posts/code-beam-lite-sto-2025---learning-resources-talks---erlang-forums-kty7dnrrc) · Erlang Forums · 0 upvotes · 0 comments

---

Tags: [#performance](https://daily.dev/tags/performance), [#architecture](https://daily.dev/tags/architecture), [#erlang](https://daily.dev/tags/erlang), [#virtual-machine](https://daily.dev/tags/virtual-machine)

[View this post on daily.dev](https://daily.dev/posts/github---matheuscamarques-pon-beam-pon-beam-is-a-complete-re-architecture-of-the-erlang-otp-virtual-qjg1xdvz2)