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.237 - Ohmyzsh e terminale con Carlo Sala Gaucho [not-audio_url] [/not-audio_url]

Duration: 1:13:10
In questo episodio apriamo il cofano di uno strumento che quasi tutti abbiamo lanciato con un copia-incolla senza chiederci cosa ci fosse sotto: Oh My Zsh. Con Carlo, matematico di Barcellona e maintainer del progetto, p…
Ep.234 - Discovery, iniziare il lavoro da un cliente nuovo [not-audio_url] [/not-audio_url]

Duration: 53:43
Mauro racconta come ha costruito EXO Skeleton, un sistema AI per gestire il carico cognitivo durante l'onboarding su nuovi clienti. Il problema di partenza è quello classico del consulente: entrare in un dominio sconosci…
Ep.233 - LLM e refactoring, uno sgardo ai paper [not-audio_url] [/not-audio_url]

Duration: 58:23
In questa puntata ci infiliamo fino al collo nel refactoring con gli LLM, partendo dall'ingenua tentazione di dire a Claude "migliora questo codice" e finendo a scoprire che la definizione di Fowler fa acqua da più parti…
Ep.232 - Calvino e il refactoring 5 anni dopo - Regenerative Software [not-audio_url] [/not-audio_url]

Duration: 1:23:56
ContestoEpisodio nato last-minute. L'idea: riprendere un episodio di 5 anni fa e commentare cosa è cambiato da allora. Spoiler: è invecchiato male.Temi principaliDal muratore al guardiano. Nel 2020 si criticava la tenden…
Ep.231 - Il cazziatone è servito: istruzioni per non esplodere [not-audio_url] [/not-audio_url]

Duration: 40:56
Hai mai aperto una mail alle 8 di mattina e sentito il sangue salire alla testa? In questo episodio smontiamo pezzo per pezzo un classico "cazziatone professionale" e lo trasformiamo in un'opportunità, usando le stesse t…
Ep.230 - Database nel 2026, Ai and more con Davide Mauri (Microsoft) [not-audio_url] [/not-audio_url]

Duration: 1:33:58
In questa puntata ci siamo ritrovati con Davide Mauri, Product Manager di SQL Server in Microsoft, per una chiacchierata lunga e succosa su tutto quello che ruota attorno ai database nel 2025. Abbiamo parlato di come il…
Ep.228 - Non toccate quel tag con Andrea Verlicchi [not-audio_url] [/not-audio_url]

Duration: 1:30:07
In questo episodio apriamo il bar con Andrea Verlicchi, performance engineer di SpeedKit ed ex front-end architect di Yoox Net-a-Porter. Parliamo di web performance a 360 gradi: dai Core Web Vitals all'ottimizzazione del…