WebGang/CityGang

Perfect willekeurig

Eén van de moeilijkste dingen voor een computer is een willekeurig getal geven. Een computer is goed in bewerkingen, maar welke bewerking moet je doen om een willekeurig getal te krijgen als uitjkomst? Meestal wordt dus met truukjes gewerkt, bv een tellertje dat het aantal milliseconden telt sinds het inschakelen van het apparaat. Aan de TTH Zurich zijn ze er nu in geslaagd om -naar eigen zeggen- perfecte willekeur uit de computer te krijgen.
Daarvoor gebruiken ze een quantum computer, waarbij supergeleidende chips op dertig meter van elkaar gezet worden, en de verbinding wordt gekoeld om een hogere datadoorvoer mogelijk te maken. Ze noemen de methode “randomness amplification” door een aangepaste loophole-free Bell test.
Als toepassing zien ze allerlei vormen van encryptie, digitale identiteit enz.
Natuurlijk is het onhandag om daar overal zo’n opstelling voor nodig te hebben, dus zien ze het eerder als een bron voor betrouwbare randomness. Ze kunnen een certificaat van randomness geven, en ik kan me voorstellen dat ze Randomness As A Service kunnen aanbieden.
Op woensdag werd er een artikel over gepubliceerd in Nature onder de titel “Experimental randomness amplification”.

Rust in Linux

Greg Kroah-Hartman gelooft in de toekomst van de programmeertaal Rust in Linux.
Het gebruik van Rust kan zorgen voor het vermijden van kleine foutjes die soms een beveiligingsprobleem kunnen opleveren. Momenteel worden met behulp van AI een hele reeks kleine bugs gevonden, die soms al jaren bestaan in de code.
Dikwijls hebben die te maken met het geheugenbeheer in de programmeertaal C.
Aangezien daar de programmeer verantwoordelijk is voor het geheugenbeheer en niet de programmeeromgeving, gebeurt het soms dat vergeten wordt een geheugenlocatie terug vrij te geven, mogelijke fouten worden niet getest, enz. Die kleine foutjes kunnen er bv toe leiden dat het geheugen volloopt en een computer crasht. De programmeertaal Rust heeft die problemen niet. Met Rust, waar geen garbage collenction nodig is, zouden 60% van de bugs niet bestaan, zegt hij.
Er woedt al een tijdje een discussie onder de programmeurs van de Linux kern over het al dan niet gebruiken van Rust om aan Linux te werken. Niet iedereen is daar even enthousiast over, maar Greg Kroah-Hartman vindt het onderhoud van de Linux code veel gemakkelijker met Rust code. De programmeurs die daar mee bezig zijn komen ieder jaar samen, en daar bespreken ze dat soort dingen. Eind vorig jaar deden ze de uitspraak dat het experiment met Rust in Linux voorbij is. Het is nu geen experiment meer, het is een vaste waarde.
In 2025 bevatte de Linux kernel 34 miljoen lijnen code in de programmeertaal C, en vijfentwintig duizend lijen code in Rust. Vooral nieuwe drivers worden in Rust geschreven, en heel wat utilities worden omgezet van C naar Rust. Het is natuurlijk niet vanzelfsprekend dat Linux programmeurs naast C nu ook nog Rust moeten leren.
Maar ze werken nu al aan het overnemen van de manier van werken van Rust, zelfs bij het programmeren in C. Dus zelfs als Rust plots niet meer gebruikt zou worden, hebben ze er genoeg van geleerd om het nuttig te maken.

Rust is een open source programmeertaal en is momenteel aan versie 1.95.0.
Veel grote internetbedrijven gebruiken het ook intern voor ontwikkeling van hun systemen.
Te vinden op:https://rust-lang.org/
3:24 PM

AI depressie

Heel wat CEO’s zijn teleurgesteld in KI. Ze hebben er even mee gespeeld, er een tekst mee gemaakt, een contract laten opstellen, in het beste geval een prototype gebouwd, en ze geloven al gauw dat KI het werk gaat doen van mensen.
Maar ze vergeten de laatste meters van de koers. Zij zijn het niet die een product werkend moeten krijgen, die onmogelijke menselijke voorwaarden moeten uitleggen aan AI modellen, die de halucinerende AI modellen moet afremmen. Ze zitten niet op de plek waar het werk echt gedaan moet worden, en ze schatten dus fout in wat KI kan of niet kan.
Ze nemen alvast beslissingen op basis van hun veronderstellingen over AI, en geraken daarna gefrustreerd dat die niet uitkomen.