Ep.181 - Matematica e linguaggi con Paolo Caressa

Ep.181 - Matematica e linguaggi con Paolo Caressa

Author: Brainrepo December 7, 2023 Duration: 1:31:19
Questa settimana con Paolo Caressa, abbiamo parlato di matematica, linguaggi e letteratura.



PARTITA IVA con Fiscozen: consulenza GRATIS e 50€ di sconto ⏩
https://www.fiscozen.it/invitoGITBAR50F


## Il nuovo store di gitbar

- https://www.spreadshirt.it/shop/design/videoterminalista+metalmeccanico+maglietta+uomo-D60dd75d8a30ff14b5e9bfbe1?sellable=5aaY1v4we3SeYEOlVXmx-6-7

## Supportaci su

https://www.gitbar.it/support

## Paese dei balocchi

- https://www.espressokamira.net/
- https://github.com/TabbyML/tabby
- https://amzn.to/46HtGr6
- https://amzn.to/41fdZX8
- https://amzn.to/3TgkZAS
- https://amzn.to/41a7mFk

## Link amazon affiliato

https://amzn.to/40Lm6KQ

## Per favore ascoltaci usando una di queste app:

https://podcastindex.org/apps

SummaryNel primo episodio della serie, gli ospiti discutono dei cambiamenti nel contenuto nel corso degli anni, passando dalle fanzine ai blog e alle newsletter. Si parla anche dell'evoluzione dei mezzi di distribuzione dei contenuti e del passaggio dalla matematica all'informatica. Viene esplorato il legame tra matematica e linguaggi di programmazione e si discute del modello di programmazione come modello per rappresentare il pensiero. Si affronta anche il tema delle differenze tra linguaggi accademici e linguaggi general purpose, nonché l'importanza della semplicità e leggibilità del codice. The conversation explores the evolution of programming languages and the role of ecosystems in language adoption. It also discusses the future of programming languages, the relationship between programming and mathematics, and the impact of AI on programming. The democratization of programming and the potential of natural language programming are also examined. Overall, the conversation highlights the potential for programming to become a more narrative and artistic discipline.
Takeaways
  • I mezzi di distribuzione dei contenuti sono cambiati nel corso degli anni, passando dalle fanzine ai blog e alle newsletter.
  • Il passaggio dalla matematica all'informatica può portare a una visione unica che combina l'approccio teorico con quello pratico.
  • I linguaggi di programmazione sono modelli per rappresentare il pensiero e sono influenzati dalla teoria della calcolabilità.
  • I linguaggi accademici tendono ad essere più teorici e astratti, mentre i linguaggi general purpose sono progettati per essere utilizzati in una varietà di contesti.
  • La semplicità e la leggibilità del codice sono importanti per facilitare la manutenzione e la comprensione del software. Programming languages have evolved over time, with ecosystems playing a crucial role in their adoption.
  • The future of programming languages may involve a closer integration with natural language and a focus on user experience.
  • While mathematics is foundational to programming, the field may become more accessible to those without strong mathematical backgrounds.
  • AI has the potential to revolutionize programming by automating certain tasks and enabling natural language programming.
  • The democratization of programming may lead to a more narrative and artistic approach to coding.

Chapters00:00 Introduzione e presentazione dell'ospite
03:00 Cambiamenti nel contenuto nel corso degli anni
06:24 L'evoluzione dei mezzi di distribuzione dei contenuti
09:11 Il passaggio dalla matematica all'informatica
13:34 Il legame tra matematica e linguaggi di programmazione
17:41 Il modello di programmazione come modello per rappresentare il pensiero
23:03 Linguaggi accademici vs linguaggi general purpose
26:59 L'evoluzione dei linguaggi di programmazione
33:03 Software baggato e differenze tra linguaggi accademici e pratici
35:45 Semplicità e leggibilità del codice
35:46 The Evolution of Programming Languages
49:17 The Role of Ecosystems in Language Adoption
55:10 The Future of Programming Languages
56:33 The Relationship Between Programming and Mathematics
57:15 The Impact of AI on Programming
59:17 The Democratization of Programming
01:04:04 Programming as a Literary or Narrative Art
01:09:45 The Potential of Natural Language Programming



## Contatti

@brainrepo su twitter o via mail a https://gitbar.it.

In un mondo tech che corre a velocità supersonica, Gitbar-Italian developer podcast è la pausa caffè virtuale che non sapevi di aver bisogno. Creato da Brainrepo, questo spazio non è un tutorial o una lezione, ma una conversazione franca tra chi ha vissuto la transizione da un'epoca in cui il codice era scolpito a mano a oggi, dove il confine tra sviluppatore e "addestratore" di IA sembra sempre più sfocato. Ci si ritrova qui per condividere dubbi, osservazioni e quel senso di straniamento professionale che accompagna il cambiamento. Le discussioni spaziano tra hobby, tempo libero e notizie dal settore, sempre con un tono disincantato e diretto. Ascoltando questo podcast, ci si immerge in riflessioni genuine su cosa significhi davvero creare tecnologia oggi, tra strumenti che promettono miracoli e la realtà quotidiana di debug e scelte architetturali. È un confronto tra pari, dove le frustrazioni sono ammesse e l'ironia è di casa. Perfetto per chi, pur navigando tra linguaggi e framework, sente il bisogno di un punto di riferimento umano, lontano dai clamori del marketing tech. Le bestemmie, si sa, restano un prodotto artigianale e autentico, l'ultimo baluardo di un mestiere che cerca di ritrovare il proprio baricentro in mezzo all'automazione.
Author: Language: Italian Episodes: 100

Gitbar - Italian developer podcast
Podcast Episodes
Ep.187 - Open Podcasting e fourviere @ fosdem [not-audio_url] [/not-audio_url]

Duration: 1:00:21
Durante il fosdem di ques'anno abbiamo preso prima un aula e poi una panchina per parlare di open podcasting e del progetto fourviere. Inoltre dentro trovate una pillola registrasta da Flavio che racconta come alcuni mec…
Ep.186 - Frontend e Microfrontend con Matteo Pietro Dazzi (Nearform) [not-audio_url] [/not-audio_url]

Duration: 2:04:48
Questa settima e' venuto a trovarci il mio amico Matteo e abbiamo fatto una mega chiacchierata.Vengono esplorati i concetti di vertical split e horizontal split, e viene definito il concetto di Micro Frontend. Siamo anch…
Ep.185 - CQRS ES con Alessio Biancalana e Carmine Di Monaco (Suse) [not-audio_url] [/not-audio_url]

Duration: 1:31:34
## SummaryIn questa parte della conversazione, sono stati affrontati diversi argomenti legati alla gestione degli eventi nel contesto del CQRS. Si è parlato della costruzione del Ritm 1 e della gestione degli eventi, con…
Ep.184 - Il libro opensource con Mike di Prisco (Jointly) [not-audio_url] [/not-audio_url]

Duration: 1:20:01
Questa settimana con l'amico Mike di Prisco abbiamo fatto una super interessante chiacchierata sul suo progetto "il libro opensource". ## TakeawaysLa gestione della visibilità e la ricerca della visibilità sono temi impo…
Ep.183 - Dapr.io con Alessandro Segala (Microsoft) [not-audio_url] [/not-audio_url]

Duration: 1:07:15
In questo episodio di GitBar, Alessandro Segala, senior software engineer a Microsoft, parla di Dapr, un framework open source per la creazione di applicazioni distribuite. Alessandro discute dei vantaggi del disaccoppia…
Ep.182 - Microdosi e psichedelia con Tommaso Barba [not-audio_url] [/not-audio_url]

Duration: 1:22:53
## SummaryIn this episode, the host and guest discuss the topic of microdosing and its controversial nature. They explore the principles and effects of microdosing, as well as the differences between the use of hallucino…
Ep.180 - Kernel e dintorni con Matteo Croce (Meta) [not-audio_url] [/not-audio_url]

Duration: 1:33:39
Questa settimana con Matteo Croce (technoraver),kernel contributor, abbiamo parlato del linux kernel, di come ci si affaccia allo sviluppo di una cosa che vediamo cosi complessa.PARTITA IVA con Fiscozen: consulenza GRATI…
Ep.179 - Elixir con Andrea Leopardi (Veeps) [not-audio_url] [/not-audio_url]

Duration: 1:58:37
*Elixir con Andrea Leopardi (Veeps)*Questa settimana con Andrea Leopardi, core contributor di elixir abbiamo parlato di questo fantastico linguaggio e del suo ecosistema basato sulla BEAM.PARTITA IVA con Fiscozen: consul…
Ep.178 - Diversity e IOS con Anna Chiara Beltrami (Spotify) [not-audio_url] [/not-audio_url]

Duration: 1:21:25
Questa settimana abbiamo avuto il piacere di ospitare Anna Chiara Beltrami, mobile platform engineer in Spotify. COn lei abbiamo parlato di diversity, di Xcode e di un sacco di altre cosePARTITA IVA con Fiscozen: consule…
Ep.177 - Software supply chain con Paolo Mainardi (SparkFabrik) [not-audio_url] [/not-audio_url]

Duration: 1:36:31
In questo episodio ci siamo fatti due chiacchiere con Paolo Mainardi sulla sicurezza della catena di approvvigionamento del software e ci siamo tuffati nel Cyber Resiliency Act per capire come cambierà il gioco per le az…