Verification Is Cheap Now. Validation Isn't.
On AI-generated code, the difference between proving code correct and knowing it's the right thing to build, and how thin my own review process actually is.
Read more →I have some thoughts...
I write occasionally about my thoughts, experiences, and experiments.
On AI-generated code, the difference between proving code correct and knowing it's the right thing to build, and how thin my own review process actually is.
Read more →On AI coding agents, the slow years spent learning Scala, and what happens to the idea of a 'good coder' once code stops being the thing you have to make.
Read more →A summer trip to India, an old box of electronics projects, and a look back across eighteen years of hardware, robotics, and control.
Read more →Reflections on using AI-assisted programming for research prototyping, from years of wrestling with Scala to building tools in unfamiliar languages overnight.
Read more →An Emacs-based workflow for efficiently grading 40 student exam PDFs one question at a time during pandemic-era online teaching.
Read more →Documenting five years of iterating on automated assignment checking using GitHub Classrooms and Travis CI for an industrial automation course.
Read more →A step-by-step guide to syncing Overleaf projects with GitHub using Git, enabling local editing and reliable backups for academic writing.
Read more →An essay exploring the ethical and sustainability dimensions of industrial automation research, written as part of a course on sustainable development.
Read more →Setting up Travis CI to automatically build and deploy a LaTeX paper from a private GitHub repository.
Read more →Reflections on a year spent building a Formula Student race car, and what the project actually taught me.
Read more →What a year on the Chalmers Formula Student project actually teaches you, beyond the 15 credits it's worth on paper.
Read more →Thoughts on the debate that followed India's Mars orbiter launch, and what a $75m project can and can't be weighed against.
Read more →A month into CFS14: settling on a team goal, a subgroup goal, and closing out the pre-study phase with data-driven decisions.
Read more →Selected as a project engineer for vehicle electronics on the Chalmers Formula Student 2014 team.
Read more →A month of comparing India and Sweden on education, politics, and how people spend time outside their main job.
Read more →Cooking without spices, flea markets, Slottsskogen, island-hopping the archipelago, and a day trip to Denmark.
Read more →First impressions of Göteborg: the light, the parks, the pedestrian-first streets, and looking forward to a first winter.
Read more →FSMK's first distributed, state-level free software fest, organised with students at PES College of Engineering, Mandya.
Read more →A talk on product development with free hardware at FSMK's five-day residential workshop at SVIT.
Read more →From participant at IIT Kanpur last year to organizer for FSMK's winter workshop at SVIT, Rajanukunte this year.
Read more →Making a printed circuit board at home with a laser printer, a clothes iron, ferric chloride and an aquarium pump.
Read more →On free software, its rough edges, and why building a missing KiCad component was worth the few extra hours.
Read more →Restoring a lost Arduino bootloader, or turning a plain ATmega into an Arduino chip, with a USBasp or a second Arduino.
Read more →A last-minute train trip to Mysore for an IEEE student-chapter event, a zoo visit, and an ad-hoc talk that somehow worked out.
Read more →An introduction to freedom hardware at Tuxedo, SJCE Mysore's yearly FOSS event.
Read more →NSK Arduino boards would not program on Ubuntu. Tying the reset pin high fixed it.
Read more →A trainbound trip to a tech fest at IIT Kanpur, thirty-six hours each way, and the memories that came out of it.
Read more →Ten steps for getting past the learning curve of a first electronics project, from problem statement to testing.
Read more →Talks, a student project exhibition and a PCB design workshop that drew five times the registrations we planned for.
Read more →What the Freedom Hardware Movement was, why FSMK and PhotoElectricChefs started it, and what counted as freedom hardware.
Read more →Why Aravind and I started PhotoElectricChefs, what the name could mean, and what we planned to put on it.
Read more →A small demo showing how the DCT, the transform behind JPEG compression, packs most of an image's energy into just a few coefficients.
Read more →