💭 Advancing ideas @ AmeyArc_

Namaskar, I’m Amey. This is my space for notes, reflections, and ideas in progress. Some thoughts are fully formed, others are just sparks, but all are here to explore, share, and grow. I hope these notes spark your thinking, and this space grows with every reflection, including yours.

Seven Years, and the Work That Travelled Furthest

I am Amey Thakur, and I opened github.com/Amey-Thakur on 5 September 2019, then left it empty for 425 days. Today, on its seventh anniversary, I read every repository on it in one sitting, oldest first. Three things became impossible to miss: the work that reaches people is the work a stranger can run without asking me anything, the quiet years were not idle years, and public work decays silently unless somebody audits it on purpose. This is the full account, with the figures, and what I gave every repository before closing it.

September 5, 2026 · 20 min · Amey Thakur

A Stack-Overflow Denial of Service in Google's OSV-Scanner

OSV-Scanner reads the licence text of every package it scans, and it parsed that text with a recursive descent that had no depth limit. Roughly three megabytes of open brackets exhausted the goroutine stack. In Go a stack overflow is a fatal error rather than a panic, so recover cannot catch it and one malformed package ended the entire scan. This is the report, the forty lines that fixed it, and what contributing upstream to Google actually involved.

September 2, 2026 · 10 min · Amey Thakur

Frame-Synchronous Hand Gesture Detection by Projected Winding Order

A gesture recogniser that drives an interface is judged by whether it eventually fires. One that drives a visual effect inside a recording is judged by when it fires, because the viewer sees the gesture and its consequence in the same footage and will attribute one to the other only if they coincide. For the rotation of an open hand about its long axis, the instant can be obtained directly and exactly from projective geometry, with no classifier, no training data and no calibration. This is the full write-up of the paper.

August 31, 2026 · 18 min · Amey Thakur

When an Answer Stops Being Enough

A competition organised by Terence Tao and Damek Davis asked whether mathematical reasoning can be compressed into a page a language model reads before answering. Then its second stage removed the thing that made the first stage easy to fake: an answer was no longer worth anything unless it arrived with a proof a machine would check. This is what I built for both stages, and the moment that convinced me a confident answer and a correct one are completely different products.

August 31, 2026 · 7 min · Amey Thakur

Twenty-Five Thousand Groups, and the Ones Nobody Can Reach

There is a question in mathematics that has been open since the 1800s, and for one slice of it you can now attack it by search. I built a factory that produced degree-24 polynomials, submitted ten thousand scoreable pairs to a competition organised with the LMFDB and Terence Tao, and finished 54th of 256 with a score of 2.36. The interesting part is not the rank. It is that I can prove, with numbers, exactly why the score was small, and the answer says something about how these searches should be run.

August 15, 2026 · 7 min · Amey Thakur

Can a Neural Network Learn Exact Arithmetic?

A calculator multiplies two thousand-digit numbers and takes the remainder without thinking about it. Ask a neural network to do the same thing and it becomes an open research question, one that Terence Tao helped set as a competition. The answer has to be exact, because a remainder that is off by one is simply wrong. This is what I submitted to the SAIR Foundation’s Modular Arithmetic Challenge, why the obvious approach cannot work, and the one idea that made the difference.

August 12, 2026 · 7 min · Amey Thakur

A Modular Zero-Shot Pipeline for Accident Detection, Localization, and Classification in Traffic Surveillance Video

Special thanks to Sarvesh Talele for his meaningful contributions, support, and wisdom that helped shape this work. Traffic cameras record the circumstances of a great many collisions, but methods that read those recordings automatically are usually trained on annotated footage from the same camera. This work asks what can be recovered without any labelled real-world data at all, using three independent modules and only pre-trained weights.

April 5, 2026 · 14 min · Amey Thakur

Attention Is All You Need – Understanding the Mathematics of the Transformer

The mathematics of the Transformer, worked through from the 2017 paper by Vaswani and colleagues. Scaled dot-product attention, why the scaling factor is there, multi-head attention, positional encoding, and the encoder and decoder stacks, each derived rather than asserted, for a reader who wants to understand the architecture rather than only use it.

March 16, 2026 · 7 min · Amey Thakur

Adaptive Cruise Control with Arduino & Simulink

An Arduino speed control system with three modes: Normal, Cruise and Adaptive Cruise Control, where an ultrasonic sensor holds a safe distance from the vehicle ahead and the current speed and mode are shown on an LCD. Covers the components, the circuit, the Simulink model, the control logic, and the measured behaviour of the finished build in every mode.

July 24, 2024 · 23 min · Amey Thakur

Zero-Shot Video Generation

Text2Video-Zero, from Picsart AI Research, turns a text-to-image diffusion model into a zero-shot video generator with no video training data at all. This write-up explains the method, the motion dynamics and cross-frame attention that keep a generated sequence coherent, and reports what the model produced when run, including where the results break down.

November 22, 2023 · 16 min · Amey Thakur

Multiple Linear Regression

Regression analysis in supervised machine learning, from Simple Linear Regression to Multiple Linear Regression, with the mathematics stated plainly and a worked implementation predicting grades from study hours. Covers the assumptions the model rests on, how the coefficients are fitted and read, and how to tell a fit that generalises from one that only looks good.

September 29, 2023 · 11 min · Amey Thakur

Efficient Home Insulation

Inadequate home insulation in Canada drives up energy use, household costs and carbon emissions, and the cold season makes it expensive. This study examines where heat is actually lost in a house, compares insulation materials and their effective R-values, sets the work against the National Building Code and the Sustainable Development Goals, and reports what a better-insulated envelope is worth in energy and emissions terms.

April 5, 2023 · 17 min · Amey Thakur

QuadTree Visualizer

Special thanks to Mega Satish and Hasan Rizvi for their meaningful contributions, support, and wisdom that helped shape this work. We propose to develop a program that can show a QuadTree view and data model architecture. Nowadays, many digital map applications have the need to present large quantities of precise point data on the map.

April 27, 2022 · 21 min · Amey Thakur

Online Chess Game

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. We developed an online chess game in Node.js for both single-player and multiplayer modes and deployed it on Heroku. The game follows Human-Machine Interaction principles and offers a clean, attractive, and user-friendly interface.

April 15, 2022 · 19 min · Amey Thakur

A Comparative Study on Distributed File Systems

Special thanks to Mega Satish and Hasan Rizvi for their meaningful contributions, support, and wisdom that helped shape this work. Distributed File Systems form the backbone of large-scale data storage. Systems like the Hadoop File System, Google File System, and Network File System have changed how data is managed across servers.

March 31, 2022 · 12 min · Amey Thakur

Clock Synchronization in Distributed Systems

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. Clock discrepancies are troublesome in distributed systems and pose major difficulties. To avoid mistakes, the clocks of separate CPUs must be synced. This is to ensure that communication and resource sharing are as efficient as possible.

March 31, 2022 · 28 min · Amey Thakur

Pizza Ordering Chatbot Using Amazon Lex

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. Because of breakthroughs in machine learning and deep learning, which are causing a change in every industry area and managing various types of activities better than people. The majority of monotonous jobs that were formerly performed by humans are now replaced by AI.

March 19, 2022 · 10 min · Amey Thakur

Text Summarizer Using Julia

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. The purpose of this paper is to introduce the Julia programming language with a concentration on Text Summarization. An extractive summarization algorithm is used for summarizing. Julia’s evolution and features, as well as comparisons to other programming languages, are briefly discussed.

January 24, 2022 · 12 min · Amey Thakur

Optimizing Stock Trading Strategy With Reinforcement Learning

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. The core aim of this project is to take raw data, analyse it, and perform exploratory data analysis to clearly understand the underlying patterns. Using these insights, we build and train a Neural Network model to achieve accurate results. Finally, the complete system is deployed as a web application.

September 22, 2021 · 17 min · Amey Thakur

Bangalore House Price Prediction

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. We propose to implement a house price prediction model of Bangalore, India. It’s a Machine Learning model which integrates Data Science and Web Development. We have deployed the app on the Heroku Cloud Application Platform. Housing prices fluctuate on a daily basis and are sometimes exaggerated rather than based on worth.

September 7, 2021 · 16 min · Amey Thakur

Neuro-Fuzzy: Artificial Neural Networks & Fuzzy Logic

Special thanks to Karan Dhiman for his meaningful contributions, support, and wisdom that helped shape this work. Neuro Fuzzy is a hybrid system that combines Artificial Neural Networks with Fuzzy Logic. Provides a great deal of freedom when it comes to thinking. This phrase, on the other hand, is frequently used to describe a system that combines both approaches.

September 6, 2021 · 18 min · Amey Thakur

Generative Adversarial Networks

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. Deep learning’s breakthrough in the field of artificial intelligence has resulted in the creation of a slew of deep learning models. One of these is the Generative Adversarial Network, which has only recently emerged. The goal of GAN is to use unsupervised learning to analyse the distribution of data and create more accurate results.

August 27, 2021 · 34 min · Amey Thakur

Fundamentals of Neural Networks

Special thanks to Archit Konde for his meaningful contributions, support, and wisdom that helped shape this work. The purpose of this study is to familiarise the reader with the foundations of neural networks. Artificial Neural Networks (ANNs) are algorithm-based systems that are modelled after Biological Neural Networks (BNNs).

August 10, 2021 · 43 min · Amey Thakur

Adversarial Open Domain Adaption Framework (AODA): Sketch-to-Photo Synthesis

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. This paper aims to demonstrate the efficiency of the Adversarial Open Domain Adaption framework for sketch-to-photo synthesis. The unsupervised open domain adaption for generating realistic photos from a hand-drawn sketch is challenging as there is no such sketch of that class for training data.

July 28, 2021 · 20 min · Amey Thakur

Car Rental System

A fully integrated online car rental system: customers register, browse the fleet, and reserve a vehicle by location and dates, while the operator manages cars, bookings and users from an administrative side. This write-up covers the requirements, the use case, data flow and sequence diagrams, the MySQL schema, the PHP implementation, and screenshots of every screen in the finished system.

July 17, 2021 · 15 min · Amey Thakur

Digital Bookstore

Special thanks to Mega Satish for her meaningful contributions, support, and wisdom that helped shape this work. The project’s main goal is to build an online book store where users can search for and buy books based on title, author, and subject. The chosen books are shown in a tabular style and the customer may buy them online using a credit card.

July 17, 2021 · 12 min · Amey Thakur

White-Box Cartoonization: An Extended GAN Framework

Special thanks to Mega Satish and Hasan Rizvi for their meaningful contributions, support, and wisdom that helped shape this work. In the present study, we propose to implement a new framework for estimating generative models via an adversarial process to extend an existing GAN framework and develop a white-box controllable image cartoonization, which can generate high-quality cartooned images/videos from real-world photos and videos.

July 9, 2021 · 16 min · Amey Thakur

Chat Room Using HTML, PHP, CSS, JS, AJAX

Special thanks to Karan Dhiman for his meaningful contributions, support, and wisdom that helped shape this work. Earlier there was no mode of online communication between users. In big or small organizations communication between users posed a challenge. The main objective of our Simple Chat Room project is to create a chat application that helps different users to communicate with each other through a server connected.

June 28, 2021 · 11 min · Amey Thakur