KERNEL 2026
Mathematics · Data Science · Open Source
A week-long workshop series organized by the KU Mathematics & Data Science Club (KUMSC). Seven days, seven learning repositories — covering the Linux terminal, Git, web basics, LaTeX, AI coding tools, Docker, edge deployment, and Lean 4. Open to all students at Kathmandu University.
Issued to all participants who complete the workshop. Each certificate has a unique ID and can be verified online.
Students & Partner organisations
Kernel is open to all students at Kathmandu University. It is especially designed for 1st and 2nd year students who want to start building things. We are also looking for organisations who want to work with us.
KU Students — all backgrounds
You do not need a CS background to attend. If you are studying mathematics, data science, engineering, or anything adjacent — this workshop was built for you. The first three days assume you have never touched a terminal.
- [x]One learning repository per day — clone it, follow along, build something.
- [x]Digitally verifiable certificate issued on completion.
- [x]Leave with a deployed project and a GitHub profile that shows real work.
- [x]Tools covered: Linux, Git, LaTeX, AI coding assistants, Docker, edge deployment, Lean 4.
Partner with KUMSC for Kernel
KUMSC is a student club with over 500 active members at one of Nepal's top engineering universities. We have run Infinity (our annual festival), Codewave, and partnered with MLH. Kernel is how we teach students your tools.
- [x]Your tools and documentation included in learning repositories that every participant clones.
- [x]Direct access to 500+ students in mathematics, data science, and engineering.
- [x]Brand placement on certificates, event materials, and our online presence.
- [x]Proven track record — we have run events with MLH, DoraHacks, and Kaggle.
Week at a Glance
The schedule runs from the absolute basics on Day 1 to theorem proving and live deployment by Day 7. Each day has a corresponding repository that you clone and work through during the session.
Programming & the Terminal
Most students in mathematics and data science never got a proper introduction to the terminal. Day 1 fixes that. We start from scratch — shell navigation, bash scripting, package managers, and environment setup.
Git & Open Source Workflow
Git is the foundation of all collaborative software work. Day 2 teaches you how to actually use it — not just the basics, but the full workflow that open-source projects run on.
Web Basics & LaTeX
Two things every technical student should know how to do: build a simple webpage and write a proper mathematical document. Day 3 covers both from scratch.
AI-Assisted Coding
AI coding tools are already part of how software gets written. Day 4 teaches you how to use them well — not as a crutch, but as a genuine accelerator for mathematical and data science work.
Docker & Containers
If your project only runs on your laptop, it's not done. Day 5 introduces Docker — the standard way to package software so it runs the same everywhere.
Edge Deployment
Day 6 takes the project you built in Day 5 and puts it on the internet. We look at how modern edge networks work and how to deploy to a global CDN without managing a server.
Formal Proofs, Dashboards & Closing
The final day brings it back to mathematics. We look at Lean 4 as a way to write proofs the computer can verify, build data dashboards in Power BI, and close with participant project showcases.
Workshop Day by Day
Each day has a dedicated learning repository on GitHub. You clone it at the start of the session, follow the structured exercises, and build something real. Below is what each day covers.
Programming & the Terminal
Most students in mathematics and data science never got a proper introduction to the terminal. Day 1 fixes that. We start from scratch — shell navigation, bash scripting, package managers, and environment setup.
Clone the Day 1 repository, configure your local environment, and run your first shell scripts without help.
- [x]Shell navigation — directories, files, permissions, and the PATH
- [x]Writing and running basic bash scripts
- [x]Setting up a development environment: VS Code, Zsh, and package managers
- [x]Understanding dotfiles and why developers obsess over them
Git & Open Source Workflow
Git is the foundation of all collaborative software work. Day 2 teaches you how to actually use it — not just the basics, but the full workflow that open-source projects run on.
Publish a repository, fork an open-source project, and submit a real pull request.
- [x]Git fundamentals: commits, branches, merges, and rebasing
- [x]Working with GitHub — forks, pull requests, and code reviews
- [x]Handling merge conflicts without panic
- [x]SSH keys, GPG signing, and keeping your Git identity clean
Web Basics & LaTeX
Two things every technical student should know how to do: build a simple webpage and write a proper mathematical document. Day 3 covers both from scratch.
Build a working webpage from the starter repository and compile a LaTeX document with proper mathematical notation.
- [x]HTML structure and CSS layout — Flexbox and Grid
- [x]Enough JavaScript to make a page interactive
- [x]LaTeX for mathematical typesetting — equations, figures, tables
- [x]Using Overleaf and compiling locally with TexLive
AI-Assisted Coding
AI coding tools are already part of how software gets written. Day 4 teaches you how to use them well — not as a crutch, but as a genuine accelerator for mathematical and data science work.
Work through mathematical problems faster using AI tools and understand where to trust the output and where not to.
- [x]Using Gemini Notebooks for interactive mathematical exploration
- [x]OpenCode and AI-assisted code generation for data scripts
- [x]Writing prompts that actually help — debugging, refactoring, documentation
- [x]Where AI tools fall short and when to rely on your own understanding
Docker & Containers
If your project only runs on your laptop, it's not done. Day 5 introduces Docker — the standard way to package software so it runs the same everywhere.
Containerize a web project from the Day 5 repository into a portable Docker image that runs on any machine.
- [x]What containers actually are and why they matter
- [x]Writing Dockerfiles — from simple to multi-stage builds
- [x]Docker Compose for running multi-container applications
- [x]Volumes, environment variables, and exposing ports
Edge Deployment
Day 6 takes the project you built in Day 5 and puts it on the internet. We look at how modern edge networks work and how to deploy to a global CDN without managing a server.
Deploy your Day 5 project live with a public URL on a global edge network.
- [x]How edge networks work and why they're different from traditional hosting
- [x]Deploying static sites and apps to edge platforms
- [x]Serverless functions at the edge — how they work and when to use them
- [x]Custom domains, DNS, and HTTPS
Formal Proofs, Dashboards & Closing
The final day brings it back to mathematics. We look at Lean 4 as a way to write proofs the computer can verify, build data dashboards in Power BI, and close with participant project showcases.
Understand what formal proofs look like in Lean 4, build a working data dashboard, and receive your digitally verifiable KUMSC certificate.
- [x]Introduction to Lean 4 — theorem provers and what formal verification means
- [x]Building a data dashboard in Power BI with a real dataset
- [x]Participant project showcases — share what you built this week
- [x]Certificate distribution and closing
What you will walk out with
Practical experience, a deployed project, a certificate, and a GitHub profile that shows you can actually build things.
Kathmandu University Mathematics & Data Science Club
Certificate of Completion
Presented to verified participant
For completing the 7-day Kernel 2026 open-source workshop series at Kathmandu University, October 2026.
Digitally verifiable, issued by KUMSC
Every participant who completes the workshop receives an official certificate from the Kathmandu University Mathematics & Data Science Club. Each certificate carries a unique serial number and can be verified online — something you can link to from a resume or LinkedIn.
A deployed project
By Day 6 you will have containerized a project in Docker and deployed it live on a global edge network. A real URL, not a screenshot.
Tools professionals actually use
Git, Docker, LaTeX, AI coding assistants, Lean 4, Power BI — taught properly, not just mentioned in passing.
First contribution confidence
Most students never contribute to open source because getting started feels intimidating. Day 2 removes that barrier for good.
People doing the same thing
Five hundred KUMSC members, the organising team, and anyone the club has worked with — you are joining that network.
About KUMSC
The Kathmandu University Mathematics & Data Science Club (KUMSC) is a student-run club at Kathmandu University, Dhulikhel. We focus on mathematics, data science, and open-source software — and we run actual events, not just meetups. Infinity is our annual festival. Codewave is its flagship hackathon. Kernel is how we teach students to actually build things.
Students across mathematics, data science, engineering, and adjacent departments.
Events we have run
Infinity
Annual event of KUMSC
Infinity is the annual flagship event of KUMSC — a festival of mathematics, data science, and technology featuring competitions, expositions, and community events.
Codewave
Flagship hackathon of Infinity
Codewave is the flagship event of Infinity. An open-source hackathon focused on mathematical computing and real-world software building, hosted on DoraHacks.
Infinity Hackday
Student hackathon, MLH partnered
A 24-hour student hackathon hosted under the Infinity event umbrella, run in partnership with Major League Hacking (MLH).
Margadarshan
Data science competition
A Kaggle-hosted data science competition organized by KUMSC, open to students across the university. Participants work with real datasets and build predictive models.
Partner with Kernel 2026
We are looking for organisations — companies, open-source projects, developer tool providers — who want to reach technically-minded students at Kathmandu University. This is not a logo-on-a-banner deal. Your tools can go directly into the learning repositories every participant works with.
500+ students in Nepal
KUMSC has over 500 active members at Kathmandu University — students studying mathematics, data science, and engineering. Kernel puts your tools in front of the most technically engaged subset of that group.
In the learning repos
Each day has a GitHub repository that participants clone and follow. Partner tools, documentation, and starter code can be included directly in those repos — not a slide in a deck, but something participants actually run.
Certificates & materials
Partner branding on participant certificates, event banners, and our digital channels. The certificates go out to every student who completes the workshop.
Partner with KUMSC for Kernel 2026
We are an active student community with a real track record — Infinity, Codewave (on DoraHacks), Infinity Hackday (MLH), and Margadarshan (Kaggle). Reach out to discuss what a partnership looks like for your organisation.
Email us about partneringRegister & get in touch
Sign up for Kernel 2026 or send us a message if you have questions.
Sign up to attend
Registration is through a Google Form. Open to all students — especially welcome if you are in your 1st or 2nd year at KU.