CSP (better, ASP) in Clingo to bet FantaSanremo

         theory · miscellaneous      theory · clingo · csp · asp · sanremo · fantasanremo

Preamble Recently (false) I became nostalgic and fascinated with stuff from the past, but someone told me many times I’m a future-man cause I tend to project everything in my life. So let’s play with the future - TA-DA! Sanremo Festival, precisely the 2023 Edition1 is coming to town (not mine) so I decided to play for real to FantaSanremo. What is this? Formally, FantaSanremo was born in 2020 from the idea of a group of friends working in the entertainment industry (musicians, music teachers, sound technicians) who are fans of the Sanremo Festival and were inspired by the Fanta-Game of Thrones, a fantasy game based on the TV series of the same name.

The Deutsch Algorithm

         theory · quantum · algorithms      theory · quantum · parallelism · q · informative · ibm · deutsch · algorithm

Much more than a post (again) This is a repost of an old article :) What is the quantum theory? As said by quantumexperience official site by IBM, it’s an elegant mathematical theory able to explain the counterintuitive behavior of subatomic particles, most notably the phenomenon of entanglement. In the late twentieth century it was discovered that quantum theory applies not only to atoms and molecules, but to bits and logic operations in a computer.

Jails: confining the omnipotent root

         repost · theory · miscellaneous      theory · jails · freebsd · container

Preamble This is a repost of an old article :) Recently I became nostalgic and fascinated with stuff from the past, so I decided to create a Vagrantfile to work with FreeBSD1. Why FreeBSD? Because as a developer, I really like Docker and I started looking in the past to find its historical birth: in fact, as a concept, Docker is no so recent as you think, and I think it exists also because of the works of some other bigs from 80’, such as Poul-Henning Kamp2.

T.H.I.N.K: is all about problems, not data

         theory · miscellaneous · life      theory · data · fundamentals · approach · work · thoughts · life

Intro Mute post Bye

A journey through the network - Hands on (Part 1)

         theory · network      theory · network · iso/osi · tcp/ip · saga

Prelude A long long time ago (I can still remember as Madonna sang) I started to wrote some posts about the network. For those who missed the previous posts, you can read the introduction, the physycal layer and the datalink layer respectively. As a main source I use Computer Networks and TCP/IP Illustrated. In the previous posts I had to go into details about how some parts of the physical layer works but - by going forward through the layers - concepts belonging to separate historical standards - OSI and IP - will intertwine and this entails some troubles from a logical point of view.

Security and Docker: tips and tricks

         theory · docker      container · docker · security · informative · hacking

Introduction Everyone use Docker and normally when something is so diffused, there’s always someone else that try to figure out how to leverage the diffusion to do bad things (you know what happened in Breaking Bad). Only a few months ago it happened that someone pushed some malicious software - cryptomining - over lot of images: this happened because, despite the fact that everyone use Docker, not so many people are really aware about security over Docker.

The Deutsch Algorithm

         theory · quantum · algorithms      theory · quantum · parallelism · q · informative · ibm · deutsch · algorithm

Much more than a post (again) What is the quantum theory? As said by quantumexperience official site by IBM, it’s an elegant mathematical theory able to explain the counterintuitive behavior of subatomic particles, most notably the phenomenon of entanglement. In the late twentieth century it was discovered that quantum theory applies not only to atoms and molecules, but to bits and logic operations in a computer. This realization has been bringing about a revolution in the science and technology of information processing: I decided to write some notes to better explain, from a physics-agnostic computer scientist’s point of view XD, what I understood - and it is certainly wrong - about Q until now and why I think it’s an amazing field for computer science.

Machine Learning is useless

         theory · miscellaneous · life      theory · ml · fundamentals · approach · work · thoughts · life

Preamble I would like to say “recently”, but actually is almost a few years I heard - and I’m still hearing a lot about Machine Learning and I didn’t want to believe it until now - believe me, I truly didn’t want to believe it - but yes here we are Machine Learning ufficially replace Big Data as buzzy word of the this past years, most problably will be still the word of the next year and I could not be more sad, frustrated, and worried about.

ACT-R by John R. Anderson - Part III

         theory · cognitive      theory · cognitive · architecture · reasoning · knowledge · representation

How my Elman network learnt to count

         coding · golang · theory · algorithms      coding · golang · ann · elman · adding · neural · networks

Introduction This is actually a sort of back-to-the-future post because it’s related to something I completed one year ago: I built this Elman network and it learnt to count. What I shame, I forgot it, now it’s kind of its first birthday so let’s celebrate :D This is Elman, the best in class in adding int32 numbers. For everybody who already knows what I will talk about (what?!), here’s the Github repo.