Miquel's Portfolio
  • Home
  • About
  • Skills
  • Experience
  • Education
  • Projects
  • Projects
  • Contact
  • Dark Theme
    Light Theme Dark Theme System Theme
  • Tags
  • AI
  • ANTLR4
  • Bot
  • C#
  • C++
  • Clips
  • College
  • Competition
  • Figma
  • Java
  • Numpy
  • Pandas
  • PDDL
  • Python
  • React
  • Scikit-Learn
  • Telegram
  • TypeScript
  • Unity
  • Videogame
  • Vite
Hero Image
Otaniemi Tracker Bot

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.

  • Bot
  • Telegram
  • Python
Friday, September 1, 2023 | 2 minutes Read
Hero Image
λ-Calculus Telegram Bot

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.

  • College
  • ANTLR4
  • Python
  • Telegram
Tuesday, June 13, 2023 | 1 minute Read
Navigation
  • About
  • Skills
  • Experience
  • Education
  • Projects
  • Projects
Contact me:
  • miqueltorner9@gmail.com
  • miquelt9
  • Miquel Torner Viñals
  • Miquel Torner Viñals

Toha Theme Logo Toha
© 2026 Copyright.
Powered by Hugo Logo