# Nexaaly

> Nexaaly er et dansk IT firma. Vi forsker i software og AI. Vi bygger egne værktøjer og gør dem hurtige.

Danmark. CVR 40643419. Momsnummer DK40643419. Stiftet af Daniel Abildgaard. Registreret siden 2023-11-01.
Kontakt: hello@nexaaly.com

## Officielle websites

- [Dansk](https://nexaaly.dk/)
- [Engelsk](https://nexaaly.com/)
- [Nexapad](https://nexapad.dk/)

## Produkter

- [Nexapad](https://nexaaly.dk/products/nexapad/): Nexapad er software til timer, vagter og fravær. Medarbejdere tjekker ind på en fælles tablet. AI kan hjælpe med arbejdet. Status: Lukket test.
  - Side: https://nexapad.dk
- glimo: glimo er Nexaalys motor til bevægelse på web. Den bruger din GPU, så bevægelser kører jævnt, selv når siden har travlt. Status: Driver denne side.

## Egne værktøjer

- Nexagate: Vores egen webserver. Skrevet i Rust. Med HTTP/2, HTTP/3 og HTTPS, der passer sig selv. Status: I brug.
  - Målt: 211.000 HTTP/2 kald i sekundet mod 155.000 for nginx. Det laveste af to forsøg hver. Målt 29. september 2026 på en PC med 4 kerner pr. server. Kun svar uden fejl tæller. Kilde: Nexagate/bench/README.md
- Nexaaly Mail: Vores egen mailserver og webmail i Rust. Den sender og modtager mail, tjekker afsenderen og samler din post. Status: I brug.
  - Målt: 14 gange mindre CPU pr. mail end Postfix med Dovecot. 0,62 til 0,68 ms mod 9,6 til 9,9 ms pr. gemt lille mail. En PC den 29. september 2026. Kilde: Nexamail/docs/server-comparison.md
- Phage: Phage beviser Rust kode for alle input op til en valgt størrelse. Den fandt en fejl i vores gamle webserver og beviste rettelsen. Den fandt også en fejl i LLVM 20.1, 21.1 og 22.1. LLVM rettede den til 23.1 den 3. maj 2026. Rust 1.94 bruger LLVM 21. Status: Åben kildekode.
  - Målt: 31 gange hurtigere end Kani fra Amazon på samme bevis. 0,285 s mod 8,895 s. Samme kode og grænser på en CPU kerne. Det midterste af 3 forsøg. Tre tjek af Nexagate. Ikke hele Rust. Kilde: RuHealth/evidence/improvements/SUMMARY.md
- Repomap: Viser AI vej i ukendt kode. Først et overblik, så de vigtigste filer. Læser C, C++, Rust, Go, TypeScript, JavaScript, Svelte og Vue. I vores test tog overblikket over 65.795 Linux filer 1,7 s. Et opgavekort tog 0,6 s. Status: Åben kildekode.
  - Målt: 87% af de rigtige filer blandt de første fem valg fra en AI, som ikke kender koden. 86,8 % i snit på 83 opgaver i ukendt kode. Uden AI var tallet 69,2 %. Målt 30. september 2026. Kilde: repomap/docs/experiments.md
- Nexus: Vores AI, der bygger software. Den måler først og beviser hver rettelse med tal. Status: Bygget af os.

## Forskning

- [Nexus](https://nexaaly.dk/research/nexus/): Nexus er vores AI, der bygger software. Den gør langsom kode hurtig. Og kalder først en rettelse færdig, når tallene viser det.
  - Målt: 92% mindre tid pr. kald i en test med en skjult fejl. Fra 3.337 til 281 ns pr. kald. Midterværdier fra 7 par af test i et lille C program den 30. september 2026. Med 95 % sikkerhed er faldet 90,8 til 93,0 %. Kilde: Nexus benchmark/invention/hotpath
- [R2](https://nexaaly.dk/research/r2/): R2 er vores AI til rigtige opgaver. Den har en fast hjerne og flere evner. Den lærer af dig uden at glemme det, den vidste.
- [Phage](https://nexaaly.dk/research/phage/): Phage tjekker Rust kode. Den beviser koden eller finder input, der giver fejl. Den dækker alle input op til en valgt størrelse.
  - Kildekode: https://github.com/MrNexaaly/Phage, Apache-2.0
  - Målt: 31 gange hurtigere end Kani fra Amazon på samme bevis. 0,285 s mod 8,895 s. Samme kode og grænser på en CPU kerne. Det midterste af 3 forsøg. Tre tjek af Nexagate. Ikke hele Rust. Kilde: RuHealth/evidence/improvements/SUMMARY.md
- [Nexagate](https://nexaaly.dk/research/nexagate/): Nexagate er vores egen webserver. Skrevet i Rust fra bunden. Den driver dette website.
  - Målt: 211.000 HTTP/2 kald i sekundet mod 155.000 for nginx. Det laveste af to forsøg hver. Målt 29. september 2026 på en PC med 4 kerner pr. server. Kun svar uden fejl tæller. Kilde: Nexagate/bench/README.md
- [Nexaaly Mail](https://nexaaly.dk/research/nexaaly-mail/): Nexaaly Mail er vores egen mailserver og webmail. Skrevet i Rust.
  - Målt: 14 gange mindre CPU pr. mail end Postfix med Dovecot. 0,62 til 0,68 ms mod 9,6 til 9,9 ms pr. gemt lille mail. En PC den 29. september 2026. Kilde: Nexamail/docs/server-comparison.md
- [Repomap](https://nexaaly.dk/research/repomap/): Repomap viser AI vej i kode, den ikke har set før.
  - Kildekode: https://github.com/MrNexaaly/Repomap, Apache-2.0
  - Målt: 87% af de rigtige filer blandt de første fem valg fra en AI, som ikke kender koden. 86,8 % i snit på 83 opgaver i ukendt kode. Uden AI var tallet 69,2 %. Målt 30. september 2026. Kilde: repomap/docs/experiments.md

## Vores AIs sanser

- Øjne, nxvision: Den ser gennem en rigtig browser og klikker som et menneske.
- Hænder, nxterm: Den skriver i rigtige terminaler og læser skærmen.
- Et kort, Repomap: Den får et kort over koden, før den læser en linje.
- Et ekstra tjek, nxagent: Den beder andre AI om at tjekke arbejdet. De kan også spørge den.
- Matematik, nxmath: Den regner og tjekker sine tal frem for at gætte.

## Nyt fra os

- [Vores AI fik et kort over Linux](https://nexaaly.dk/blog/repomap/): Repomap viser AI vej i ukendt kode. I vores test fandt AI med kortet 87 % af de rigtige filer blandt fem valg.
- [Vores webserver i test mod nginx](https://nexaaly.dk/blog/six-reverse-proxies/): Vi testede Nexagate mod nginx, HAProxy, rpxy, Pingora og Caddy. Se resultaterne, og hvor vores server vandt og tabte.
- [Vi tester og beviser vores Rust kode](https://nexaaly.dk/blog/proving-rust/): Phage tjekker Rust kode for alle input op til en valgt størrelse. Den fandt fejl i vores server og LLVM. Se testen mod Kani.
- [Mød vores AI, der måler først](https://nexaaly.dk/blog/nexus-measures-first/): Nexus måler, før den kalder en rettelse færdig. I vores test faldt tiden fra 3.337 til 281 ns pr. kald. Se hvordan.
- [DECK, Et korttrick med 675 bevægelser](https://nexaaly.dk/blog/deck/): Et korttrick i 3D på 45 sekunder. 52 kort og 675 bevægelser tegnet af glimo i din browser. Uden videofil.

## Sider

- [Om Nexaaly](https://nexaaly.dk/about/)
- [Privatliv](https://nexaaly.dk/privacy/)
- [Lab](https://nexaaly.dk/lab/)

Tallene er fra vores egne test. Hvert tal gælder de vilkår, der står ved testen.