Why is 40-year-old programming language Ada hot again?

@programmazione

"Nei primi anni 2000 Ada è caduto in disgrazia come linguaggio di programmazione, a causa di strumenti costosi e della carenza di sviluppatori. Ma ora sembra che i suoi punti di forza fondamentali siano tornati di moda. Poiché il nostro mondo fa sempre più affidamento su software complessi, la necessità di un codice sicuro e affidabile è più che mai fondamentale."

#guufITA #adalang #dev

https://www.developer-tech.com/news/why-is-40-year-old-programming-language-ada-hot-again/

Raccolta di risorse gratuite per il linguaggio Ada e Spark

@programmazione

"Ada è un linguaggio all'avanguardia utilizzato per la realizzazione di software di importanza cruciale: dai microkernel e dai sistemi embedded in tempo reale di piccole dimensioni alle applicazioni aziendali su larga scala [...]

SPARK è un sottoinsieme di Ada analizzabile formalmente e un set di strumenti che porta la sicurezza matematica nella verifica del software."

#guufITA #dev #ada

https://learn.adacore.com/

Sfatiamo il mito... Il post di @anzu

Un linguaggio di programmazione, come detto prima, deve essere espressivo e non limitante da workflow imposti. Tutto sta in come lo si vede, se meramente dal punto di vista lavorativo dove alle cinque e mezzo del pomeriggio si va all'aperitivo per pulire il cervello o come qualcosa di più.

@programmazione

https://www.guuf-italia.eu/blog/sfatiamo-il-mito/

Apple ha iniziato a contribuire con il supporto ufficiale per il suo visore Vision Pro al popolare motore di gioco Godot. Ricardo Sanchez-Saez, un ingegnere iOS senior che lavora nel team visionOS di Apple, ha annunciato lo sforzo tramite una richiesta pull (PR) inviata al progetto Godot su GitHub.

Questo primo contributo pone le basi fondamentali per l'esecuzione nativa delle applicazioni Godot sulla piattaforma visionOS.

Lem is the editor/IDE well-tuned for Common Lisp.

@programmazione

"After installing lem, you can start developing in Common Lisp at once.

You can skip over writing tidy settings or installing many plugins as you do on Emacs.

Lem supports other programming languages thanks to its built-in LSP client. You can choose between an Emacs and a Vim mode. [...] "

#editor #commonlisp #lem #ide #dev

Church Of Turing - The Landscape of Lisp

@programmazione

"The purpose of this post isn't to convince the reader of how great Lisp is; rather, I assume the reader is already somewhat interested and is now trying to figure out which of these dialects is the best fit for them. It also isn't about "which Lisp is the best" type questions, but instead it's just my subjective view of the more prominent Lisp dialects, [...]"

#lisp #commonlisp #racket #scheme #clojure #dev

https://churchofturing.github.io/landscapeoflisp.html

Quest'app l'ho fatta in poco più di un'ora con chatgpt. Più che altro ho perso tempo a creare il dataset

Questa app react l'ho fatta con chatgpt in un'oretta . Ormai programmare è diventato un gioco di poche ore.

Palladium programming lang

@programmazione

È uno sforzo collaborativo per imparare e costruire un linguaggio di programmazione da zero. Il nostro obiettivo è esplorare ogni aspetto della progettazione di un linguaggio, dal lessico e parsing all'esecuzione su vm e alla gestione della memoria.

Questo progetto è perfetto per chiunque voglia immergersi in profondità negli aspetti interni dei linguaggi di programmazione, delle macchine virtuali e dei compilatori.

https://github.com/pmqtt/palladium

ciao, un po' di tempo fa avevo scritto un piccolo programmino in python che implementava i codici di correzione Reed-Solomon per vedere se avevo capito la teoria.
Dopo averlo abbandonato a se stesso per qualche mese sento parlare delle vicende di raivo otp e mi viene il cagotto, allora nasce WeedcUp, che poi ho pubblicato su github, un programma che prende i miei segreti otp e li salva sotto forma di codici QR in un file postscript che posso stampare.

Negli ultimi giorni mi è finalmente venuta voglia di aggiungere qualcosa, una funzione per salvare le chiavi pgp segrete.

Tecnicamente avrebbe funzionato anche prima, dato che accetta e stampa qualsiasi tipo di file, ma una chiave segreta, soprattutto rsa, tende a diventare grande abbastanza da essere scomoda.
Allora ho preso ispirazione da paperkey, un altro progetto che si occupa di stampare chiavi pgp, ed ho aggiunto uno script che estrae dalla chiave segreta solo le parti veramente segrete e le salva in un file molto più piccolo, in modo tale che l'intera chiave possa essere recuperata da questo e dalla chiave pubblica.

E allora eccoci qui, avevo voglia di vantarmi un po' dopo aver passato un pomeriggio a leggere rfc 4880

la repo è github.com/Leviticoh/weedcup

IEEE Spectrum ha pubblicato la sua classifica annuale dei linguaggi di programmazione più popolari. Questo è l’undicesimo rapporto che combina dati provenienti da varie fonti

Hello World - Nasce una nuova MUC dedicata alla programmazione

@programmazione

[Nuovo articolo sul GUUF]

"Quando ci si avvicina per la prima volta al mondo del Free Sofware ci si scontra inevitabilmente con il concetto di codice sorgente e questo porta diversɜ utentɜ a porsi delle domande e sviluppare curiosità verso la programmazione. [...]"

L'articolo è in continuo aggiornamento 😉

#programmazione #dev #development #xmpp #xmppit #linuxITA #unixITA

https://www.guuf-italia.eu/blog/nasce-hello-world/

Nim Programming Book

@programmazione

"Una delicata introduzione al linguaggio di programmazione Nim."

Il libro è disponibile gratuitamente in diversi formati (HTML per la lettura online e PDF, epub, mobi per il download).

#programmazione #dev #nim #nimlang #nimlanguage

https://nimprogrammingbook.com/

VimHero - Learn Vim with Interactive Tutorials

@programmazione

VimHero vi insegna a modificare il codice utilizzando Vim con esempi interattivi, sfide e giochi.

Sembra interessante! Da testare!

https://www.vim-hero.com/

#programmazione #dev #vi #vim #linuxITA #unixITA #helloworld

Nasce "Hello World", una muc per appassionatз di programmazione, hobbistз e professionistз di qualsiasi linguaggio e livello!

@programmazione

Considerando che nel GUUF ci sono diversз appassionatз di programmazione, iniziamo anche questa nuova avventura.

Condividiamo news, tutorial, repo di codice e chiacchieriamo in questo luogo rispettoso, aperto a tuttз e partecipativo!

Vi aspettiamo 😉

xmpp:hello-world-it@conference.magicbroccoli.de?join=

#programmazione #dev #development

Elixirkoans/elixir-koans: Elixir learning exercises

@programmazione

Elixirkoans è un progetto interessante, simile a rustlings o ziglings. Se state studiando questo linguaggio o volete iniziare, merita una prova!

mix meditate 😉

"Elixir koans is a fun way to get started with the elixir programming language. It is a tour of the most important features and idiomatic usage of the language."

Thanks to @prma for sharing

https://github.com/elixirkoans/elixir-koans

#programmazione #elixir #elixirlang #development

Java

@programmazione

Ultimamente, per vari motivi, ho ripreso in mano Java che non consideravo da molto tempo (ho iniziato con JDK 1.3 e credo di averlo abbandonato dopo l'uni, JSE 6, quindi una vita fa 😂)

Ho trovato un sacco di materiale e questo corso in particolare mi sembra ben fatto, soprattutto come primo approccio alla programmazione. I video sono aperti e la registrazione al portale è opzionale (serve solo per i quiz.).

Consigliato!

#programmazione #java

https://testautomationu.applitools.com/java-programming-course/

Kotlin 2: novità e prospettive

@programmazione

"[...] riassumiamo qui gli aspetti fondamentali di questo linguaggio lanciato nel 2011 ma affermatosi fortemente a partire dal 2017 in poi. Se infatti esso fu sviluppato dall’azienda JetBrains, produttrice dell’ambiente di sviluppo IntelliJ Idea, l’adozione da parte degli sviluppatori aumentò significativamente quando Google lo scelse come linguaggio per lo sviluppo di applicazioni Android."

#programmazione #kotlin

https://www.mokabyte.it/2024/06/14/kotlin20/

EMB3D è un modello di minaccia per i dispositivi embedded presenti in settori quali le infrastrutture critiche, l'Internet of Things, l'automotive, la sanità, la produzione e molti altri. Il modello di minaccia vuole essere una risorsa per aiutare i fornitori, i proprietari/operatori di risorse, le organizzazioni di test e i ricercatori di sicurezza a migliorare la sicurezza complessiva dell'hardware e del software dei dispositivi embedded. Questo modello di minaccia mira a fungere da archivio centrale di informazioni, definendo le minacce note ai dispositivi embedded e le loro caratteristiche/proprietà uniche che consentono azioni specifiche di minaccia. Mappando le minacce alle caratteristiche/proprietà del dispositivo associate, l'utente può facilmente enumerare l'esposizione alle minacce in base alle caratteristiche note del dispositivo.

Il Modello delle minacce di EMB3D fornisce una base di conoscenza delle minacce informatiche ai dispositivi embedded, fornendo una comprensione comune di queste minacce con meccanismi di sicurezza per mitigarle.

Questa versione iniziale di EMB3D comprende le enumerazioni delle proprietà del dispositivo e delle minacce. La serie completa di mitigazioni sarà disponibile nell'aggiornamento dell'estate 2024.

Learn Lisp The Hard Way

@programmazione

Non lo so perchè sono qui ma partiamo benissimo 😅

"La programmazione è difficile. Chiunque dica il contrario sta cercando di farvi sentire inferiori a lui o di vendervi qualcosa. Nel caso di molti linguaggi di programmazione "facili da imparare", si dà il caso che siano vere entrambe le cose. Ma voi non siete qui per linguaggi di scripting inefficienti, glorificati e a gratificazione immediata [...]"

#programmazione #lisp

https://llthw.common-lisp.dev/

How to build a horse with programming

@programmazione

...credo che nel listato Lisp manchino un paio di parentesi!

Segnalata da @blu

🙏🙏🙏

Reddit-archive/reddit1.0

@programmazione

Leggendo il libro Aggiustare il mondo di Giovanni Ziccardi ho scoperto che inizialmente Reddit fu concepito in Common Lisp e che in una fase successiva, su suggerimento di Aron, fu riscritto in Python per vari motivi.

Facendo delle ricerche, ho trovato il repo con il codice e anche il post degli sviluppatori in cui argomentano questa scelta. Molto interessante!

#programmazione #reddit #lisp #python

http://web.archive.org/web/20210307085921/https://redditblog.com/2005/12/05/on-lisp/

https://github.com/reddit-archive/reddit1.0

[RECENSIONE] Insegnare Linux agli sviluppatori di software con questo libro

@programmazione

"The Software Developer's Guide to Linux" affronta bene i fondamenti e le parti importanti del filesystem Linux, della riga di comando, della manipolazione dei file, dello scripting di shell e altro ancora.

Per soddisfare gli sviluppatori di software, il libro tratta anche Git e Docker.

#programmazione #linux #git #docker #shellscript

https://itsfoss.com/software-developers-guide-linux-review/