') + ')', 'gi'); if (regex.test(text)) { found = true; var frag = document.createDocumentFragment(); var parts = text.split(regex); parts.forEach(function(part, i) { if (i % 2 === 0) { frag.appendChild(document.createTextNode(part)); } else { var span = document.createElement('span'); span.className = 'userscript-highlight'; span.textContent = part; frag.appendChild(span); } }); node.parentNode.replaceChild(frag, node); } }); } else if (node.nodeType === 1 && node.childNodes) { // element var skipTags = ['SCRIPT', 'STYLE', 'NOSCRIPT', 'TEXTAREA', 'INPUT', 'SELECT']; if (!skipTags.includes(node.tagName)) { Array.from(node.childNodes).forEach(highlight); } } } highlight(document.body); // Re-highlight on dynamic content var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1 || node.nodeType === 3) highlight(node); }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Highlight Search Terms]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ', 'i'); if (__m === '*' || __re.test(location.href)) { // Strip utm_, fbclid, gclid, etc. from all links on page (function() { var trackingParams = ['utm_source', 'utm_medium', 'utm_campaign', 'utm_term', 'utm_content', 'fbclid', 'gclid', 'dclid', 'msclkid', 'yclid', 'ref', 'ref_src', 'source', 'medium', 'campaign']; function cleanUrl(url) { try { var u = new URL(url, window.location.origin); var changed = false; trackingParams.forEach(function(p) { if (u.searchParams.has(p)) { u.searchParams.delete(p); changed = true; } }); return changed ? u.toString() : url; } catch (e) { return url; } } function cleanLinks() { document.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } cleanLinks(); var observer = new MutationObserver(function(mutations) { mutations.forEach(function(m) { m.addedNodes.forEach(function(node) { if (node.nodeType === 1) { if (node.tagName === 'A') cleanLinks(); node.querySelectorAll('a[href]').forEach(function(a) { var clean = cleanUrl(a.href); if (clean !== a.href) a.href = clean; }); } }); }); }); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:Remove Tracking Parameters from Links]', __e); } })(); (function(){ try { var __m = "youtube.com"; var __re = new RegExp('^' + "youtube\\.com" + ', 'i'); if (__m === '*' || __re.test(location.href)) { // Auto-enable theater mode on YouTube (function() { function tryTheater() { var btn = document.querySelector('button[aria-label="Theater mode"], ytd-player #player button[title="Theater mode"]'); if (btn && !btn.classList.contains('activated')) { btn.click(); } } // Try immediately tryTheater(); // Try after navigation (SPA) var lastUrl = location.href; setInterval(function() { if (location.href !== lastUrl) { lastUrl = location.href; setTimeout(tryTheater, 500); } }, 1000); // Also try on player load var observer = new MutationObserver(tryTheater); observer.observe(document.body, { childList: true, subtree: true }); })(); } } catch(__e) { console.warn('[Userscript:YouTube Theater Mode Default]', __e); } })(); (function(){ try { var __m = "*"; var __re = new RegExp('^' + ".*" + ', 'i'); if (__m === '*' || __re.test(location.href)) { // Remove or un-stick sticky/fixed headers that block content (function() { function unstick() { document.querySelectorAll('header, nav, [role="banner"], .header, .navbar, .sticky, .fixed-top, [style*="position: fixed"], [style*="position:sticky"]').forEach(function(el) { if (el.style.position === 'fixed' || el.style.position === 'sticky' || getComputedStyle(el).position === 'fixed' || getComputedStyle(el).position === 'sticky') { el.style.position = 'static'; el.style.top = 'auto'; el.style.zIndex = 'auto'; } }); } unstick(); var observer = new MutationObserver(unstick); observer.observe(document.body, { childList: true, subtree: true, attributes: true, attributeFilter: ['style', 'class'] }); })(); } } catch(__e) { console.warn('[Userscript:Kill Sticky Headers]', __e); } })(); })(); ALIA Labs · GitHub
Skip to content
@ALIA-Engineering

ALIA Labs

Engineering difficult systems across software, infrastructure, automation, optimization, security, and applied R&D.
README.md

ALIA Labs

Difficult problems. Built solutions.

ALIA Labs is a global applied engineering and technical services company. We take on requirements that do not fit neatly inside an existing product, vendor, or department: we design the solution, assemble the capabilities, prove it works, and stay accountable through delivery.

This organization holds the engineering work we release publicly. Every repository here exists because we needed it, and each one demonstrates a different discipline.

The work

RepositoryWhat it proves
CarbonBit-exact deterministic training across GPU architectures. Same seed, different GPU, identical weights.
MoltenFused CUDA kernel generation from mathematical specifications. Write the math, get the kernel, with correctness validation and reproducible benchmarks.
RedlineCompile-time performance guarantees for Rust. Code that would cross the performance line does not compile.
SealedCryptographic attestation, behavioral sandboxing and trust verification for package installs across ecosystems.
FoundryHTML, CSS and JavaScript compiled to GPU-rendered native binaries.
PaneA GPU-aware system monitor for Windows: per-process VRAM, dual-GPU support and hardware controls in a single binary.

Beyond open source, we build and operate our own GPU inference infrastructure, including a from-scratch CUDA C++ runtime that serves large mixture-of-experts models on consumer hardware. Measured results are published at alialabs.org/research.

Working with us

We take on defined technical and operational problems for companies, institutions, integrators and project teams worldwide. Engagements may involve software, automation, systems integration, technical sourcing, industrial systems, optimization or several disciplines at once, and they end in working deliverables measured against written acceptance criteria.

A rough description of the problem is enough to start: alialabs.org/submit

Procurement teams can send RFIs, RFQs, RFPs and statements of work directly: alialabs.org/procurement

Contact: adrian@alialabs.org

ALIA Labs is the engineering organization of ALIA LLC, United States.

Popular repositories Loading

  1. Carbon CarbonPublic

    Same seed. Different GPU. Identical weights. Bit-exact deterministic training across GPU architectures.

    Python 3

  2. Foundry FoundryPublic

    Cast web into native metal. HTML/CSS/JS compiled to GPU-rendered native binaries.

    Rust 3

  3. Molten MoltenPublic

    Write the math. Get the kernel. Fused CUDA kernel generation from mathematical specifications.

    Python 1

  4. Pane PanePublic

    GPU-aware system monitor for Windows. Per-process VRAM, dual GPU support, hardware controls. Single binary, Rust.

    Rust

  5. Sealed SealedPublic

    Cross the supply chain. Cryptographic attestation, behavioral sandboxing, and trust verification for package installs.

    Python

  6. Redline RedlinePublic

    Cross the performance line. Won't compile. Compile-time performance guarantees for Rust.

    Rust

Repositories

Showing 7 of 7 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…