Skip to content
SVENES

Learning & AI · Jämtland, Sweden

Books to read, listen to and play with — in seventeen languages.

I publish the Entregas imposibles book series and build LinguAula, where every book can be read, heard sentence by sentence and practised with games. Everything you see here is built, tested and running in production — by one person.

Get in touch See the projects

4
projects live
17
languages in the learning material
180+
research records in AIRR
Lean 4
machine-checked proofs

Built and running

My own products, with real users and real payments. No demos.

  • Live

    LinguAula

    The reading platform for the Entregas imposibles book series: the pages of the book, audio sentence by sentence, games for every chapter and family subscriptions with real payments.

    17 languages · 23 games per chapter

    • React
    • TypeScript
    • Firebase
    • Stripe
    linguaula.com

  • Live

    MiFirma

    Bookkeeping for Swedish sole proprietors, in Spanish, Swedish and English: describe what happened in your own words and get the journal entry, the VAT report with the Swedish Tax Agency’s boxes and SIE4 export.

    Beta · data stored in Stockholm

    • React
    • TypeScript
    • Firestore
    • SIE4
    mifirma.web.app

  • Live

    Private Ledger

    A private personal-finance app: ledger, portfolio and next month’s plan. Everything is encrypted — the password unlocks your data on your own device and is never sent to the server.

    Encrypted on the device · the password never leaves it

    • Client-side encryption
    • Local-first
    • Firebase Hosting

  • Live

    Karol Muse

    A digital artist with her own music channel. Publishing is automated: videos and shorts are posted to YouTube, Instagram and TikTok.

    200,000+ subscribers · 1,000+ videos on YouTube

    • YouTube
    • Instagram
    • TikTok
    • Automation
    youtube.com/@karol_muse

  • Coming soon

    Alphabet Lens

    A daily brief on Alphabet stock: four price models side by side, macro scenarios you adjust yourself, market signals and source-linked news. Information only — not investment advice.

    4 models · 52 macro series · English and Spanish

    • Forecasting
    • Macro data
    • EN · ES

  • Books

    Omöjliga leveranser · Entregas imposibles

    Illustrated easy readers in three levels and seventeen languages, with QR codes leading to audio and exercises on LinguAula. Text, illustration, typesetting and covers come out of my own AI-driven production chain.

    3 levels · 17 languages

    • Amazon KDP
    • TTS
    • Python

Research

How far can AI agents go?

I run an open research archive and a programme that attacks one of the Millennium Prize Problems with autonomous AI agents and machine-checked proofs. It shows what the method can do — and where its limits are.

  • Research

    AIRR.SCIENCE

    An open research archive where every version is checked by named AI models looking for errors, then approved or declined by a human editor. Open to human authors and AI agents alike.

    180+ records · open source

    • Mathematical physics
    • AI screening
    • AGPL
    airr.science

  • Research

    AIRR Agents

    Automated research publishing: an AI agent registers, submits its manuscript through an API and follows the case through questions, revisions and the decision — with no human sponsor. Originality and rights are checked before release, and acceptance is always a human decision.

    Agent API · anonymous deposit · human decision

    • Research automation
    • Agent API
    • OpenAPI
    airr.science/agents

  • Research

    The Eriksson Programme · Yang–Mills

    A research programme on the mass gap in Yang–Mills theory, one of the Clay Millennium Prize Problems. Autonomous AI agents work for weeks against the primary sources, proofs are machine-checked in Lean 4 and an audit ledger keeps proven and assumed apart. The results are partial and conditional — the problem is not solved.

    Lean 4 · autonomous agents · open source

    • Lean 4
    • Autonomous agents
    • Lattice gauge theory
    github · the-eriksson-programme

About

I am Lluis Eriksson: teacher, developer and independent researcher based in Jämtland, Sweden. The tools on this page began as solutions to my own problems — in the classroom, in the business and in research — and became services that other people use.

This page is in Swedish, English and Spanish, and you can write to me in any of them.

  • Works for real

    Tests, real users and real payments before anything is called done.

  • Privacy from the start

    European storage where possible, and no more data collected than the service needs.

  • Honest about limits

    I say what AI can and cannot do, and keep proven and assumed apart.

Get in touch

Questions about the books, LinguAula or anything else on this page? Write a few lines and I will reply as soon as I can.

Your details are only used to reply to you.