First steps with Category Theory and OCamlIntroduction Category theory is an abstrac mathematical framework that had a huge influence on pure functional programming design patterns. The abstractions and laws that come bundled with the mathematical concepts allow us to write safer and composable interfaces, very prone to equational reasoning, at the price of a steeper learning curve. If you attempt to write some relatively modern Haskell code, you will inevitably have to deal with Monoids, Functions, Monads, Lenses and whatnot typeclassopedia.
34 min read -
Jun 4, 2017
On teaching mathematics - By V. I. ArnoldThis is an extended text of the address at the discussion on teaching of mathematics in Palais de Découverte in Paris on 7 March 1997.
Mathematics is a part of physics. Physics is an experimental science, a part of natural science. Mathematics is the part of physics where experiments are cheap.
The Jacobi identity (which forces the heights of a triangle to cross at one point) is an experimental fact in the same way as that the Earth is round (that is, homeomorphic to a ball).
19 min read -
Feb 6, 2015
Left pipe in HaskellIf you read this blog, you know that I am very biased by having worked with unix shells for almost two decades and that I am addicted to the use of pipes (see e.g. Piping with Swift). I really find much more natural to see data moving from left to right.
Yesterday I was thinking that in Haskell everything is an expression and that you can easily define infix operators. Thus it must be possible to implement a shell-like pipe.
2 min read -
Nov 21, 2014
What Problems to Solve - By Richard FeynmanA former student, who was also once a student of Tomonaga’s, wrote to extend his congratulations. Feynman responded, asking Mr. Mano what he was now doing. The response: “studying the Coherence theory with some applications to the propagation of electromagnetic waves through turbulent atmosphere… a humble and down-to-earth type of problem."
Dear Koichi,
I was very happy to hear from you, and that you have such a position in the Research Laboratories.
4 min read -
Nov 21, 2014
Socks proxy with sshWhen you work in the University, it is very likely that during a trip or the weekend you urge to connect via the University to have access to Journals and other academic resources.
Often enough this requires long and complicated procedures involving the setup of rarely updated proprietary VPN softwares that sometimes like to install their obscure helpers to monitor the traffic and prevent you to open malicious websites. Helpers that would keep working in background sending to unspecified servers all your business even when the VPN is off…
2 min read -
Oct 31, 2014
Why privacy matters by Glenn GreenwaldI am so sorry that I needed so much time before watching this wonderfully inspiring TED video.
I really admire Snowden, Greenwald and all the people that are fighting to denounce the dangerous path that we are following.
It’s time to take action, even the smallest one coubl make a difference. Maybe we don’t see the threat now, but we cannot now what will happen in the future.
1 min read -
Oct 19, 2014
Fix WiFi on OS X by tweaking the MTUAfter I had installed the first developer beta of Yosemite I started experiencing serious WiFi issues at home, with the connection dropping after few seconds of activity. Only apparent solution was to disable and reenable periodically the wifi until it started working.
The issue was not present whene I was in my office or using public wifi’s around. And removing the network setup to have them reset to default didn’t help.
3 min read -
Oct 15, 2014
On Advanced Functional ProgrammingIn few days, tomorrow if I’m not mistaken, you will be able to attend the new Erik Meijer’s introduction to Functional Programming on edX. If you have any interest in mathematics or programming, I am sure that this is something that you have to watch.
I am saying new because a similar course was held in 2010 by the same person, you can still watch it here: Erik Meijer’s MSDN Channel 9 lecture series on functional programming
2 min read -
Oct 15, 2014
Piping with SwiftLately I’ve been playing with Apple’s newborn Swift quite a lot. I have to say that I am really impressed, and except for few things that I hope will be smoothed in the next months (years?), I find Swift really enjoyable and readable.
However, there is one feature that I really miss. Something that I daily use with slightly different syntaxes in Sh, Haskell, Julia and Elixir: the pipe!
Can we implement a kind of pipe in Swift?
4 min read -
Jun 16, 2014
Implementing Either type in SwiftIt has been only a couple of days since Apple announced and released Swift. It has possibly been the most important and interesting announcement of Apple in the last few years and started an amount of discussions around the web.
With the hours passing, we’ve found out that there was at least another Swift in the history of programming languages (with a similar icon) and that Swift is under development since 2010 and its father is Chris Lattner, creator of clang and LLVM.
3 min read -
Jun 4, 2014
