Otaniemi Tracker Bot

Fri, 01 Sep 2023 06:00:23 +0600

The project

On the fall semester of 2023-2024 I went abroad at Aalto University, as a Erasmus+ student I needed some place to stay during the period I was in Helsinki. However, even though me and a friend manage to get a nice apartment, we soon find out that most of the apartments rented there didn’t have any furtniture and people brought their own. Unfortunately as exchange students we couldn’t just rent a van a bring our bed, table and chair from the other side of Europe.
We quickly noticed that people there had a Telegram group in which they buy and sell their furniture and other stuff. That was the door to find a good oportunity to spend the fewer days as possible without (at least) a bed, but as day were passing most of the good deals were ‘dibsed’ very fast (even in 1-2 seconds).
That’s when I thought we needed something to increase our chances. And a bot was the solution, that’s why I decided to create a bot that was added to the buy/sell group, so you are able to set alarms for any keyword, so you can mute the main group (which has above 100 messages a day) and keep updated with the deals that get published via the bot.

λ-Calculus Telegram Bot

Tue, 13 Jun 2023 06:00:23 +0600

The statement

The task was to build a lambda calculus interpreter. The interpreter also requiered to support the definition and use of macros. The interpreter had to run as a Telegram bot. It was needed that the bot could support sending the image of the tree interpratated, do ß-reductions and α-conversions.

The full statement can be found below or in the following site (in Catalan).

More than a complex project this just requiered spending time on making sure all the requierements were added after understanding how λ calculus works. I also decided to add some more features such as multiple languages and toogle some of the features.

Telegram on Miquel's Portfolio

Otaniemi Tracker Bot

The project

λ-Calculus Telegram Bot

The statement