Registration

Welcome

Open Source Dev Containers with DevPod

Hrittik Roy

Many developers are excited about Dev Containers, but until now, people needed to use a managed service like Codespaces or Gitpod to experience that Dev Container magic. DevPod is a new open-source tool that allows users to launch Dev Containers with any infrastructure they have available.

DevPod introduces a way to define a development environment that can then be run on any cloud infrastructure or even on a localhost machine using Docker or Kubernetes locally or on the public cloud. This talk is all about how you can use DevPod to run your developer workloads easily.

By the end of this talk, you'll be able to save costs without vendor lock-in with the open-source tool and the devcontainer.json specification that makes it compatible with VS Code and many other IDEs, as well as tools like Codespaces. Let's explore how DevPod works and dive into a quick demo that showcases how it can help developers and teams standardize their development environments.

(Ab)using CSS Grid to Build Timetable View on the Web

Kenrick Anggara

When building timetable view on the web, I (ab)used CSS Grid to avoid having to do absolute positioning. While there are many things I get for free, there are also several challenges from choosing this solution.

Show & Tell ✨

We're trying something experimental 🧪: A show & tell! If you're interested, you have up to 5 minutes to showcase something on the spot and we'll open the floor for Q&A as well.

Anything nerdy is accepted:

• Personal project
• Framework, tool or library that you really enjoy using
• Hardware hacks
• Project demo
• Science experiment
• etc.

(Yes, we made a mistake in the email mentioning the incorrect time 😓)

Trade-offs between open-source database management systems

Ivan Blinkov

There are over a hundred open-source database management systems (DBMS) on the market, and it might be daunting to figure out which ones will serve well as the long-term foundation of your data infrastructure. As a result, people often tend to stick with the database technologies they are used to, even if the circumstances of a new organization or project are significantly different.

In this talk, we'll explore a systematic approach to navigating the open-source DBMS market that involves various ways to narrow it down and specific trade-offs that need to be considered to come up with a proper solution for your particular situation.

From Reality to Virtual: Building a Digital Twin of My Desk

Lye Jia Wei

Here’s a short write-up for your talk:

"Exploring the Virtual Desk: Crafting a Digital Twin with Three.js"

In this session, I’ll walk through the process of building a digital twin of my desk, bringing the physical world into a virtual space using Three.js. This web-based application showcases how to use 3D rendering to replicate real-world environments in a browser. I’ll cover the technical challenges, tools, and techniques involved in capturing and visualizing my workspace, transforming it into an interactive digital model. Whether you're curious about digital twins, web development, or 3D visualization, this talk will provide practical insights and inspiration for your own projects.

Break

Speed Up Your LLMs: Introduction to Triton GPU Programming

Joel Lee

Learn how to optimize large language models through GPU programming - no CUDA experience required. This talk introduces Triton, a Python-based language by OpenAI that makes writing efficient GPU code accessible to Machine Learning researchers and engineers.

We'll cover:

• How custom GPU kernels can dramatically improve model performance
• The basics of the CUDA programming model
• Hands-on examples of writing high-performance GPU code in Triton's Python-like syntax
• Common optimization patterns for LLM operations

Ratatouille IRL: Building a Real-Life Remy That Controls Me

Athena Leong

What if Pixar's "Ratatouille" came to life? Meet my robotic Remy: it perches on my head, moves its tiny arms, and—just like in the movie—controls my arm… but with the help of ⚡🔌! And what happens when I let Remy guide me in the kitchen to recreate the classic tomato and egg dish? It's tech meets culinary chaos you don't want to miss!

The Correspondence Between Proofs and Programs

Jules Poon

The Curry Howard Correspondence states a surprising link between two worlds: The Mathematical world of proofs and the world of programs. First noticed in the 1930s, it is the core insight that drives Interactive Theorem Provers that formally encode and verify complex mathematical arguments, and powers applications such as Formal Verification.

But what does this correspondence mean?

This talk aims to illustrate in detail one of the first examples discovered of such a correspondence, loosely based on observations Haskell Curry first noticed in the 1960s.

We construct a toy mathematical universe and a simple programming language, and illustrate exactly how each theorem in the toy universe corresponds to a type in the programming language, where a program satisfying said type can be ran to produce a proof of the theorem.

This talk is catered for programmers with some idea of what types are, but otherwise will be accessible for beginners as the content will be self contained.

Break

Build your own React/TanStack Query!

JJ Lee

React/TanStack Query is one of the most popular data synchronisation libraries in recent times, but what is it actually and do i even need it?

This is a quick introduction to the problem this library tries to solve, and a quick dive into the internals by re-implementing a "lite" version ourselves.

I know your NRIC

Javier Lim

How secure is an NRIC, really? Let's talk about NRICs, and how they relate to security: Both from a personal and developer's viewpoint. Along they way, we'll reverse NRICs based on public information, look at best practices, recommendations, and study an NRIC vulnerability that could have affected 4 million people.

Exploring Splat-tacular Realms with Gaussian Splats

Prakash Perumal Haridas

Ever wished there was a more immersive way to re-experience places you've been to or visited instead of just looking back at photos and videos? Say hello to gaussian splats! Discover how you can easily create your own interactive and immersive 3D volumetric renderings of a location or a subject of interest with the power of gaussian splatting. The talk will also briefly cover other potential use cases of gaussian splats in areas like media and education.

Building the Future of CS Education in Singapore

Zeyu Yao Leo Edwards Saumil Anand

What if every student, regardless of their background or resources, had a space to create with code? In this discussion, we explore how rethinking computer science education can empower the next generation of makers. At Hack Club, we believe coding is a superpower—one that turns students into creators capable of shaping the world around them. From game jams where artists, musicians, and coders come together to create, to initiatives rewarding students for coding personal projects, we’re redefining how students experience CS education. We’ll also share our vision for the future—expanding access to these opportunities and ensuring every student can join this movement of creativity and innovation.

Photo taking with speakers and attendees

1. Attendees photo taking
2. Speakers photo taking