Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
Posts
Securing your home server behind a proxy with wireguard
Published:
Do you have a home server that you want to access securely from outside your home network, but it has no static IP, you don’t want to open ports on your router, and you want to keep your home IP address private? This post will guide you through setting up a proxy using wireguard to securely access your home server from anywhere.
portfolio
Synthetic Data Generation With A Proof Assistant For Training Large Language Models
Master’s thesis
A meta-programming framework in Lean for synthetic data generation through forward reasoning.
Molecule Retrieval with Natural Language Queries
Academic project
Data challenge mixing natural language processing and graph neural networks.
CPOP: Continuous-piecewise-linear Pruned Optimal Partitioning
Academic project
Implementation of a changepoint detection method.
Stock Classification from High Frequency Market Data
Academic project
Data challenge on market data with a distribution shift.
Variational EM algorithm for the Stochastic Block Model
Academic project
An implementation of an EM algorithm for the Stochastic Block Model.
Lymphocytosis classification
Academic project
Data challenge on medical image classification.