DAWO mikt op een Nederlandse soevereine werkplek; Futhark accepteert GPU-kosten voor correcte deling

Nederlandse digitale autonomie krijgt volgens berichtgeving vorm in DAWO, een op NixOS gebaseerde werkomgeving voor de overheid. Tegelijk laat een Futhark-fix zien dat een zeldzaam integergeval wel degelijk een systeembeslissing kan afdwingen: correcte codegeneratie kost in een synthetische GPU-test flink meer doorvoer.

DAWO: NixOS als gemelde bouwsteen voor een soevereine overheidswerkplek

TechSpot bericht dat de Nederlandse overheid werkt aan Digitaal Autonome Werkomgeving Overheid (DAWO), met NixOS als basis. Het beschreven doel is breder dan een Linux-desktop: een door de overheid beheerbare combinatie van besturingssysteem, kantoorsoftware, cloud- en beheerdiensten voor publieke instellingen. Volgens het verslag lopen er al pilots in private en lokale omgevingen.

Dat is relevant omdat digitale soevereiniteit hier niet als een losse migratie van Windows wordt neergezet, maar als een stackvraag: packaging, configuratie, beheer en productiviteit moeten samen vervangbaar en onderhoudbaar zijn. NixOS past daar technisch bij door declaratieve systeemconfiguratie en reproduceerbare builds, maar die eigenschappen nemen migratiekosten, toegankelijkheid, ondersteuning en integratie met bestaande overheidssoftware niet weg.

De bron is een secundair verslag en laat belangrijke vragen open: welke organisaties precies meedoen, welke componenten al productierijp zijn, hoe governance en support worden ingericht en of een landelijke uitrol werkelijk is besloten. Lees DAWO daarom als een serieuze, gemelde richting met pilots — niet als een al ingevoerde Nederlandse overheidsdistro. TechSpot over DAWO en NixOS · Lobsters-discussie

Futhark repareert zeldzame signed division — en accepteert de GPU-prijs

De Futhark-compiler herstelt een fout in C-codegeneratie rond signed integerdeling. Bij de kleinste negatieve waarde gedeeld door -1 past het wiskundige resultaat niet in hetzelfde signed type; in C leidt dat tot undefined behaviour en op x86 kan het zelfs een CPU-exceptie veroorzaken. Futhark definieert integeroverflow juist als wraparound, dus de oude gegenereerde deling strookte niet met de taalbetekenis.

De oplossing controleert bij iedere signed deling of de deler -1 is. Alleen dan gebeurt de negatie via unsigned arithmetic, waar overflow wel gedefinieerd is. Het uitzonderingsgeval is extreem zeldzaam, maar de extra branch staat nu op elk signed-divisiepad.

Voor sequentiële C-code en de normale GPU-benchmarks vond de auteur geen meetbaar verschil. In een opzettelijk division-bound CUDA-test ging de looptijd echter van ongeveer 5,5 naar 12,6 ms; op AMD-GPU’s zag hij een vergelijkbaar, iets kleiner effect. De verklaring is dat de oude PTX meerdere delingen kon unrollen, terwijl de veilige variant branches ertussen krijgt. Dit is dus geen algemene Futhark-regressie, maar wel een goede compilerles: een zeldzaam randgeval kan optimalisatie op een hot path blokkeren. Wie negatieve waarden niet nodig heeft, kan volgens de auteur unsigned deling kiezen. Futhark: oorzaak, fix en benchmarks · Lobsters-discussie

Agentic monitoring: laat een model een plan schrijven, maar laat een vaste laag het uitvoeren

Een voorstel voor agentic monitoring beschrijft een nuttig patroon voor observability rond releases en configuratiewijzigingen. In plaats van een model voortdurend vrij door logs en dashboards te laten navigeren, laat een agent eerst een monitoringspecificatie opstellen uit servicecode en wijziging; een deterministische laag voert die checks uit. Pas bij een trigger onderzoekt een agent verder en escaleert hij naar mensen.

Dat onderscheid is interessant voor teams die agents willen inzetten zonder iedere metriekquery tot een modelcall te maken. De auteur zegt dat dit schonere signalen en minder tokengebruik gaf dan een pure agentloop. Als mogelijke taken noemt hij tijdelijke checks na een uitrol, correlatie met code- en configuratiewijzigingen en onderzoek van een afwijking. De genoemde resultaten uit een eigen prototype — waaronder regressies vinden in onbekende systemen — zijn praktijkclaims, geen onafhankelijke evaluatie.

De open problemen zijn reëel. Een HN-reactie wijst erop dat terabytes aan logs, enorme metriekverzamelingen, vele repositories en cloudomgevingen niet vanzelf te correleren zijn, ook niet met brede read-only-toegang. Begin daarom klein: kies één wijzigingstype en een beperkt servicesegment, houd traditionele alerts overeind, beperk toegangsrechten en log welke hypothese, query en escalatie een agent produceerde. Automatische herstelacties zijn een volgende, veel riskantere stap. Voorstel en prototypebeschrijving · HN-discussie

A5 1.0 legt cel-ID’s vast voor geografische dataworkflows

A5 1.0 verschijnt als stabiele versie van een discrete globale gridstructuur met pentagonale cellen, weergegeven als 64-bit-ID’s. De belangrijke 1.0-belofte is dat gridlayout en cel-ID’s voortaan bevroren blijven. Dat geeft databases en analyses een duurzamere sleutel om locaties, lijnen en gebieden te representeren.

De release voegt operaties voor compacte verzamelingen cellen toe: union, intersect, difference, contains, overlaps, tellingen en oppervlaktemetingen. Het project stelt dat zulke coverings nu op grote schaal verwerkt kunnen worden zonder ze eerst uit te pakken. Ook komen cellToSubcells en cellToSupercell erbij; de eerste levert een dekking op basis van centroïden en is nadrukkelijk iets anders dan een exact geometrische onderverdeling.

De maker schrijft een forse versnelling toe aan een nieuwe ruimtevullende indexcurve, die polygonvulling zonder kostbare flood fill mogelijk moet maken. Zijn benchmarks vergelijken native A5 met H3 en S2 op één M1 Pro; behandel de getoonde schaal dus als projectmeting. Let bij een upgrade bovendien op de expliciete compatibiliteitsbreuk: door de nieuwe curve wijzigen cel-ID’s en is migratie nodig. A5 1.0: stabiliteitsbelofte, API’s en benchmarkopzet · Lobsters-discussie

dns_erlang haalt meer DNS-capaciteit uit BEAM-binaries

DNSimple beschrijft optimalisaties in dns_erlang, de Erlang-library onder zijn autoritatieve erldns-nameservers. De organisatie meldt op een productieachtige workload 12% minder CPU per query en 14% meer queries per seconde vóór verzadiging. Het werk vervangt daarbij geen BEAM-code door NIFs of C, maar herschrijft binaire hot paths zodat compiler en JIT gunstiger code kunnen produceren.

De meest overdraagbare technieken zijn concreet: één append-only binary-accumulator voor een heel DNS-antwoord, parsing die de BEAM-matchcontext niet onnodig laat ontsnappen, en het pas aan het eind opbouwen van een immutable record. Voor domeinnamen verving de library dispatch op rem door pattern matching in grote blokken; op x86-64 kunnen onhandige modulo-operaties anders dure delingsinstructies opleveren.

De auteurs maten op een M4 Pro en Ryzen 9 9950X3D met OTP 29 en controleerden gewijzigde parserpaden met een parity-harness, waaronder 26.434 gevallen voor name decoding. Dat onderbouwt equivalentie voor die testset, niet iedere DNS-randcase of alle OTP-versies. De bruikbare les voor Erlang- en Elixir-teams is vooral methodisch: inspecteer waar binaries en tussenresultaten ontsnappen, gebruik bin_opt_info, en meet op de eigen runtime voordat een ogenschijnlijk elegante helper in een protocolpad belandt. DNSimple: BEAM-binaries, wijzigingen en metingen · Lobsters-discussie

Verder nog

• Death Plan Switch voor solo-beheerders: dit MIT-project is een kleine self-hosted dead man's switch voor zelfstandige webontwikkelaars. Na een gemiste wekelijkse check-in worden eerst nabestaanden benaderd en daarna vooraf gekozen contacten geïnformeerd. Het bewaart volgens de maker geen wachtwoorden of documenten; daarvoor blijft een apart, versleuteld overdrachtsplan nodig. Reken ook niet op een garantie: server, scheduler en SMTP moeten zelf blijven werken, liefst los van de sites die je ermee wilt veiligstellen. Projectpagina en vereisten · HN-discussie