EU-toegang tot bestaande dots blijft onzeker; open tooling verkent micronfabricage en assemblychecks

Een reactie op X belooft dat eerder buiten de EU aangemaakte dots bij verblijf in de EU blijven werken; voor nieuwe toegang in de EU is alleen “in de toekomst” genoemd. Tegelijk laat RepRapMicron zien hoe ver open precisiehardware kan komen, al zijn de gemelde resultaten vooralsnog projectmetingen.

Voor low-level tooling zijn er twee interessante experimenten: ASMC koppelt Ghidra-lifting aan CBMC, en Valen probeert geheugenveiligheid achterwaarts door een functie te lopen te controleren. Beide zijn technische proefroutes, geen uitgerijpte standaarden.

Dots: belofte voor bestaande EU-gebruikers, geen uitroldatum voor nieuwe toegang

In een reactie op X staat dat een dot die elders is aangemaakt, bij verblijf in de EU moet blijven werken. Dezelfde reactie zegt dat dots later naar de EU komen, maar noemt geen datum, productvoorwaarden of technische uitleg. Dat is relevant voor Europese gebruikers die toegang bij reizen lijken te verliezen of eerder buiten de regio een dot maakten.

De claim blijft beperkt tot deze reactie. In dezelfde draad melden individuele gebruikers dat hun dot ondanks die belofte soms niet zichtbaar of te openen is; dat zijn anekdotes, geen bevestigde storing of betrouwbare reproduceerbare test. Behandel dit dus als een aangekondigde compatibiliteitsintentie, niet als garantie dat bestaande dots nu overal in de EU beschikbaar zijn. Wie hiervan afhankelijk is, heeft nog geen gedocumenteerd migratie- of supportpad.

Reactie over EU-gedrag en toekomstige beschikbaarheid

RepRapMicron mikt op microns met toegankelijke onderdelen

µRepRap / RepRapMicron is een open precisieplatform dat van gewone, toegankelijke onderdelen een compacte CNC-achtige machine voor microfabricage wil maken. De huidige PIKA v0.02-opzet bereikt volgens de projectwiki herhaalbare positionering van ongeveer 1 µm en betrouwbare nauwkeurigheid van 10 µm of beter in een volume van ongeveer 8 mm³. De gebruikte stappenmotoren, een G-code/seriële besturing en twee USB-microscopen maken het uitgangspunt opvallend laagdrempelig vergeleken met conventionele microfabricageapparatuur.

Het project demonstreert meer dan positionering alleen: met UV-nagelgel als materiaal zouden druppels van 4 µm zijn afgezet en resinlijnen van 9 µm zijn uitgehard via een glasvezelprobe. De machine kan volgens de documentatie ook zijn eigen fijne probe etsen. Dat maakt het een interessante open route voor experimenten met bijvoorbeeld micro-manipulatie en eenvoudige structuren, niet meteen voor het thuis produceren van geïntegreerde schakelingen — een sprong die de beschikbare bron niet onderbouwt.

De grenzen zijn expliciet: materiaalgedrag, laagopbouw, overhangs en complexere mechanismen zijn nog open ontwikkelwerk. Alle precisie- en fabricagecijfers komen van het project zelf; de HN-discussie levert geen onafhankelijke meting. Zie het daarom als een goed gedocumenteerde onderzoeks- en hobbybouw, waarvoor kalibratie, optiek en veiligheidspraktijk even bepalend blijven als de mechanica.

RepRapMicron: ontwerp, resultaten en bouwrichting · HN-discussie

ASMC maakt assembly-eigenschappen toetsbaar via Ghidra en CBMC

ASMC is een experimentele driver die een gecompileerd ELF-bestand met Ghidra-pcode-semantiek lift naar CBMC’s GOTO-IR (.gb) en daar modelchecking op uitvoert. Daardoor kunnen ontwikkelaars volgens de auteur postcondities in C-stijl formuleren voor assemblyfuncties, maar ook standaard checks op veiligheid en delen van de ABI laten lopen. In de voorbeelden vindt de tool zowel een fout retourregister als het overschrijven van een returnadres en het niet herstellen van het callee-saved register R12.

Dat is praktisch interessant voor kleine handgeschreven assemblyroutines, compileroutputvergelijking en translation validation: de bron toont ook een harness die een C-functie tegenover de geassembleerde variant zet. ASMC ondersteunt volgens de post nu x86-64 SysV en RISC-V 32/64; voor een nieuwe architectuur is een C-ABI-shim nodig.

De beperking is minstens zo belangrijk: dit is een nieuw project met een relatief kleine glue-laag, gebaseerd op de semantiek van de lift en op een bounded model checker. Een geslaagde run zegt alleen iets over de geformuleerde eigenschappen, de gekozen bounds en de gemodelleerde omgeving; het is geen algemeen bewijs voor heel een binary. Maar juist als gerichte aanvulling op tests en disassembly-review is het een concrete nieuwe route om ABI- en contractfouten zichtbaar te maken.

ASMC: opzet, voorbeelden en repositoryverwijzing · Lobsters-discussie

Valen probeert borrow checking achterwaarts

De experimentele taal Valen beschrijft een borrow checker die de veiligheidscontrole van het eind van een functie naar het begin loopt. In plaats van tijdens een voorwaartse scan vooral bij een gebruik te vragen of een reference nog geldig is, verzamelt de checker variabelen die later gebruikt worden als pending. Komt hij teruglopend een mutatie tegen die zo’n pending reference ongeldig maakt, dan meldt hij een fout; bij de declaratie verdwijnt die reference weer uit de verzameling.

De auteur noemt drie beoogde voordelen: de laatste use ligt bij een achterwaartse wandeling direct voor de hand, loops zouden eenvoudiger uit te werken zijn en sommige boekhouding kan sneller worden. Het ontwerp bouwt vooraf wel op gewone typeanalyse en een eigen static grouping-fase, die vastlegt naar welk deel van een object een reference wijst.

Dit is nadrukkelijk geen alternatief dat je nu naast Rust kunt inzetten. Valen is volgens de auteur nog vóór v0.1, heeft scherpe randen en vraagt expliciet om tegenvoorbeelden voor dit algoritme. De post vergelijkt het conceptueel met Rusts analyse, maar levert geen formeel bewijs, onafhankelijke implementatie-evaluatie of brede benchmark. Als compilerontwerp is het vooral een nuttige uitnodiging om de richting van dataflowanalyse ter discussie te stellen.

Valen over het achterwaartse algoritme en de open vragen · Lobsters-discussie

Verder nog

• ARP als snelle inventarisatie van het lokale netwerk: een heldere technische uitleg laat zien hoe arp-scan apparaten met IP-, MAC-adres en vaak fabrikant op een lokaal segment vindt; ip neighbour show toont de bestaande neighbour-cache op Linux. Dezelfde broadcast-eigenschap verklaart waarom ARP-spoofing en broadcast storms relevant zijn. Dit is een leermiddel, geen securityscanner of sluitende inventaris van een gesegmenteerd netwerk. Uitleg met Wireshark- en Linux-voorbeelden · Lobsters-discussie