wadaboa / randomkcnfsolver

Random KCNF formulas generator and WalkSAT solver implementation for AI class at UNIFI

Hi there

👨 About me

#!/usr/bin/python
# -*- coding: utf-8 -*-


class MySelf:

    def __init__(self):
        self.name = "👀 Alessio Falai"
        self.languages = ["🇮🇹 it_IT", "🇬🇧 en_GB"]
        self.education = {
            "BSc": {
                "Degree": "🖥️ Computer Science",
                "University": "🟦 Florence"
            },
            "MSc": {
                "Degree": "🤖 Artificial Intelligence",
                "University": "🟥 Bologna"
            }
        ]
        self.roles = ["👨‍🔬 Applied/Data Scientist", "🧑‍💻 Software Engineer"]
        self.hobbies = ["⌨️ Mechanical keyboards", "📸 Photography", "🌍 Travelling", "🎒 Backpacks"]
        self.interests = ["💬 TTS", "🌳 GNNs"]
        self.website = ["🌐 https://alessiofalai.it"]

    def hello(self):
        print("Thanks for dropping by, hope you find some of my work interesting.")


me = MySelf()
me.hello()

📊 Some statistics

📕 Latest blog posts

• Tackling the Flatland challenge
• How to create an impressive GitHub profile README
• Jekyll + Github Pages + Travis CI
• Java interfaces vs. Scala traits
• The Euler number in blob analysis

⚡ Recent GitHub activity

1. ❗️ Closed issue #2 in Wadaboa/titanet