Linux 7.3 brengt failfs; Tor VPN bouwt Android-circuiten per app

Linux 7.3 is uit met nieuwe sandbox- en schedulerbouwstenen. Tegelijk laat Tor VPN Beta zien hoe privacy op Android anders kan worden opgezet dan een gewone VPN: niet één gedeelde tunnel, maar een apart Tor-circuit per app.

Linux 7.3: failfs biedt een extra bouwsteen voor strak begrensde processen

Linus Torvalds heeft Linux 7.3 uitgebracht. Volgens LWN telt de cyclus 18.765 non-merge commits van 3.021 ontwikkelaars, van wie 807 voor het eerst aan de kernel bijdroegen. De opvallende wijzigingen omvatten uitbreidingen voor binfmt_misc, groepsscheduling voor grote systemen, working-set-tracking voor virtuele machines, verbeteringen aan de SMB-server en alternatieve datastreams in ntfs3.

Voor sandboxing springt failfs eruit: dit nieuwe bestandssysteem laat bestandsoperaties mislukken. In de HN-discussie wordt als mogelijk patroon genoemd dat een proces na een chroot naar failfs uitsluitend met vooraf geopende file descriptors kan werken. Dat kan de bewegingsruimte na een compromise verkleinen, maar het is geen kant-en-klare isolatieoplossing: dynamisch gelinkte programma’s en de volledige combinatie van mounts, sockets, rechten en netwerkbeleid blijven bepalend.

De release noemt ook fchroot(), globale per-CPU-data voor BPF-programma’s en de afronding van sched_ext-subschedulers. Voor distributie- en infrastructuurbeheerders is dit vooral een reden om de eigen release-notes en backportbeleid te volgen, niet om blind op een nieuw kernelnummer te springen. LWN over Linux 7.3 · HN-discussie

Tor VPN Beta isoleert Android-apps met eigen Tor-circuits

De Tor Project beschrijft hoe Tor VPN Beta voor Android zich sinds de beperkte release heeft ontwikkeld. In plaats van één gedeelde VPN-tunnel krijgt iedere mobiele app volgens het project een eigen Tor-circuit. Dat moet het moeilijker maken om activiteit van verschillende apps aan elkaar te koppelen; het ontwerp leunt daarbij op ideeën uit Tor Browser.

De praktijk verschoof de prioriteit. Tor schrijft dat de dominante toepassing het omzeilen van blokkades bleek, met vroege sterke adoptie in onder meer Iran en Turkmenistan. Daarom kreeg bridge-ondersteuning voorrang, waaronder WebTunnel-bridges die Tor-verkeer op versleuteld webverkeer moeten laten lijken. De app laat gebruikers inmiddels ook apps doorzoeken en per app bepalen of die via Tor loopt.

Onder de motorkap gebruikt de beta Arti, Tor’s Rust-implementatie. De organisatie noemt reproduceerbare builds en distributie via F-Droid als stappen voor controleerbaarheid en installatie zonder Google Play. Tegelijk is dit nadrukkelijk nog een beta en geen commerciële VPN die op maximale snelheid is geoptimaliseerd: functies zoals congestion control uit de C-implementatie ontbreken volgens Tor nog in Arti. Tor Project: ontwerpkeuzes, gebruikservaring en beperkingen · Lobsters-discussie

Servo 0.6.0 zet CSS Grid standaard aan

Servo 0.6.0 bevat 417 commits en schakelt CSS Grid standaard in. Volgens het project krijgen daardoor veel sites met klassieke gridlayouts zichtbaar betere rendering. Ook interactieve tekstselectie werkt nu, terwijl navigatie, documentladen, sessiehistorie en iframe- en venstergedrag verder zijn aangescherpt.

Voor embedders zijn er ook brekende wijzigingen: WebView::toggle_sampling_profiler is verwijderd en de muisknopvarianten heten nu Primary, Secondary en Auxiliary. Nieuwe Cargo-features groeperen onder meer optionele webplatformonderdelen, gebundelde resources, WebCrypto en WebGL. Bouwen vereist nu minimaal Clang 19; voor OpenHarmony komt cargo-ohos erbij.

De compatibiliteit blijft werk in uitvoering. Accessibility kan met een preference worden aangezet, net als onder meer ServiceWorker- en disk-cachewerk; het project noemt zelf nog experimentele onderdelen. Zie de release daarom als een concrete vooruitgang voor experimenten en inbeddingen, niet als bewijs dat Servo een algemene browservervanger is. Servo 0.6.0: Grid, API’s, compatibiliteit en buildwijzigingen · Lobsters-discussie

Brute force vindt een branchloze formule voor een FPU-emulator

Een ontwikkelaar beschrijft hoe hij voor een in ontwikkeling zijnde floating-point-emulator een kleine superoptimizer inzette. Het doel: voor een float de laagste gezette bit bepalen, zonder de branch die nodig leek voor machten van twee. In plaats van alleen handmatig herschrijven liet hij mogelijke expressies met beperkte operaties en constantsystematisch doorzoeken.

De zoekprocedure dedupliceert tussenresultaten op hun uitvoer voor twintig testgevallen; volgens de auteur duurde de zoektocht naar formules tot vijf operaties daardoor ongeveer vier minuten. Uiteindelijk bleef een formule over die een tussendeel kan hergebruiken en daarmee op vier operaties uitkomt. Voor machten van twee verschilt het tekenbit, wat voor deze emulator geen probleem zou zijn.

Dit is een aardig voorbeeld van search als optimalisatietool, maar geen formeel geverifieerde transformatie: de juistheid rust op representatieve testgevallen en de gekozen operatieset. Wie zo’n techniek buiten een experimentele emulator toepast, heeft aanvullende bewijzen of veel bredere randgevaltests nodig. Technische uitleg en gevonden formule · Lobsters-discussie

Verder nog

• Ende wil een smallere Deno-fork worden: na het bericht dat Deno als zelfstandige runtimeinvestering wordt afgebouwd, kondigt één ontwikkelaar Ende aan: een voorgenomen fork zonder Node-compatibiliteit en zonder onderdelen als Deploy, KV en Jupyter. De maker mikt op een soft launch in december en noemt onder meer module-permissions, sandboxes en post-quantum-WebCrypto als plannen. Dat is een individueel roadmapvoorstel, geen beschikbare stabiele runtime of gegarandeerde opvolger van Deno. De namiddagupdate van vrijdag behandelde de afbouw; dit is de eerste aangekondigde forkreactie. Aankondiging · Lobsters-discussie
• C++-essay maakt onzekerheid over kleine code expliciet: een nieuw artikel gebruikt een palindromefunctie om te laten zien hoe snel vragen over lege invoer, iteratorgrenzen, signedness en ongedefinieerd gedrag opstapelen. De auteur pleit voor modernere C++-constructies in een vervolgartikel; het stuk is vooral een didactische analyse, geen nieuwe standaard of bewezen veiligheidsmethode. Artikel · Lobsters-discussie