| Github |
|---|
Hey there! I’m Pietro, currently living in northern Italy where I’m developing open source software, experimenting with local LLM projects and hanging out in nature. Feel free to reach out for anything tech related or not :).
| Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic | paper |
Converter for Java code to Smali bytecode for Android application reverse-engineering or educational purposes.
Command-line tool to test local language models on AIME problems. All OpenAI-compatible providers are supported (Llama.cpp, Ollama, LMStudio, etc…).
Mobile app to run local LLMs while far from home, without port forwarding. TransFire will route an OpenAI compatible API exposed by LMStudio or Ollama through your firebase instance of choice, encrypting all traffic with a pre-shared AES key. This was mainly an experiment to use Firebase RTDB in an unusual way.