Onderzoeksprogramma's, papers en rapporten

Kies de doelgroep die bij je vraag past

De pagina bevat drie selecteerbare lezingen van hetzelfde onderwerp.

Onderzoek naar energiezuinige inferentie

Onderzoek naar deterministische uitvoering

Ingenieurs zetten het bewezen idee om in echte code. Dezelfde tests die het onderzoek bewezen, bewijzen nu het product. Jij profiteert zonder ooit het paper te lezen.

Voordat onderzoek een functie wordt, publiceren we het zodat anderen onze methode, data en conclusies kunnen controleren. Open toetsing vangt fouten en maakt het werk sterker.

We bouwen prototypes, voeren experimenten uit en meten de resultaten tegen echte data. Als iets niet werkt, schrijven we dat ook op. Een negatief resultaat is nog steeds een resultaat.

Zoeken is te traag. Antwoorden zijn inconsistent. Energierekeningen zijn te hoog. We maken van het ding waar mensen over klagen een precieze vraag die we kunnen bestuderen.

Replay is een te testen eigenschap onder een vaste build

Voorgestelde 60Hz-tijdstap, geseede willekeur en een getypt invoerlogpad

Kandidaatkernels gecontroleerd tegen begrensde verplichtingen

SMT-controles met Z3 en CVC5 plus een Cranelift-codegenpad; validatie moet nog gebeuren

Kandidaat voor bekende optimalisatie (voorbeeld)

Kandidaatvoorbeeld: een route met drie vermenigvuldigingen voor complexe vermenigvuldiging

Vergelijkingsdoel voor aantal vermenigvuldigingen (geen gepubliceerde benchmark)

Hypothese over sparse-dispatchoptimalisatie

Sparse dispatch zou inactieve cellen kunnen overslaan; gedrag per tick vereist validatie

Vergelijkingsdoel voor CPU-besparing (geen gepubliceerd resultaat)

Replaycondities zijn toetsbaar; volledige reproduceerbaarheid moet nog worden gevalideerd

Vastgelegde regels zijn bedoeld voor replay per tick; validatie moet nog gebeuren

Elk cijfer hoort naar de bronrun en het meetrecord te verwijzen; de bewijsstatus maakt deel uit van de review.

Het kandidaatbackendbereik van Forge omvat x86-64, RISC-V, WebAssembly en GPU; dekking en kwaliteit vereisen validatie.

De Jacquard-broncode is privé en op aanvraag beschikbaar. Forge blijft onderzoek en is niet open.

Reproduceerbaarheid is een ontwerpdoel voor deze onderzoekstrajecten. Elke rij hoort een kandidaatclaim te koppelen aan het traject, de bron en de meetregistratie die haar opleverden. Lees het als een evidenceblad met validatiestatus, niet als een brochure.

Getoonde cijfers zijn rapportvelden of vergelijkingsdoelen; controleer de bronregistratie en toegangstermen voordat je ze als gemeten resultaat behandelt.

AI draaien kan veel stroom kosten. Wij zoeken naar manieren om hetzelfde antwoord te krijgen met veel minder. Als AI minder elektriciteit gebruikt, kost het minder en vervuilt het minder, zodat kleinere organisaties en publieke diensten het zich ook kunnen veroorloven.

We onderzoeken hoe we AI kunnen bouwen die jouw informatie opslaat en verwerkt binnen Europese grenzen, onder Europese wetgeving. Dat betekent dat het beschermd wordt door GDPR, niet wordt overgedragen aan buitenlandse surveillance, en wordt beheerd door mensen die je verantwoordelijk kunt houden.

AI is nu overal, maar de meeste mensen weten niet hoe het werkt, waar hun data naartoe gaat of of ze de antwoorden kunnen vertrouwen. Ons onderzoek bestaat om dat op te lossen. We werken aan drie problemen die er toe doen voor iedereen die technologie gebruikt.

Drie vragen die alles sturen wat we bouwen.

We bestuderen hoe we AI zijn redenering kunnen laten uitleggen, elke keer hetzelfde antwoord kunnen geven en kunnen zeggen wanneer het onzeker is. Je zou nooit een black box hoeven te vertrouwen. Je moet kunnen zien waarom het iets zei en zelf beslissen.

Zelfde resultaat, een fractie van de stroom

Elke stream publiceert openlijk zodat anderen het werk achter de claim kunnen controleren.

Dweve-onderzoek is georganiseerd rond vier strategische gebieden die direct aansluiten op productmogelijkheden. Elk is de publieke onderzoekslaag die een commerciële claim ondersteunt. Houd de muis op een stream om te zien wat het onderbouwt.

Vier streams. Eén missie: soevereine, efficiënte, betrouwbare AI.

Onderzoek naar data-residency frameworks en transfermechanismen die voldoen aan Schrems II. Dit onderbouwt onze implementatiegaranties dat data binnen Europese grenzen blijft, onder Europese wetgeving.

Onderzoek naar homomorfe encryptie, veilige aggregatie voor federated training en zero-knowledge proofs voor modelverificatie. Dit is het fundament onder het federated learning binnen Mesh, ons Circular Compute-product.

Kostenbeheersing en duurzaamheidsrapportage

Onderzoek naar quantisatie en hardware-specifieke kernel work die het stroomverbruik van een model vermindert zonder de output te verslechteren. Minder elektriciteit betekent lagere operationele kosten en een kleinere voetafdruk.

Onderzoek naar fixed-point arithmetic, seeded randomness, en platform-onafhankelijke uitvoering zodat een model op elke machine hetzelfde antwoord geeft. Dit onderbouwt de reproduceerbaarheid die je nodig hebt voor een audit.

We publiceren tussentijdse resultaten, mislukte experimenten en herziene hypotheses. Onderzoek als open engineering proces.

Jacquard blijft een privéonderzoekstraject. Overdracht naar Fabric, Nexus of Aura vraagt afzonderlijke validatie.

Jacquard-replay is een onderzoekseigenschap, Mycelia-replay een te testen voorwaarde en Forge controleert begrensde verplichtingen in een experimenteel programma.

Elke stream bevat een bewijsstatus en een grens rond de huidige claims.

tick-voor-tick replay (onderzoekseigenschap)

CPU-vergelijking (validatie moet nog gebeuren)

modelscopes: perceptie, chemie, evolutie

Een digitaal-wereldmodel met expliciete lokale regels en energiekosten. Het rapport ondersteunt deterministische replay als toetsbare eigenschap; bredere gedragsclaims vragen nog toekomstige validatie.

Uitgewerkt voorbeeld (meting moet nog gebeuren)

Forge verkent kandidaatimplementaties van kernels met programmasynthese. Het ontwerp gebruikt Cranelift-gebaseerde meting en SMT-controles voor begrensde verplichtingen; het rapport uit 2025 stelt productierijpheid of benchmarkprestaties niet vast.

Private bronrepository, toegang op aanvraag

Een browsergebaseerde wereld-engine die agents via een getypt MCP-oppervlak kunnen bouwen. Vaste tijdstap, geseede willekeur en replay vanaf seed en invoerlogboek zijn onderzoekseigenschappen om te evalueren. De bronrepository is privé.

Ons onderzoek vertaalt lastige systeemvragen naar instrumentarium dat je kunt inspecteren: deterministische werelden, synthesepijplijnen en laboratoria voor kunstmatig leven. De uitkomst is niet alleen een demonstratie, maar een route die een andere engineer kan reproduceren en kritisch toetsen.

Jacquard onderzoekt de semantiek van deterministische werelden, Forge programmasynthese en Mycelia emergent gedrag. Elk programma heeft een eigen instrumentarium, resultaatvorm en faalgrens.

Open het implementatieverhaal van elk programma

Afzonderlijke systemen, dezelfde methode

Elk programma beheert zijn eigen toestand en bewijs

Een getypeerde wereldengine met uitvoering in vaste stappen, expliciete overgangen en replaybare agenttraces.

Een synthesepijplijn die kandidaatprogramma’s doorzoekt, via Cranelift verlaagt, meet en randvoorwaarden controleert.

Een deterministisch laboratorium voor kunstmatig leven rond lokale regels, grondstoffendruk, afstamming en emergente structuur.

Een programma begint met een waarneembare bewering, gecontroleerde variabelen, perturbaties en een stopconditie. De specificatie bepaalt welke toestand we bewaren en welk tegenvoorbeeld het resultaat opnieuw ter discussie kan stellen.

Het experimentele contract komt vóór de implementatie

Zonder gespecificeerde toestand is een claim niet reproduceerbaar

Behoudt het mechanisme zijn invariant onder gecontroleerde perturbaties

De invariant, de perturbatiefamilie en de waarnemingsgrens liggen vóór de uitvoering vast.

Getypeerde entiteiten, overgangen, klokken en seeds.

Gevallen variëren onafhankelijk ten opzichte van een vaste basislijn.

We toetsen invarianten en faaldrempels als vaste controles.

Geen gevolgtrekkingen buiten de toestandsruimte met versies

Vraag, instrumentarium, uitvoering, toetsing en oplevering hangen samen via invoer en uitvoer met versies. Kies een fase om het bijbehorende contract te bekijken.

Je kunt elke overgang afspelen of afwijzen

Definieer de invariant, het observatievlak, de gecontroleerde toestand, de perturbatiefamilie en de stopregel.

Implementeer het minimale deterministische instrumentarium met expliciete klokken, seeds, schema’s en gebeurtenisgrenzen.

Voer het protocol uit en bewaar invoer, overgangen, timing, uitvoer en omgevingsidentiteit.

Genereer tegenvoorbeelden met verschillende seeds, randgevallen, schaal en gewijzigde aannames; koppel mislukkingen aan het resultaat.

Exporteer het mechanisme dat de toets doorstaat, de API-grens, het reproductiepakket en de operationele randvoorwaarden als één opleverpakket.

Het bewijsdossier koppelt bronversie, identiteit van de bouwversie, protocol, toestand, waarnemingen, controles en grenzen. Een tweede engineer kan de route reconstrueren zonder te raden welke omgeving de uitvoering mogelijk maakte.

De volledige uitvoering blijft opvraagbaar