Projekty

Otevřený kód, měřitelný důkaz

Devět veřejných repozitářů na vlastní instanci Gitea. U každého je vedle popisu i to, čím se jeho kvalita dá ověřit: oficiální test, diferenciální srovnání nebo testy jádra Linuxu. Projekty řídím stylem BDFL: směr určuji sám a plně za něj odpovídám. Napříč všemi platí tytéž zásady: minimum závislostí, žádné vázání na dodavatele a kód, který zůstává čitelný i bez mě. Část mé práce zůstává soukromá; toto je ta část, kterou si může kdokoli otevřít.

Knihovny

Tensor

Numerická knihovna pro Go: n-rozměrná pole, hustá i řídká lineární algebra, diferenciální rovnice, diskrétní transformace, statistika, optimalizace a reverzní automatická diferenciace. Implementace je čistě v Go, bez cgo a bez třetích stran; výpočet se dělí o všechna jádra CPU a deterministické chování definuje dokumentace.

Jedno go get a strojové učení i numerika v Go bez GPU a bez starostí o závislosti.

Ověření: srovnání s referenčními hodnotami a determinismus napříč platformami: stejný vstup dá na dvou strojích totéž číslo.

Repozitář na Gitea

Interpres

Parser a zapisovač TOML 1.1 pro Go bez třetích stran. API odpovídá zvyklostem encoding/json/v2: dokument se mapuje mezi Go typy a textem. Implementace drží specifikaci, bez vlastních rozšíření a bez výjimek z ní.

Prochází 100 % oficiální testovací sady toml-test: drží se specifikace, ne vlastní představy o ní.

Ověření: celá oficiální sada toml-test, žádné vynechané případy.

Repozitář na Gitea

Scriptorium

Serverové vykreslování vědeckých dokumentů v Go: Markdown na HTML, matematika v TeXu na MathML Core a Mermaid diagramy na SVG. Enginy stojí pouze na standardní knihovně. Výstupem je značka, kterou prohlížeč vykreslí bez JavaScriptu; stejné zadání vrací bajtově totožný výsledek, takže ho lze cacheovat, porovnávat i podepisovat.

Matematika bez JavaScriptu: vzorce kreslí prohlížeč sám, žádný renderovací bundle se do stránky nestěhuje.

Ověření: 649 z 652 příkladů specifikace CommonMark, kde tři výjimky jsou vědomá výměna za autolinky GFM, stejný obchod jako u GitHubu, a všech 23 příkladů rozšíření GFM; všech 391 symbolů z tabulek pokrytí KaTeXu prověřeno diffem proti jejich zdroji; testy hlídají bajtovou shodu opakovaných vykreslení.

Repozitář na Gitea

Vývojové nástroje

GAsm SDK

Sada nástrojů pro Go Plan 9 assembler: lexer, parser, formátovač, linter, samostatný assembler s podporou AVX-512 a RISC-V, disassembler, debugger a jazykový server. Vše v jednom samostatném binárním souboru, čistě v Go, bez externích toolchainů.

Jeden binární soubor a Plan 9 assembler má nástroje, které si jeho ekosystém nikdy nevybudoval.

Ověření: diferenciální testy assembleru proti Go toolchainu na amd64, arm64, riscv64 i loong64. Dvě nezávislé implementace musí na stejném vstupu souhlasit bit po bitu.

Repozitář na Gitea

JSbox

Celý webový toolchain v jednom binárním souboru a bez buildového kroku: dev server s live reloadem, statická kontrola, formátovač, automatické opravy, testovací runner a generátor statických webů. Kontrola, formátovač i opravy pracují nad skutečnými parse stromy JavaScriptu, CSS a HTML, ne nad textovými vzory; testy se spouštějí v prohlížeči nebo ve vestavěném enginu V9, jehož jazyková podpora sahá k ES2027.

Tento web je jeho výstup: sitegen z jednoho layoutu vygeneroval obě jazykové verze a mezi zdrojem a provozem nestojí nic.

Ověření: vlastní testovací suite spustitelná v prohlížeči i v enginu V9; každé hlášení kontroly vychází ze skutečné analýzy zdroje, takže nese soubor, řádek a důkaz.

Repozitář na Gitea

Systémy a provoz

NFS

Plnohodnotný NFSv4.2 server i klient v čistém Go: session, zámky, delegace, pNFS, Kerberos a RPC s TLS na jediném TCP portu. Jen standardní knihovna, žádná cizí závislost.

Interoperabilita ověřená proti klientu z linuxového jádra: změřená, ne jen slíbená.

Ověření: testy proti klientskému jádru Linuxu, nejnestrannějšímu soudci, jaký je k dispozici.

Repozitář na Gitea

Volumen

Publikační engine, ve kterém jsou články prosté textové soubory v Markdownu s TOML frontmatterem, bez databáze. Podá JSON API, administraci s vizuálním editorem, RSS, JSON Feed i fulltextové vyhledávání. Koncepty zůstávají skryté a výňatek i čas čtení se počítají samy.

Obsah je adresář textových souborů, ne řádky v databázi: publikace zůstane čitelná i bez enginu.

Ověření: frontmatter čte Interpres, který prochází 100 % oficiální testovací sady toml-test. Kontrakt API si ověřuje naživo tento web: jeho testovací sada v prohlížeči projde seznam článků, slugs, stránkování i jazyky.

Repozitář na Gitea

Nuntius

Backend kontaktních formulářů v jediné statické binárce: přijímá JSON i plain HTML odeslání, ověřuje pole na serveru a doručuje zprávy přes SMTP s STARTTLS nebo implicitním TLS. Obsluhuje kontaktní, feedback i newsletter formuláře, u newsletteru s double opt-in; každý formulář má vlastní rate limit, honeypot a CORS allowlist. Konfigurace je TOML soubor, jehož syntaxi drží Interpres.

Kontaktní formulář na stránce Kontakt obsluhuje on: zpráva jde z prohlížeče do schránky bez třetí strany mezi tím.

Ověření: testovací sada s minimálním krytím 80 %; produkčním důkazem je tento web, jehož kontaktní formulář na binárce běží.

Repozitář na Gitea

Scripts

Provozní toolbox v Perlu: diagnostika systému a sítě, bezpečnostní audit, příprava serverů a pracovních stanic, optimalizace systému a nasazení inference. Skripty si vystačí s samotným interpretem, bez modulů, které by na cílovém stroji nemusely být.

Jeden repozitář, celý provoz: od první diagnostiky po běžící inferenci.

Ověření: běh na čisté instalaci, kde není k dispozici nic kromě interpreta.

Repozitář na Gitea

Jak se zapojit

Projekty běží na mé vlastní Gitea instanci. Chyby, nápady i dotazy jsou vítané: ke každému repozitáři se chovám jako k výzkumnému artefaktu, takže hlášení s postupem, jak se problém zopakuje, dostanou prioritu. Chcete-li přispívat kódem, napište na opensource@petrbalvin.org s žádostí o účet.

Potřebujete něco podobného pro svůj projekt?

Navrhnu to, napíšu to a změřím, že to drží. Napište mi, o jaký problém jde.

Napsat mi