RSSAmplifier

Blog

A universe of sorts

A universe of Sorts

bollu.github.io ↗RSS feed ↗1028 posts

Latest posts

Randomized SharpSAT

Altered Scale For Dominant Chords

Learning all 7th inversions

Big List of Jazz Voicings

Jazz Piano Block Chords Melody Playing

Lounge Jazz

A different derivation of the bepop notes

Playing over a ii V I with a 3rd scale.

Flipped Enclosure Piano Voicings

Jazz Piano Fundamentals Book

Stuff I learnt in 2025

Modular Arithmetic Decision Procedure

Nobody ' s Fault but Mine Piano Chord Voicings

Farkas Lemma

Computing with High Dimensional Vectors

Improvising Two Part Invention

Improvise Polyphony in four voices

How to Improve Evalauation Metrics

Durable Execution

Multi-Width Bitvectors with Append: Using Fundamental Domains?

Non Linear Theory of 2-adics does not mix with bitwise operations

Succinct Explanation of the Blossom Algorithm

Using Diminished Chords

Spaced Repetition for Learning Italian

How To Benchmark

Fairness And Justice

Feynmann on Worthwhile Problems

Git Trick to Improve Artifact Evaluation: Never Lose a Commit / Feature Branch

IC3 Invariants

Transitioning from Major to Minor chord

Certifying Hardware Model Checking by Emily Zhengqi Yu

Formal Verification of Multiplier Circuits using Computer Algebra

Pairwise Independent Events that are Not 3-way Independent

Big list of Italian Learning

Notes on CwFs and categorical NbE

Magic Circle Amigurimi Explanation

The Euclidean Definitions of The Functions div and mod

Building Defeq ASTs for Dependently Typed Terms

Ragtime Chord Progression

Example of Non Commuting Summation

Covering Spaces for Automata

The Metamathematical implications of the Strong Church Turing Thesis

The Metaphysical Horizon

Projective Varieties are Complete

Check Lean Discrimination Tree Indexing

Joke Definition of Metatheorem

Weird Art Movements in the 20th Century

I Like Art Nouveau

Bebop Scale

Experimental Evaluation Setup I ' m Happy With