Paolo Redaelli personal blog

Che sciatteria!

Da qualche anno racconto agli studenti di architettura come “metter le mani” su qualche calcolo di strutture in acciaio ed in calcestruzzo. Mi piace far prendere loro contatto con le Norme Tecniche per le Costruzioni e la relativa Circolare interpretativa che in Italia hanno valenza di legge a tutti gli effetti, specialmente le prime. E…

Various Tikz

Latex and Tikz allows to programmatically create beautiful documents, presentantions and graphics. Their documentation is clear but so extensive that one search the net for quick hacks, most often ending on Stack Exchange. Here’s some of the hints I found useful https://tex.stackexchange.com/questions/217953/tikz-objects-drawing https://tex.stackexchange.com/questions/415548/quotes-with-tikz https://tex.stackexchange.com/questions/63560/how-to-use-x-coordinate-of-a-point-and-y-coordinate-of-other-point#63562

halting problem

Type instances Source: halting problem Since the start of the GTK4 development branch I’ve had to deal with creating fundamental types to replace ad hoc boxed types with inheritance three times; I thought about writing this stuff down, so the next time somebody thinks “I don’t want to use GObject but I want a type hierarchy”…