Franklin Pezzuti Dyer

Home     Posts     CV     Contact     People

All posts:

RPi headless setup and remote connection 2024-03-26 πŸ‡ΊπŸ‡Έ
Totality and non-standard recursion in Idris 2024-03-20 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
The tragic antagonist of True Detective: Night Country 2024-03-10 πŸ‡©πŸ‡ͺ πŸ‡ΊπŸ‡Έ
A Galois Theory elevator pitch 2024-02-11 πŸ‡©πŸ‡ͺ πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Discovering copy-on-write in R 2023-12-20 πŸ‡ΊπŸ‡Έ
A curried composition puzzle 2023-12-15 πŸ‡ΊπŸ‡Έ
SQL injection and mitigation 2023-11-15 πŸ‡ΊπŸ‡Έ
Finding dead links with a web crawler 2023-10-15 πŸ‡ΊπŸ‡Έ
Memory management in Brainfuck 2023-09-30 πŸ‡ΊπŸ‡Έ
Un rastreador de flujos sencillo 2023-08-30 πŸ‡ͺπŸ‡Έ
Topology for genetics 2023-07-15 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Intransitive random variables 2023-06-30 πŸ‡©πŸ‡ͺ πŸ‡ΊπŸ‡Έ
A little encoding anomaly 2023-06-15 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Coproducts and case splits 2023-05-30 πŸ‡ΊπŸ‡Έ
Abstracting chatbots in Discord, Slack and Telegram 2023-04-30 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Doing remote computations with WebSockets 2023-03-13 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Counting elements of lists in Agda 2023-02-14 πŸ‡ΊπŸ‡Έ
Ejemplos de mΓ³nadas 2023-01-30 πŸ‡ͺπŸ‡Έ
Avoiding endless evaluations in Scheme 2022-11-30 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Recorrer un sistema de archivos con restricciones 2022-11-15 πŸ‡ͺπŸ‡Έ
A temporal system of logic 2022-10-10 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Pensamientos sobre la docencia 2022-09-19 πŸ‡ͺπŸ‡Έ
Automating associativity 2022-06-29 πŸ‡ΊπŸ‡Έ
Algebra and arithmetic with inductive types 2022-06-02 πŸ‡ΊπŸ‡Έ
Three semesters of projects 2022-05-20 πŸ‡ΊπŸ‡Έ
Funciones generadoras y el infinito potencial 2022-03-16 πŸ‡ͺπŸ‡Έ
Analysis of growth orders, continued 2022-01-30 πŸ‡ΊπŸ‡Έ
Analysis of growth orders of sequences 2021-12-21 πŸ‡ΊπŸ‡Έ
Ω‚Ψ΅ΨͺΩŠΩ† في Ψ§Ω„Ω„ΨΊΨ© Ψ§Ω„ΨΉΨ±Ψ¨ΩŠΨ© 2021-12-06 πŸ‡ͺπŸ‡¬
Schauergeschichten der Analyse 2021-10-31 πŸ‡©πŸ‡ͺ
Sudoku en C 2021-09-25 πŸ‡ͺπŸ‡Έ
Who's Who of Elliptic Functions 2021-08-01 πŸ‡ΊπŸ‡Έ
Beatty Series and Sums over Rationals 2021-06-01 πŸ‡ΊπŸ‡Έ
Convergence of Complex Power Series 2021-05-11 πŸ‡ΊπŸ‡Έ
Polyhedra in STL and the Conway Operators 2021-03-30 πŸ‡ΊπŸ‡Έ
Das perfekteste Bund (Fiktion) 2021-03-13 πŸ‡©πŸ‡ͺ
An Analysis of the Will 2020-11-20 πŸ‡©πŸ‡ͺ πŸ‡ΊπŸ‡Έ
Halloween with Freud 2020-11-01 πŸ‡ΊπŸ‡Έ
Mechanical Mockery with Discord.py 2020-10-30 πŸ‡ΊπŸ‡Έ
Who visits this blog, anyways? 2020-10-11 πŸ‡ΊπŸ‡Έ
Introduction to Order Theory 2020-09-20 πŸ‡ΊπŸ‡Έ
Conceptions of Infinity 2020-08-23 πŸ‡ΊπŸ‡Έ
Recursive Generative Art with Pycairo 2020-08-16 πŸ‡ΊπŸ‡Έ
Charon and Algernon (dialogue) 2020-08-05 πŸ‡ΊπŸ‡Έ
Aristotle's Hylomorphism 2020-07-30 πŸ‡ΊπŸ‡Έ
LΓΌgen, die die Informatiker ΓΌber Namen glauben (Übersetzung) 2020-07-25 πŸ‡©πŸ‡ͺ πŸ‡ͺπŸ‡Έ
Alternate Day-Night and Seasonal Cycles 2020-07-15 πŸ‡ΊπŸ‡Έ
Bookworm Adventures 2020-07-10 πŸ‡ΊπŸ‡Έ
Spiele zur subjektiven Untersuchung des Gehirns 2020-06-30 πŸ‡©πŸ‡ͺ
Mr. Palomar (fiction) 2020-06-10 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Packet-Fragmentation Optimization Problems 2020-06-01 πŸ‡ΊπŸ‡Έ
Environmental Crossfitness in Genetic Algorithms 2020-05-20 πŸ‡ΊπŸ‡Έ
Fish out of water (fiction) 2020-05-10 πŸ‡ΊπŸ‡Έ
Trigonometry on the Koch Snowflake 2020-04-25 πŸ‡ΊπŸ‡Έ
An orange (fiction) 2020-04-02 πŸ‡ΊπŸ‡Έ
Population Puzzles and Mendelian Inheritance 2020-03-07 πŸ‡ΊπŸ‡Έ
La hidra (ficciΓ³n) 2020-02-14 πŸ‡ͺπŸ‡Έ
Predictors and Newcomb's Paradox 2020-02-07 πŸ‡©πŸ‡ͺ πŸ‡ΊπŸ‡Έ
Review of the movie 'Columbus' 2020-01-19 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Aliens and Convergent Evolution 2019-12-29 πŸ‡ΊπŸ‡Έ
SVD Decomposition and Image Compression 2019-12-10 πŸ‡ΊπŸ‡Έ
Ambiguity in Language 2019-11-15 πŸ‡ΊπŸ‡Έ
Loops and Groops 2019-10-30 πŸ‡ΊπŸ‡Έ
The Limits of Science and Mathematics 2019-10-26 πŸ‡ΊπŸ‡Έ
Thoughts about Technology 2019-10-20 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Time Perception 2019-10-10 πŸ‡ΊπŸ‡Έ
Die Prinzen 2019-10-05 πŸ‡©πŸ‡ͺ πŸ‡ΊπŸ‡Έ
Warrant Canaries and Free Speech 2019-10-01 πŸ‡ΊπŸ‡Έ
Retributive and Utilitarian Justice 2019-09-20 πŸ‡ΊπŸ‡Έ
Blue Eyes and Common Knowledge 2019-09-20 πŸ‡ΊπŸ‡Έ
We are Robots 2019-09-07 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Ego Depletion 2019-09-03 πŸ‡ΊπŸ‡Έ
The German Course at the University of Chicago 2019-08-20 πŸ‡©πŸ‡ͺ πŸ‡ΊπŸ‡Έ
Forer Effect 2019-08-17 πŸ‡ΊπŸ‡Έ
Analysis of the movie 'Us' 2019-08-15 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Evolution with Python 2019-08-05 πŸ‡ΊπŸ‡Έ
Kinderschema 2019-07-25 πŸ‡ΊπŸ‡Έ
Snell's Law and Quickest Paths 2019-07-25 πŸ‡ΊπŸ‡Έ
Consumer and Producer Surplus 2019-07-15 πŸ‡ΊπŸ‡Έ
An Auction Problem 2019-07-05 πŸ‡ΊπŸ‡Έ
El Instituto Veraniego de Idiomas 2019-06-24 πŸ‡ͺπŸ‡Έ
El Cuarteto de Nos 2019-06-10 πŸ‡ͺπŸ‡Έ
Zeroes of Aperiodic Sinusoids 2019-05-28 πŸ‡ΊπŸ‡Έ
Supply and Demand 2019-05-19 πŸ‡ΊπŸ‡Έ
The Diet Problem 2019-03-10 πŸ‡ΊπŸ‡Έ
Utility and optimization problems 2019-03-03 πŸ‡ΊπŸ‡Έ
Review of the book The Glass Bead Game by Hermann Hesse 2019-01-02 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Review of the movie Kumiko the Treasure Hunter 2018-12-27 πŸ‡ΊπŸ‡Έ πŸ‡ͺπŸ‡Έ
Random Variables Part 3: Continuous Distributions 2018-11-03 πŸ‡ΊπŸ‡Έ
Random Variables Part 2: Discrete Distributions 2018-10-20 πŸ‡ΊπŸ‡Έ
Random Variables Part 1: Measures of Central Tendency and Spread 2018-10-10 πŸ‡ΊπŸ‡Έ
Sums Involving Arithmetic Functions 2018-09-01 πŸ‡ΊπŸ‡Έ
Some Arithmetic Functions 2018-08-25 πŸ‡ΊπŸ‡Έ
About PROMYS 2018-08-13 πŸ‡ΊπŸ‡Έ
Interesting Trigonometric Integrals 2018-06-16 πŸ‡ΊπŸ‡Έ
Integrals involving Logarithms and Algebraic Functions 2018-06-07 πŸ‡ΊπŸ‡Έ
The Residue Theorem 2018-05-26 πŸ‡ΊπŸ‡Έ
A Half-Exponential Integral 2018-05-19 πŸ‡ΊπŸ‡Έ
Integration without Antidifferentiation (Part 2) 2018-04-26 πŸ‡ΊπŸ‡Έ
Dirichlet Series 2018-04-12 πŸ‡ΊπŸ‡Έ
Multidimensional Integrals 2018-03-30 πŸ‡ΊπŸ‡Έ
The Gamma and Digamma functions 2018-03-10 πŸ‡ΊπŸ‡Έ
Reciprocal-Fibonacci Series 2018-01-30 πŸ‡ΊπŸ‡Έ
Some Double-Exponential Series 2018-01-07 πŸ‡ΊπŸ‡Έ
Using complex numbers to evaluate series 2017-12-22 πŸ‡ΊπŸ‡Έ
Fractional Iterates 2017-12-08 πŸ‡ΊπŸ‡Έ
Strange recursions 2017-11-14 πŸ‡ΊπŸ‡Έ
A summary of functional iteration 2017-11-04 πŸ‡ΊπŸ‡Έ
Solving Difference Equations 2017-10-14 πŸ‡ΊπŸ‡Έ
Integration without Antidifferentiation 2017-09-05 πŸ‡ΊπŸ‡Έ
More Functional Equations 2017-08-15 πŸ‡ΊπŸ‡Έ
Sums with Binomial Coefficients 2017-07-30 πŸ‡ΊπŸ‡Έ
Inverse Trigonometric Identities 2017-07-10 πŸ‡ΊπŸ‡Έ
Roulettes, non-Russian 2017-07-03 πŸ‡ΊπŸ‡Έ
Non-telescoping Sums 2017-06-24 πŸ‡ΊπŸ‡Έ
The Gamma and Lambert-W Functions 2017-06-21 πŸ‡ΊπŸ‡Έ
Extension of Summation Bounds 2017-06-11 πŸ‡ΊπŸ‡Έ
Telescoping Sums 2017-06-09 πŸ‡ΊπŸ‡Έ
The Billiard Ball Problem 2017-06-03 πŸ‡ΊπŸ‡Έ
Solving Functional Equations 2017-05-31 πŸ‡ΊπŸ‡Έ
Pascal's Trapezoid and Some Puzzles 2017-05-22 πŸ‡ΊπŸ‡Έ
Digit Sums 2017-05-13 πŸ‡ΊπŸ‡Έ
Two Divisibility Problems 2017-05-09 πŸ‡ΊπŸ‡Έ
Pascal's Triangle 2017-05-06 πŸ‡ΊπŸ‡Έ
Explicit Fibonacci Sequence 2017-04-29 πŸ‡ΊπŸ‡Έ
n-Involutory Rational Functions 2017-04-17 πŸ‡ΊπŸ‡Έ
Iterated Polynomials 2017-04-09 πŸ‡ΊπŸ‡Έ
More on Iterated Functions 2017-04-04 πŸ‡ΊπŸ‡Έ
Amortization Formulas 2017-03-30 πŸ‡ΊπŸ‡Έ
Area Under a Sine Arch 2017-03-09 πŸ‡ΊπŸ‡Έ
Squares in a Lattice Grid 2017-02-24 πŸ‡ΊπŸ‡Έ
Slicing a Plane 2017-02-19 πŸ‡ΊπŸ‡Έ
Triangle Median Problem 2017-02-10 πŸ‡ΊπŸ‡Έ
How to Graph a Donut 2017-01-28 πŸ‡ΊπŸ‡Έ
Iterated Functions 2017-01-12 πŸ‡ΊπŸ‡Έ
The Lemniscate 2016-12-27 πŸ‡ΊπŸ‡Έ
Tilted Parabola 2016-12-07 πŸ‡ΊπŸ‡Έ
Distance from a Point to a Line 2016-12-01 πŸ‡ΊπŸ‡Έ
Island Bomb Problem 2016-11-20 πŸ‡ΊπŸ‡Έ
Area of a Regular Polygon 2016-11-08 πŸ‡ΊπŸ‡Έ
Centroid of a Triangle 2016-11-05 πŸ‡ΊπŸ‡Έ