Today I wanted to add dart support to my spacevim setup, so I opened https://spacevim.org/. What a surprise, I got redirected to https://wsdjeg.net/why-spacevim-is-archived/ that stated SpaceVim 这一项目起源于 2016 年 12 月份，于 2025 年 2 月 21 日停止维护。 Thanks to Firefox automatic translation I read that The SpaceVim project originated in December 2016 and was discontinued…
Category: Documentations
Tricks
Convertire documenti (con Python ma non solo)
Molto apprezzabile e sintetico Convertire documenti con Python di Magnetismo.
Tricks
The fastest USB
The fastest USB key are not normal memory sticks but SD cards of a decent class with an USB-C 3.1 adapter This is the suggestion from Davide Depau, found running several benchmarks with EtchDroid SD cards are made to put them in cameras and it’s not uncommon to get 300 MB/s write even with a…
Link
Those who don’t understand Unix are condemned to reinvent it, poorly.
Henry Spencer, in Introducing Regular Expressions (2012) by Michael Fitzgerald, via wikiquote entry on Unix
Eiffel, Liberty Eiffel, Tricks
Saturating the name-space
We are saturating the name space for programming languages. These days I discovered the Odin Programming Language “”The Data-Oriented Language for Sane Software Development.” According to its FAQs there are some things we may learn for Eiffel.
Tricks
Camminare per dimagrire: 9 segreti per bruciare davvero i grassi
Camminare per dimagrire: 9 segreti per bruciare davvero i grassi Camminare è il miglior modo per dimagrire, ma occorre rispettare alcune regole: 9 consigli per bruciare davvero i grassi senza soffrire.
Tricks
Telegram emoji list with codes and descriptions – K3A
After almost 2 years of using Telegram, I finally discovered that it is possible to enter emoji using its name after “:” character. Unfortunately I couldn’t find any complete list of available emojis anywhere, so I had to dig deep into the Telegram desktop source code to generate it. It was far more complicated than…
Documentations, Flutter
Flutter resources:
Flutter resources:
Documentations, Tricks
Applicazioni da remoto
Oh, dimenticavo di aver già scritto di waypipe, a proposito dei giochi 3d. Quasi 5 anni fa! Ora la parte noiosa. Spesso mi collego (con ssh, ça va san dire) alle mie macchine di casa da remoto dove è già attiva una sessione “desktop” che oggigiorno è Wayland. Così qualsiasi programma Gnome o che usa…