Per oggi avrei dovuto cacciare la soluzione di emulazione finalizzata per i giochi Windows [esenti da requisiti hardware irrealistici] con v86… ma a quanto pare è un po’ impegnativo, devo implementare almeno un’altra hack per soddisfare i requisti essenziali. Però, nel frattempo Boxedwine è rimasto un pensiero fisso, soprattutto dopo avaver constatato che la versione nativa su Windows e Linux funziona e basta: è praticamente plug-and-play con tutti i giochi che sono risaputi funzionare, al contrario del Wine “essenziale” proveniente da upstream o da una distro qualsiasi. 📦
Touhou 6 su Boxedwine per Windows mi è partito, e con una versione (la 5.0 almeno) gira pure bene, ci ho potuto giocare (anche se le ventole del portatile sono volate nel processo). Non credo che adesso magicamente riuscirò a farlo andare sulla versione web, perché c’è un inghippo: il giochino partiva con l’impostazione della grafica nativa, ma non se impostata su quella emulata (che credo sia l’unica utilizzabile nel browser), ma già è qualcosa: il vino inscatolato potrebbe tornarci utile quantomeno per creare repack di giochi che, con un singolo file che parte sia su Windows che su Linux, si giocano e basta senza alcun imprevisto dei soliti del gaming PC… 🦜
Però allora ho pensato: se quello che cambia tra build nativa e web di Boxedwine è solo il codice macchina dell’emulatore (e le sue chiamate all’API host), che però esegue sempre le stesse robe precise al suo interno, com’è che escono fuori quegli strani problemi di compatibilità, tipo il fatto che Wine 5.0 non parte sul browser? La risposta è: il 5.0 che ho provato io non è lo stesso che scarica la versione desktop. Questo è saltato fuori dopo che ho provato a far partire quello da web, e in effetti non crasha come l’altro giorno! E, addirittura, ci gira il 6.0, che nemmeno credevo fosse supportato! Detto in modo diverso: questo progetto è mantenuto un po’ a culo da quello che vedo, ci sono diversi download nominalmente equivalenti sulle diverse pagine ufficiali, sia di questi filesystem Wine che dell’emulatore in sé (ma per quello non c’è dubbio che la versione migliore sia quella dal Jenkins). 🧬
https://octospacc.altervista.org/wp-content/uploads/2024/05/Screenshot_20240527-160241_Firefox-Beta.pngPer fare tutte le prove possibili voglio ora avere sotto mano tutte le versioni dei rootfs che trovo, varie impostazioni di emulazione, e il caricamento immediato di applicazioni diverse, quindi ho iniziato a tirare su questo wrapper per la versione HTML; modificare file di configurazione o parametri URL ogni minuto era diventato doloroso, e la UX del launcher PC è scomodissima. Per ora è sul server casalingo, perché così posso applicare al volo modifiche ai file, ma se dovessi mettere troppe app e finire lo spazio allora creerò una repo Git. Boxedwine desktop offriva per il download anche queste tante altre versioni, quindi le ho messe… ma alcune sembrano ugualmente rognose (tra cui le 1.x, ironicamente), quindi indagherò meglio. Per il lago d’uria: https://hlb0.octt.eu.org/Misc/BoxedWine/ 💦https://octospacc.altervista.org/2024/05/27/lo-scatolvino-di-distrazione/
»Prusti is an automated program verifier for Rust, based on the Viper infrastructure. It leverages Rust's strong type guarantees to simplify the specification and verification of Rust programs.«
Do any of you know this and use it or are there "better" or even integrated tools for this, if such a thing is needed at all?
Any #Bear users here? I've just started testing it to see if it's better than Apple notes. I've created a couple notes and tagged them, but the tags aren't showing on the sidebar.
What am I doing wrong? This isn't a great first impression…
Figured it out. It seems that “#blogging" isn't supported somehow? If I change it to #blog or #test it works, Bear just doesn't like the “blogging" tag.
I want to see if I can get a spark of the “old internet” back by making a starting page for myself with all kinds of cool websites. But not sure where to start because Google obviously will not work for this....
Gracias a @doclomieu he podido probar la tinta Diamine "Grape". Es un morado oscuro, que conserva su color en la escritura hecha con una pluma Jinhao 992 F, pero que oscurece bastante con el riego abundante de una pluma de vidrio recién sumergida en la muestra.
El resultado final es muy agradable: un color saturado pero oscuro, alque calificaría de "serio" y "elegante". #fountainpen#fountainPenLover#ink#test#diamine#grape#jinhao992#pluminF#muestra#prueba
In einem offenen Brief haben wir uns an die Stiftung #warentest gewanndt und den Test von #Balkonkraftwerk’en derr letzten Ausgabe der #Test Zeitschrift kritisiert.
With this testnet we’re going to punch some holes!
Computers in a home network will normally be unreachable from the outside, unless ports are forwarded manually. Lately, we’ve been experimenting with relays and hole punching, meaning nodes from inside a home network can participate in the network.
What are your favourite lesser known websites?
I want to see if I can get a spark of the “old internet” back by making a starting page for myself with all kinds of cool websites. But not sure where to start because Google obviously will not work for this....
Test from Kbin to Fediverse
Test from Kbin to:...
This is a test
Test