DEV Community: Karac Thweatt

Flux: The New Programming Language Built for Tomorrow’s CPUs

Karac Thweatt — Wed, 13 May 2026 20:04:27 +0000

As we enter an era of massive hardware innovation, the design of programming languages must evolve to keep pace with modern advancements. Flux is more than just a language, it’s the embodiment of a new paradigm in systems programming, purpose-built to leverage the architectural trajectory of modern CPUs, particularly the advent of massive cache hierarchies.

Designed with insights into how hardware is evolving, Flux stands out as the only systems programming language that fully embraces stack-by-default memory allocation, making it the fastest and most efficient language for modern performance-critical applications. Here’s why Flux is not just relevant today, but also future-proof for the next generation of CPUs.

The Hardware Shift: CPUs Are Scaling Cache, Not Clock Speed

For decades, performance gains in CPUs came largely from increasing clock speeds. However, as heat and power efficiency limits closed that path, CPU designers turned to:

Multi-core processing for parallelism
Out-of-order execution for smarter instruction handling, and
Massive on-chip caches to reduce memory latency

Recent CPUs, such as AMD’s models with 448MB of total cache, reflect this shift towards leveraging low-latency, high-bandwidth cache hierarchies. These caches are the new performance battleground, capable of delivering data at speeds 10–20x faster than main memory (RAM).

However, most programming languages have not adapted to this evolution:

Heap-first architectures lead to fragmented, unpredictable memory patterns that fail to exploit the benefits of caches.
Legacy languages like C and C++ require manual and deliberate stack management, creating unnecessary friction for developers aiming to optimize their performance
Even systems languages like Rust pay penalties due to memory safety guarantees and reliance on the heap for ownership-validation mechanisms.

Flux changes all of this.

The Flux Advantage: Stack-by-Default Design

Flux is the only language built from the ground up with stack allocation as the default behavior.

Unlike other systems languages that encourage or allow heap-dependence unless explicitly overridden, Flux ensures that everything is allocated on the stack by default, including pointers, unless otherwise specified by the programmer.

Why Stack-First Optimizations Matter:

Faster Memory Access

Memory allocated on the stack stays cache-resident or close to it, making it up to 20x faster than heap memory.
Heap memory, by contrast, is dynamically allocated and often ends up scattered across random regions in main memory, slowing access.

Cache-Friendly by Design:

Stack allocation leverages spatial and temporal locality — data is laid out in a predictable, linear fashion, making it easy for modern CPUs to prefetch and cache efficiently.

Zero Fragmentation:

The stack eliminates the challenges of heap fragmentation, ensuring predictable memory management. This simplifies programs while improving both performance and reliability.

Minimal Runtime Overhead:

Stack management has virtually zero overhead since allocation and deallocation follow straightforward linear patterns. Heap management requires algorithms with non-trivial costs to handle allocation, garbage collection, or reference counting.

Competitive Edge: Why Flux Outperforms C, Rust, and Others

With its stack-first philosophy, Flux inherently delivers predictable performance gains, even against heavyweight competitors.

Flux vs C:

C requires explicit management: While C allows stack allocation, developers must manually ensure variables remain on the stack. Flux removes this cognitive overhead by making the stack the default.
Flux also avoids C’s reliance on the heap for constructs like dynamic pointers — critical in systems programming.

Flux vs Rust:

Rust’s borrow checker introduces runtime overhead and restricts developers to ownership-based memory models, often forcing heap usage for safety.
Flux trusts the programmer while offering opt-in ownership without unnecessary restrictions, enabling stack-first patterns that outperform Rust in cache-bound workloads.

Flux vs Python/Go:

Unlike managed languages (Python, Go), which abstract memory management entirely with heap and garbage collection, Flux gives direct control over allocation allowing it to operate in low-latency and resource-constrained environments.

Why Flux Is Future-Proof for the New CPU Era

The trend of massive CPU caches and increasingly complex memory hierarchies solidifies Flux’s position as the language of the future. Here’s why:

Made for Modern Hardware:

Modern CPUs are optimized for patterns of locality, and Flux’s stack-first design takes advantage of this by ensuring that data resides in low-latency, high-speed caches.

Scalable Performance:

As CPUs integrate even larger caches, the performance gap between stack and heap usage will only grow. Flux’s focus on stack allocation guarantees that it remains the fastest option on high-end hardware.

Low Overhead for High Throughput:

Massive parallel systems with dozens or hundreds of cores require predictable memory behavior for lock-free, low-contention programming. Flux’s stack philosophy ensures that even in heavily threaded environments, memory contention is minimized.

Ideal for Real-Time and Embedded Systems:

With its stack-first design, Flux is ready for embedded systems, IoT, edge computing, and game engines — domains where deterministic performance, low latency, and efficient use of limited resources are critical.

Aligned with Green Computing:

Efficient cache usage not only improves speeds but also reduces energy consumption, making Flux a natural fit for energy-efficient software development in a resource-conscious world.

The Future is Flux

Programming languages often lag behind hardware advancements, but Flux flips the equation. By aligning itself with the trajectory of cache-optimized, high-core-count CPUs, Flux redefines systems programming for the modern and future eras of computing.

Whether you’re optimizing embedded devices, building network protocols, developing game engines, or working on memory-intensive applications, Flux delivers unmatched performance with its stack-first design philosophy. It is not just a language for today — it is the future of systems programming.

Where Can I Get Flux?

Flux is on GitHub at https://github.com/kvthweatt/Flux

[Boost]

Karac Thweatt — Mon, 27 Apr 2026 21:23:35 +0000

Karac Thweatt

Apr 27

Flux - the new programming language is built for speed, easy to read, and familiar.

#programming #language #compilers #flux

Comments

6 min read

Flux - the new programming language is built for speed, easy to read, and familiar.

Karac Thweatt — Mon, 27 Apr 2026 21:20:55 +0000

I've been working on Flux - my new compiled, general-purpose systems programming language - and wanted to write up what it looks like today. This isn't a roadmap post or a vision doc, just a walkthrough of the language as it exists right now. Source files use the .fx extension, the compiler targets LLVM, and the language is nearing bootstrap.

First things first. Flux is not C, nor a C derivative / wrapper.

Let's start simple and build up from there.

Hello, World

#import "standard.fx";

using standard::io::console;

def main() -> int
{
    print("Hello, World!\n");
    return 0;
};

A few things to notice immediately: def is the function keyword, -> declares the return type, and the closing brace of a compound statement gets a semicolon - compound statements are terminated just like any other statement in Flux. It's consistent everywhere once you internalize it.

#import is textual - it splices the file contents at the import site. Multiple imports are processed left to right:

#import "standard.fx";
#import "mylib.fx", "foobar.fx";

The using declaration brings a namespace into scope. Namespaces use :: for access, and duplicate namespace definitions merge rather than conflict - a library can spread a namespace across multiple files and it behaves as one namespace at the use site.

Variables and Primitives

Flux has the types you'd expect for systems work:

bool, byte, int, uint, long, ulong, float, double, char, void

And one you might not: data. More on that shortly.

Variables are stack-allocated by default. Heap allocation requires the heap keyword - there's no implicit dynamic allocation anywhere.

int x = 5;
uint y = 300u;
float pi = 3.14159;
bool flag = true;

heap string s = "some data";
(void)s;   // explicit cleanup

Multiple declarations can be comma-chained:

int x = 10,
    y = 20,
    z = y - x; // declared in order, so this works

void as a value equals 0 equals false. You can use it directly in expressions and comparisons, and it serves as the null value for pointers.

Functions

Functions live at module, namespace, or object scope - no nested function definitions.

def myAdd(int x, int y) -> int
{
    return x + y;
};

Overloading works on type signature:

def myAdd(float x, float y) -> float
{
    return x + y;
};

Prototypes (forward declarations) don't require parameter names, only types:

def myAdd(int, int) -> int,
    myAdd(float, float) -> float;

def is fastcall by default. Other calling conventions are first-class keywords like stdcall, cdecl, vectorcall, and thiscall.

Control Flow

Standard if/elif/else, for, while, do/while, and switch - all terminated with semicolons. switch only puts the semicolon on the default block. try/catch only puts it on the last catch.

for (int i = 0; i < 10; i++)
{
    if (i % 2 == 0) { continue; };
    print(f"{i}");
};

Ternary works as expected:

int z = x < y ? y : 0;

Flux also has a null-coalesce operator ?? and a conditional assign ?=:

int z = y ?? 0;    // z = y if y is non-null, else 0
x ?= 50;           // assign 50 only if x is currently null/zero

Structs

Structs are always packed - no compiler-inserted padding. You control alignment by choosing your types. They're non-executable: no functions, no objects, just data.

struct xyzStruct
{
    int x, y, z;
};

xyzStruct v {x = 1, y = 2, z = 3};
print(v.x);

Structs can contain other structs, support composition (prepend/append another struct's fields), and can be templated:

struct Pair<A, B>
{
    A first;
    B second;
};

Template arguments are inferred at the call site.

Objects

Objects are executable types with constructors, destructors, and methods. this is always implicit - never a parameter.

object Counter
{
    int val;

    def __init(int start) -> this
    {
        this.val = start;
        return this;
    };

    def __exit() -> void {};

    def increment() -> void
    {
        this.val++;
    };
};

Counter c = 0;       // sugar for Counter c(0);
c.increment();
print(c.val);

Single-parameter __init allows the assignment-style instantiation shown above.

defer runs cleanup in LIFO order, immediately before the function returns:

Counter c = 0;
defer c.__exit();
// ... c is cleaned up automatically at return

Traits enforce structural contracts at compile time:

trait Drawable
{
    def draw() -> void;
};

Drawable object Sprite
{
    def draw() -> void
    {
        // must not be empty
        return void;
    };
};

If a Drawable object doesn't implement draw(), compilation fails.

Error Handling

throw accepts any type. catch matches by type, with auto as the catch-all:

def risky(int mode) -> void
{
    if (mode == 1) { throw(ErrorA(100)); }
    elif (mode == 2) { throw(ErrorB("failed")); }
    else { throw("generic"); };
};

try
{
    risky(2);
}
catch (ErrorA e) { print(f"code: {e.code}"); }
catch (ErrorB e) { print(f"msg: {e.message}"); }
catch (string s) { print(s); }
catch (auto x)   { print("unknown"); };

Memory and Pointers

Heap allocation goes through fmalloc and ffree directly:

u64 p = fmalloc(sz);
if (!(@)p) { ok = false; break; };
total_bytes += (i64)sz;
ffree(p);

@ is address-of. (@) is an address cast - converts an integer value to a pointer. ! applied to a pointer emits a null check. There's also a postfix not-null operator !?:

if (ptr!?) { /* ptr is non-null */ };

Pointer arithmetic, casting, and raw dereferencing all work as you'd expect:

byte* bp = (byte*)@addr;
int val = *some_ptr;

The `data` Type and Bit-Level Work

data{N} declares N-bit raw storage, unsigned by default. You can apply signed and create type aliases with as:

signed data{32} as fixed16_16;

def to_fixed(float value) -> fixed16_16
{
    return (fixed16_16)(value * 65536.0);
};

def fixed_mul(fixed16_16 a, fixed16_16 b) -> fixed16_16
{
    i64 temp = ((i64)a * (i64)b) >> 16;
    return (fixed16_16)temp;
};

Flux also has endian-aware width types as first-class aliases: nybble, be16, be32, be64, le16, le32, and so on. Network and binary protocol structs look like this:

struct IPHeader
{
    nybble version, ihl;
    byte tos;
    be16 total_length, identification, flags_offset;
    byte ttl, protocol;
    be16 checksum;
    be32 src_addr, dst_addr;
};

def parse_ip(byte* packet) -> IPHeader
{
    IPHeader* header = (IPHeader*)packet;
    return *header;
};

def format_ip(be32 addr) -> string
{
    byte* bp = (byte*)@addr;
    return f"{bp[0]}.{bp[1]}.{bp[2]}.{bp[3]}";
};

Operators

Flux separates logical and bitwise operators syntactically. Logical: &, |, ^^ (XOR), !& (NAND), !| (NOR). Bitwise versions are prefixed with a backtick: `&, `|, `^^, `!.

Shifts: <<, >>.
Bit slice (extracts a range of bits):

a[x``y]

Operator overloading is supported as long as at least one parameter is not a built-in primitive - struct and object types are always eligible:

def operator+(xyzStruct a, xyzStruct b) -> xyzStruct
{
    return xyzStruct {x = a.x + b.x, y = a.y + b.y, z = a.z + b.z};
};

Templates and contracts can be attached to operator definitions.

The chain operator <- passes the right-hand result as the first argument to the left-hand function:

int z = foo() <- bar();   // == foo(bar())

And <~ on a function declaration emits musttail, guaranteeing zero stack growth for tail-recursive functions:

def trampoline(int n) <~ int;

Contracts and Macros

Contracts are pre/post conditions attached to functions:

contract positive { assert(x > 0, "x must be greater than zero"); };

def sqrt_int(int x) -> int : positive
{
    // x is guaranteed > 0 here
};

Parameterized contracts match the arity of the function they're attached to.

Macros are expression-only and expand at the call site:

macro CLAMP(val, lo, hi)
{
    (val, lo, hi) ((val) < (lo) ? (lo) : (val) > (hi) ? (hi) : (val))
};
int c = CLAMP(x, 0, 255);

Macros and contracts can be mixed on the same function.

Enums, Unions, and the Preprocessor

Enums are typed:

enum Color { Red, Green, Blue };

Color c = Color::Red;

Unions share memory across members in the usual way, declared like structs.

The preprocessor is minimal: #import, #dir, #def, #ifdef, #ifndef, #else, #warn, #stop. #dir adds a path to the search list. #stop hard-halts compilation with a message.

Putting It Together:

#import "standard.fx";

using standard::io::console;

struct myStru<T>
{
    T a, b;
};

def foo<T, U>(T a, U b) -> U
{
    return a.a * b;
};

def bar(myStru<int> a, int b) -> int
{
    return foo(a, 3);
};

macro macNZ(x)
{
    x != 0
};

contract ctNonZero(a,b)
{
    assert(macNZ(a), "a must be nonzero");
    assert(macNZ(b), "b must be nonzero");
};

contract ctGreaterThanZero(a,b)
{
    assert(a > 0, "a must be greater than zero");
    assert(b > 0, "b must be greater than zero");
};

operator<T, K> (T t, K k)[+] -> int
:     ctNonZero(  c,   d), // works on arity and position, not identifier name.
ctGreaterThanZero(e,   f)
{
    return t + k;
};

def main() -> int
{
    myStru<int> ms = {10,20};

    int x = foo(ms, 3);

    i32 y = bar(ms, 3);

    println(x + y);

    return 0;
};

Current State

The standard library is actively growing - JSON, UUIDs, networking, hashing, and encryption are all in progress. Bootstrapping - rewriting the compiler in Flux - is the next major milestone. There's a GitHub repository, Discord server, and website if you want to follow along or get involved.

Repo: https://github.com/kvthweatt/Flux
Discord: discord.gg/wVAm2E6ymf

DEV Community: Karac Thweatt

Flux: The New Programming Language Built for Tomorrow’s CPUs

The Hardware Shift: CPUs Are Scaling Cache, Not Clock Speed

The Flux Advantage: Stack-by-Default Design

Competitive Edge: Why Flux Outperforms C, Rust, and Others

Why Flux Is Future-Proof for the New CPU Era

The Future is Flux

Where Can I Get Flux?

[Boost]

Flux - the new programming language is built for speed, easy to read, and familiar.

Flux - the new programming language is built for speed, easy to read, and familiar.

Hello, World

Variables and Primitives

Functions

Control Flow

Structs

Objects

Error Handling

Memory and Pointers

The data Type and Bit-Level Work

Operators

Contracts and Macros

Enums, Unions, and the Preprocessor

Putting It Together:

Current State

The `data` Type and Bit-Level Work