Skip to content
View realgauravvyas's full-sized avatar
๐Ÿ 
Working from home
๐Ÿ 
Working from home

Block or report realgauravvyas

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please donโ€™t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
realgauravvyas/README.md
typing banner

OEIS A181671 Mathematical Surprises

Gaurav Vyas

I build things where the math is the point, not the plumbing โ€” and then I make sure you can see it happen, not just read about it.

BSc(Hons.) Data Science & AI, IIT Guwahati ยท PG Diploma in Applied Statistics, ISI Kolkata. Most of what's below started as "is this actually true?" and turned into a repo. One of them turned into an entry in the OEIS.


๐Ÿ“ In the OEIS

In August 2026, six terms I computed were accepted into OEIS A181671 โ€” the count of Ramanujan primes below each power of ten. The sequence's EXTENSIONS section now reads:

a(18)-a(23) from Gaurav Vyas, Aug 15 2026

That pushes the table from 10ยนโท out to 10ยฒยณ, computed on a laptop and a desktop โ€” no institute, no cluster โ€” with a 128-bit segmented sieve, bracketed analytic tail bounds, and a machine-checkable certificate behind every term. The b-file now runs n = 1..23.

The counting function pi(x) - pi(x/2) climbing, with each Ramanujan prime marked

The definition, animated: ฯ€(x) โˆ’ ฯ€(x/2) climbing, and each Ramanujan prime Rโ‚™ lighting up at the last place the curve crosses level n โ€” which is exactly what makes it Rโ‚™. Rendered fresh by CI.

while (curious) {
    pick_an_equation();
    make_it_move();
    ask("why is this surprising?");
}

๐Ÿ”ญ Live right now

Mathematical Surprises โ†’ 250+ interactive visualizations โ€” fractals, chaos, number theory, calculus โ€” each one a real simulation you can drag sliders on, not a screenshot. Opens the same on your phone as on your laptop.

Fourier epicycles tracing a square wave

Nine rotating circles on the odd harmonics, tracing a square wave โ€” one of the 250+ live pieces in Mathematical Surprises.


๐Ÿงญ What I'm building

Mathematics & number theory

๐Ÿ”ข ramanujan-primes-beyond-1e19 The A181671 extension above โ€” paper, C++/Python sieve, and certificates for a(1)โ€“a(23)
โšก ramanujan-primes-beyond-2-56 The base-2 sibling: a(57)โ€“a(72) of A190502 certified by the same method, Q = 2โฟ instead of 10แต
๐ŸŒ€ mathematical-surprises A live gallery of interactive math & physics โ€” the equation, the picture, and why it's weird, side by side

Machine learning

โ™Ÿ๏ธ chess-ai A 760k-parameter residual policyโ€“value net: supervised pretraining, then gated self-play RL, with a live training dashboard โ€” see below for what it actually measured
โœ๏ธ ocr2tex LoRA fine-tunes of GLM-OCR turning handwritten math into compilable LaTeX
๐Ÿค– Gemini-AI-Studio Gemini-powered assignment evaluator

Applied

๐ŸŒฑ carboncampus Campus-calibrated urban carbon calculator โ€” offline-first PWA, no backend needed. Avinya 2026, IIT Guwahati
๐Ÿ›ฐ๏ธ drishti Post-disaster "information fog" resolver: calibrated belief over conflicting settlement reports plus asset routing on a damaged road network
๐Ÿ“ท hemispheR-py Hemispherical canopy photo analysis โ€” LAI, clumping, gap fraction, without OpenCV or R

๐Ÿงช A result I didn't want

The chess engine's self-play half did not work, and that's the interesting part. A 40-game match against its own frozen pretrained baseline scored 46.2% (95% CI 37.4โ€“55.1) โ€” no detectable improvement. The run before it was actively worse, and the reason took a while to find: the eval metric had been scoring one colour while the net alternated, so 159 logged evaluation points sat pinned at exactly 50% and carried no information at all. Mirror augmentation was also flipping board files without swapping the castling planes, quietly corrupting half of every minibatch.

The binding constraint turned out to be sample efficiency โ€” 128 simulations is about 4.3 visits per legal move, against AlphaZero's ~27. All of it is written up in the repo's RESULTS.md, because a negative result you can reproduce is worth more than a positive one you can't.


๐ŸŽฎ Blackout Studio

I also build complete games solo โ€” engine, art and audio. Both are zero-dependency and fully offline, with every sprite and sound generated at runtime.

๐Ÿ“ฑ Voltfall โ€” Android Neon survival-action roguelite, ~95 KB
๐Ÿ–ฅ๏ธ Neon Depths โ€” Windows Neon twin-stick roguelite, twelve floors, one life, ~99 MB

๐Ÿ›  Toolbox

Python C++ PyTorch NumPy Kotlin TypeScript JavaScript React LaTeX Streamlit PostgreSQL GitHub Actions


๐Ÿ”ง How this page builds itself

Neither animation above is a checked-in file. Both are drawn from scratch by CI on every push to main and again once a day, then published to the output branch:

  • scripts/generate_ramanujan.py โ€” sieves primes, computes ฯ€(x) โˆ’ ฯ€(x/2), solves for each Rโ‚™ as the last crossing of level n, and animates the sweep. It asserts its own output against the known head of A104272, so a broken render fails the build instead of shipping a wrong picture.
  • scripts/generate_epicycles.py โ€” sums nine odd harmonics into a square wave and traces the tip.

Both are pure Pillow, no matplotlib, so the whole job stays cheap. The contribution snake comes from Platane/snk.


Followers Stars Profile views


"The purpose of computing is insight, not numbers." โ€” Richard Hamming

Popular repositories Loading

  1. blackout-studio blackout-studio Public

    Blackout Studio โ€” Voltfall (Android) and Neon Depths (Windows). Zero-dependency, fully offline games.

    JavaScript 1

  2. sa_course_25 sa_course_25 Public

    This is a repository for IITG Summer Analytics Course.

    Jupyter Notebook

  3. Gemini-AI-Studio Gemini-AI-Studio Public

    Gemini 3 powered assignment evaluator

    TypeScript

  4. hemispheR-py hemispheR-py Public

    Dependency-light Python port of hemispherical fisheye canopy photo analysis โ€” LAI, clumping index, gap fraction, no OpenCV/R required

    Kotlin

  5. mathematical-surprises mathematical-surprises Public

    Interactive mathematical & physics visualizations

    JavaScript

  6. ocr2tex ocr2tex Public

    LoRA fine-tunes of GLM-OCR for handwritten math to compilable LaTeX transcription

    Python