DAWO zet Nederlandse digitale autonomie op NixOS-koers; M1-Macs krijgen een tweede Splash-meting

Een nieuw publiek DAWO-initiatief koppelt digitale autonomie, controleerbaarheid en security aan een NixOS-gerichte overheidsroute. Tegelijk geeft een tweede, onafhankelijke praktijkmeting meer houvast voor Splash op oudere M1-Macs — met grote winst voor code en structuur, maar niet voor iedere taak.

DAWO koppelt digitale autonomie aan een NixOS-route

DAWO.community presenteert zich als een Nederlands initiatief dat publieke waarden en technologie wil verbinden. De projectpagina noemt digitale autonomie van Nederland, samenwerking, security en databescherming, innovatie en verifieerbare overheids-IT als doelen. In de HN-discussie wordt verwezen naar een openbare repository op code.overheid.nl voor DAWO-NixOS.

Dat is interessant omdat NixOS niet alleen een alternatieve desktop is, maar configuraties en builds declaratief en reproduceerbaar kan vastleggen. Voor overheden en leveranciers kan dat inspectie, herhaalbare deployments en een explicieter softwareprofiel aantrekkelijk maken. Het zegt echter nog niets over brede productie-uitrol, ondersteunde applicaties, beheerorganisatie of migratiepad: die informatie staat niet in de bewaarde projectpagina.

Zie DAWO dus als een concreet Nederlands signaal rond soevereine, controleerbare IT — niet als bewijs dat Microsoft-omgevingen al zijn vervangen. De HN-reacties noemen verwante Franse en Duitse initiatieven, maar dat zijn discussieverwijzingen en geen onderbouwing van de Nederlandse voortgang. DAWO.community · HN-discussie

Tweede M1-Max-proef ondersteunt Splash, maar laat de grenzen zien

Een gebruiker testte de aangepaste Splash-engine op een 2021 M1 Max met 64GB en 24 GPU-cores, tegenover oMLX met dezelfde Qwen3.8-27B-modelfamilie. In vijf prompts rapporteert hij voor Splash 32,8 tegenover 16,0 tok/s gemiddeld; voor korte code zonder reasoning meldt hij 61,3 tok/s. Bij vrije proza is de winst volgens dezelfde meting veel kleiner: 18,3 tegenover 16,1 tok/s.

Belangrijk is dat de auteur niet alleen snelheid rapporteert. Op zijn eigen extractie-, matching-, tel- en confabulatietests plus 50 GSM8K-vragen zag hij met reasoning uitgeschakeld vrijwel gelijke uitkomsten als de vergeleken 4-bit-quant. Dat maakt dit een inhoudelijke aanvulling op de middagupdate van gisteren, die vooral de fork en makersmeting behandelde: er is nu een tweede machine, een MLX-vergelijking en een beperkte kwaliteitscontrole.

De grenzen zijn even praktisch. De auteur meet voor een koude 32K-prompt nog ongeveer 400 seconden tot de eerste token, en verklaart de kleine prozawinst uit een lage acceptatiegraad van de draft-tokens. Dit blijft één zelfgerapporteerde opstelling met eigen prompts en tests, dus geen algemene M1- of runtimeranglijst. Wie vooral code, wiskunde of gestructureerde uitvoer draait, heeft wel een goede reden om dezelfde taken met koude én warme cache naast de bestaande runtime te meten. Meting en discussie

Nagi zet kleine, gesloten-keuzemodellen in een spelarena

De maker van Nagi-ENORMOUS, een open 27B-beslismodel, publiceert een eigen vergelijking met Jev, OpenJev en Laya in drie real-time-spellen: een helikoptersimulatie, Tron-achtige lightcycles en Tetris. Alle modellen kregen volgens de post dezelfde tekstobservatie en dezelfde beperkte actielijst; de simulatie wachtte per stap op ieder model, zodat netwerk- of hardwarelatency de score niet zou bepalen.

In dertig rondes noteert de auteur 83 punten voor Nagi-ENORMOUS, 57 voor Jev en 20 voor zowel OpenJev als Laya. Opvallender dan de totaalscore is de beperking die hij zelf noemt: de 27B-variant deed het op een afgeschermde test met nieuwe regels niet beter dan de 12B-variant. De spelvaardigheid lijkt in deze proef dus niet automatisch te betekenen dat het model beter nieuwe regels begrijpt.

Dat is nuttig als evaluatievorm voor lokale routers en beslismodellen: een vaste antwoordruimte en herhaalbare omgeving maken fouten zichtbaarder dan een fraaie chatdemo. Maar het is nog geen algemene benchmark. Er zijn slechts tien rondes per spel, de maker bouwde model én arena, en de observatie bevat helper-sensoren. Gebruik het als aanleiding om een eigen, gelabelde simulatie met onbekende situaties te maken — zeker vóór een beslismodel echte acties mag kiezen. Experiment, gewichten en code

Verder nog

• Mica 4B speelt Tetris zonder tekst te genereren: de maker laat een lokaal Qwen-gebaseerd 4B-model alleen logits voor vier vooraf geselecteerde zetten uitlezen. In drie vaste Tetris-seeds haalde Mica volgens de post twee keer alle 250 stukken, waar Laya eerder uitviel; Laya was met circa 35 ms per keuze wel sneller dan Mica’s 136 ms. De heuristiek kiest de vier kandidaten vooraf, dus dit meet geen volledige spelplanning en is geen brede modelvergelijking. Proef en code
• omnibin maakt de Nix-cache een lazy PATH: een nieuw FUSE-project indexeert volgens de auteur Nixpkgs-artefacten en haalt een binary pas bij eerste gebruik op. De demo toont versieerbare namen zoals [email protected]; de eerste start kostte daar 2,7 seconden, de tweede 0,035 seconde. Handig voor experimenten en mogelijk agent-sandboxes, maar niet als hermetische omgeving: een niet-gepinde naam kiest de nieuwste versie, en de auteur waarschuwt dat massaal directoryscannen duur is. Technische uitleg · Lobsters-discussie