I’m Idan. I build with AI.

I’m a software engineer. Here you’ll find my personal projects, the ideas behind them, and how they work.

Explore my projects

Selected projects

A few things I’m building.

New Life OS

An AI assistant that picks up where you left off.

Plans, preferences, and everyday tools, connected through a conversation in Telegram.

Private prototype · In active development

Inside the project

The idea: a useful assistant shouldn’t start from scratch every time you talk to it.

New Life OS brings conversations, saved preferences, and practical tools into one system. It can carry plans forward, keep track of updates, and help choose a next step that fits the moment.

I’m developing and using the prototype myself. The examples here illustrate planning and fitness tracking; the prototype isn’t publicly available.

New Life OSExample conversation

I have 20 minutes. What should I do next?

Remembered: back up photos. One task at a time.

Let’s pick up your photo backup.

Start: Choose one folder
Next: Copy it and check the files
Later: Save the remaining folders for next time

Illustrative conversations, not a live chat.

A side exploration

AI-assisted research

Exploring a mathematical question with AI, with the resulting proof checked in Lean.

Paper (PDF) Proof code (ZIP)

About the research

An independent exploration of the Erdős–Selfridge odd-covering question. AI helped with the exploration and proof development; Lean provides the formal check.

The result shows that systems of distinct moduli supported on at most seven odd primes cannot cover every integer. It’s a partial result, not a solution to the general question.

Research preprint, not peer-reviewed. Includes the reproducible Lean proof.

Built out of curiosity.

I like taking an idea far enough to find out what it can do. This is where I share the tools I build for myself, the experiments, and what I discover along the way.

Say hello — idanhacm@gmail.com