screenshot of infoview

Com començar a desenvolupar en Lean4?

Lean4
Mathlib
Català
Apunts de Lean4/Mathlib
Hi ha moltes maneres d’usar Lean4 i estan molt ben documentades a la web. Tot i així, jo el que trobo més senzill és:
Jul 20, 2026
Joaquim Puig

Screenshot of app say_hello.py

Introducing letitshine: Creating Shiny Apps from Python Functions

Python
Shiny
Teaching
Sympy
Open Source
In teaching I like showing small functions that compute Taylor expansions, plot their graphs, compute errors of different approximations, etc.. As my students learn Python…
Jul 15, 2026
Joaquim Puig

Lectures de Juny 2026

Llibres
Català
Review
“Furthermore, modern insistence on the “Christian roots of Europe” has led to a subtle and dangerous slippage. Only too often, accounts of the Christianization of western…
Jun 27, 2026
Joaquim Puig

Managing your bibliography with Zotero

Zotero
Open Source
Research
In the course of my academic career, I have collected a substantial number of references to published articles, reports, books, preprints, etc… As many people from my…
Mar 6, 2026
Joaquim Puig

Calculus Reading List

Mathematics
Books
Calculus
Scientific Revolution
This is my personal reading list of books (not texbooks) on the historical development of calculus and, more generally, the scienfitic revolution of the 16th17th centuries.…
Sep 18, 2025
Joaquim Puig

Mathematics Reading List

Mathematics
Books
Reuben Hersh. American Mathematical Society. 2014
Sep 18, 2025
Joaquim Puig

Chaos: Making a New Science by James Gleick.

Dynamical Systems Reading List

Mathematics
Books
Dynamical Systems
Chaos
This is my personal selection of non-texbooks for Dynamical Systems.
Sep 18, 2025
Joaquim Puig
 

Quaresma Digital 2025

Mastodon
Open Source
Digital
Durant els divendres de Quaresma de 2025 vaig compartir, a través del compte @quaresmadigital@social.barcelona de Mastodon, consells setmanals de com alliberar-nos de les…
May 8, 2025
Joaquim Puig
 

Guía de Mastodon para usuarios de Bluesky

Mastodon
Nota: Este post es una traducción del original en catalán
Feb 11, 2025
Joaquim Puig
 

Guia de Mastodon per a usuaris de Bluesky

Mastodon
Si sou usuaris de Bluesky i voleu que els vostres missatges i respostes siguin visibles als usuaris de la xarxa social Mastodon (i moltes altres xarxes lliures, l’anomenat…
Feb 10, 2025
Joaquim Puig

Mastodon Tricks for Quarto

Quarto
Mastodon
It is now more than two years that I have been using Mastodon as a social network after quitting Twitter like so many others. In my case, it was not only that I did not want…
Feb 5, 2025
Joaquim Puig
 

Using Moodle and Quarto

Quarto
Moodle
Teaching
To render a file using the moodle library you can use the following code in the heading
Jun 1, 2024

Introducció a Quarto

Quarto
En el marc del cicle Píndoles de Docència de la UPC he donat una introducció a Quarto
Apr 17, 2024
Joaquim Puig

Sympy in Quarto

Python
Sympy
Research
Quarto
Reticulate
Sympy is a great piece of software for symbolic computations. Although there are many CAS, I particularly love this one because it is written purely in Python and you can…
Aug 23, 2023
Joaquim Puig
 

Installing Julia!

Quarto
Webexercises
Teaching
I recently got the chance to update the Julia package on a desktop computer and I could see the speed-up in the pre-compiled packages!
Apr 4, 2023
Joaquim Puig

Quizzes with Webexercises and Quarto

Quarto
Webexercises
Teaching
Using the wonderful {webexercises} package you can create interactive web pages for checking your knowledge. These are a set of widgets that allow for different type of…
Apr 4, 2023
Joaquim Puig

Talk for PiDay 2023

Quarto
Revealjs
Research
Plotly
Ggplot2
I was very happy to join the celebration of the #IDM2023 #Piday2023 at the UWI Cave Hill Barbados! I gave the talk “Dive into Hofstadter Butterfly”.
Mar 1, 2023
Joaquim Puig
 

Generating Moodle Question Banks using Python and Sympy

Python
Sympy
Teaching
Moodle
Over the years I have developed some scripts for generating banks of questions for Moodle so that students can challenge themselves and check their answers. Sometimes I have…
Feb 9, 2023

Observable JS for Quarto Documents

Quarto
R
Observable
After the publication of my previous post on easy interactivity of R output through htmlwidgets in quarto, I decided to redo some of the examples using one of the new…
Dec 15, 2022

Adding some interactivity to your R Quarto Documents

Quarto
R
Ggplot2
We are so used to interactive documents that it is a pity that we do not use them in our scientific and technical reports. The fact that publishing in scientific journals is…
Nov 30, 2022

Quarto Logo

Quarto Pipeline for VSCode

Quarto
VScode
R
Julia
There are many ways to produce a code that include a narrative on what is done. I am biased towards the RStudio/Posit pipeline but, since new users may want to learn the…
Nov 22, 2022

Kernels in Jupyter-notebook

Installing Sagemath Kernel for Jupyter

Sagemath
Jupyter
Python
In this post we want to show how to install a sagemath kernel for jupyter so that we can use it with our system jupyter. My operating system is Ubuntu 20.04 and the latest…
Oct 6, 2021
No matching items