54,302 blogs · [ { "id": "01a0da7c-57be-73fb-9f9f-2eabe2ad09e9", "title": "Photography: What The Hell Is Color", "url": "https://bollu.github.io/articles/photography-what-the-hell-is-color.html", "published_at": "2026-09-21T00:00:00+00:00" }, { "id": "01a0da7c-57be-73fb-9f9f-2eabe3a08c66", "title": "Photography: Going From Analog Signals to A Real Picture (Post Processing Pipeline)", "url": "https://bollu.github.io/articles/photography-going-from-analog-signals-to-a-real-picture-post-processing-pipeline.html", "published_at": "2026-09-21T00:00:00+00:00" }, { "id": "01a0da7c-57be-73fb-9f9f-2eabe3d99065", "title": "Photography: Geometric Optics, Aperture, Focal Length, Zoom, (D)SLR and APS-C", "url": "https://bollu.github.io/articles/photography-geometric-optics-aperture-focal-length-zoom-dslr-and-aps-c.html", "published_at": "2026-09-21T00:00:00+00:00" }, { "id": "01a0da7c-57be-73fb-9f9f-2eabe47b1008", "title": "Model Checking For Streaming Automata Ala CIRCT Handshake", "url": "https://bollu.github.io/articles/model-checking-for-streaming-automata-ala-circt-handshake.html", "published_at": "2026-09-11T00:00:00+00:00" }, { "id": "01a0da7c-57be-73fb-9f9f-2eabe44c2517", "title": "Nuclear Energy Prices", "url": "https://bollu.github.io/articles/nuclear-energy-prices.html", "published_at": "2026-09-07T00:00:00+00:00" }, { "id": "01a0da7c-57be-73fb-9f9f-2eabe50caeba", "title": "Power of LTL versus Power of CTL", "url": "https://bollu.github.io/articles/power-of-ltl-versus-power-of-ctl.html", "published_at": "2026-09-07T00:00:00+00:00" }, { "id": "01a0da7c-57be-73fb-9f9f-2eabe5552967", "title": "IRIS, As Explained To Me By Johannes", "url": "https://bollu.github.io/articles/iris-as-explained-to-me-by-johannes.html", "published_at": "2026-09-01T00:00:00+00:00" }, { "id": "01a087c5-32ce-7018-a1f3-59acd4cb581b", "title": "My Two Ajjas", "url": "https://bollu.github.io/articles/my-two-ajjas.html", "published_at": "2026-08-29T00:00:00+00:00" }, { "id": "01a087c5-32e1-7186-90eb-29d4ee71bf7d", "title": "Christian Fuchs On Ray Charles Style 60 ' s Funk And Funky Piano", "url": "https://bollu.github.io/articles/christian-fuchs-on-ray-charles-style-60s-funk-and-funky-piano.html", "published_at": "2026-08-26T00:00:00+00:00" }, { "id": "01a087c5-32e1-7186-90eb-29d4ee77c22d", "title": "Mean, Variance And Everything Else As Geometry", "url": "https://bollu.github.io/articles/mean-variance-and-everything-else-as-geometry.html", "published_at": "2026-08-12T00:00:00+00:00" }, { "id": "01a087c5-32e1-7186-90eb-29d4ef753f68", "title": "How to Interpret Variance and Mean Geometrically", "url": "https://bollu.github.io/articles/how-to-interpret-variance-and-mean-geometrically.html", "published_at": "2026-08-12T00:00:00+00:00" }, { "id": "01a087c5-32e1-7186-90eb-29d4ee897e58", "title": "How to Learn the Altered Scale", "url": "https://bollu.github.io/articles/how-to-learn-the-altered-scale.html", "published_at": "2026-08-08T00:00:00+00:00" }, { "id": "01a087c5-32e1-7186-90eb-29d4f028a2bb", "title": "Jazzy Blues Improv", "url": "https://bollu.github.io/articles/jazzy-blues-improv.html", "published_at": "2026-08-08T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d3ddfd42f", "title": "Quant Dev Role Prep", "url": "https://bollu.github.io/articles/quant-dev-role-prep.html", "published_at": "2026-07-08T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d3dc994d9", "title": "Sid ' s Paper Writing Guide", "url": "https://bollu.github.io/articles/sids-paper-writing-guide.html", "published_at": "2026-07-03T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d3e5371cf", "title": "Misty, Bar Piano Version by Christian Fuchs", "url": "https://bollu.github.io/articles/misty-bar-piano-version-by-christian-fuchs.html", "published_at": "2026-07-01T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d3f002012", "title": "The Most Satisfying Chord Progression by Christian Fuchs", "url": "https://bollu.github.io/articles/the-most-satisfying-chord-progression-by-christian-fuchs.html", "published_at": "2026-06-29T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d3ffa2e43", "title": "Boogie Woogie in a Minor Key", "url": "https://bollu.github.io/articles/boogie-woogie-in-a-minor-key.html", "published_at": "2026-06-29T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d402190e7", "title": "FPSanitizer", "url": "https://bollu.github.io/articles/fpsanitizer.html", "published_at": "2026-06-03T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d40f76323", "title": "Reflections on Task Creation", "url": "https://bollu.github.io/articles/reflections-on-task-creation.html", "published_at": "2026-05-13T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4203c33f", "title": "Lounge Jazz / Bar Piano Ala Christian Fuchs", "url": "https://bollu.github.io/articles/lounge-jazz-bar-piano-ala-christian-fuchs.html", "published_at": "2026-04-27T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d425ceba3", "title": "WAL and ARIES", "url": "https://bollu.github.io/articles/wal-and-aries.html", "published_at": "2026-04-27T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d416c48ed", "title": "Playing Funk Piano", "url": "https://bollu.github.io/articles/playing-funk-piano.html", "published_at": "2026-04-16T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d42f77255", "title": "Proof of Godel Incompleteness from Turing Machines", "url": "https://bollu.github.io/articles/proof-of-godel-incompleteness-from-turing-machines.html", "published_at": "2026-04-12T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d43878e34", "title": "Jazz: Only Rhythm Matters", "url": "https://bollu.github.io/articles/jazz-only-rhythm-matters.html", "published_at": "2026-04-12T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d43e4e9c3", "title": "Lounge Jazz Left Hand", "url": "https://bollu.github.io/articles/lounge-jazz-left-hand.html", "published_at": "2026-04-12T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d44dc73dc", "title": "Half-Whole Tone Scale As Interlaced Diminished Chords.", "url": "https://bollu.github.io/articles/half-whole-tone-scale-as-interlaced-diminished-chords.html", "published_at": "2026-03-24T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d47b3150d", "title": "Jazz Piano Fundamentals Book", "url": "https://bollu.github.io/articles/jazz-piano-fundamentals-book.html", "published_at": "2026-03-24T00:00:00+00:00" }, { "id": "01a087c5-33a2-71fd-b23d-4d96c363c472", "title": "Circle of Fifths Voicings", "url": "https://bollu.github.io/articles/circle-of-fifths-voicings.html", "published_at": "2026-03-24T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d45c06fca", "title": "Randomized SharpSAT", "url": "https://bollu.github.io/articles/randomized-sharpsat.html", "published_at": "2026-03-20T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d45c0e8df", "title": "Learning All 7th Inversions", "url": "https://bollu.github.io/articles/learning-all-7th-inversions.html", "published_at": "2026-03-04T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d45ea3281", "title": "Jazz Piano Block Chords Melody Playing", "url": "https://bollu.github.io/articles/jazz-piano-block-chords-melody-playing.html", "published_at": "2026-03-02T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d461f6d99", "title": "A Different Derivation of the Bepop Notes", "url": "https://bollu.github.io/articles/a-different-derivation-of-the-bepop-notes.html", "published_at": "2026-02-05T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d46a9c462", "title": "Playing over a ii V I with a 3rd Scale.", "url": "https://bollu.github.io/articles/playing-over-a-ii-v-i-with-a-3rd-scale.html", "published_at": "2026-02-05T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d46bed626", "title": "Flipped Enclosure Piano Voicings", "url": "https://bollu.github.io/articles/flipped-enclosure-piano-voicings.html", "published_at": "2026-02-05T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d47d3ad63", "title": "Stuff I Learnt in 2025", "url": "https://bollu.github.io/articles/stuff-i-learnt-in-2025.html", "published_at": "2026-01-03T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d48c9340f", "title": "Modular Arithmetic Decision Procedure", "url": "https://bollu.github.io/articles/modular-arithmetic-decision-procedure.html", "published_at": "2025-12-15T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d48c9471c", "title": "Nobody ' s Fault but Mine Piano Chord Voicings", "url": "https://bollu.github.io/articles/nobodys-fault-but-mine-piano-chord-voicings.html", "published_at": "2025-12-10T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d494917b1", "title": "Farkas Lemma", "url": "https://bollu.github.io/articles/farkas-lemma.html", "published_at": "2025-12-09T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d49ba27f9", "title": "Computing with High Dimensional Vectors", "url": "https://bollu.github.io/articles/computing-with-high-dimensional-vectors.html", "published_at": "2025-11-17T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d49c3f702", "title": "Improvising Two Part Invention", "url": "https://bollu.github.io/articles/improvising-two-part-invention.html", "published_at": "2025-11-16T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4a82bcc9", "title": "Improvise Polyphony in Four Voices", "url": "https://bollu.github.io/articles/improvise-polyphony-in-four-voices.html", "published_at": "2025-11-16T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4b6200e3", "title": "How to Improve Evalauation Metrics", "url": "https://bollu.github.io/articles/how-to-improve-evalauation-metrics.html", "published_at": "2025-11-14T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4bfdd42f", "title": "Durable Execution", "url": "https://bollu.github.io/articles/durable-execution.html", "published_at": "2025-11-05T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4cdb297e", "title": "Multi-Width Bitvectors with Append: Using Fundamental Domains?", "url": "https://bollu.github.io/articles/multi-width-bitvectors-with-append-using-fundamental-domains.html", "published_at": "2025-10-18T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4d3c55ee", "title": "Non Linear Theory of 2-Adics Does Not Mix with Bitwise Operations", "url": "https://bollu.github.io/articles/non-linear-theory-of-2-adics-does-not-mix-with-bitwise-operations.html", "published_at": "2025-10-17T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4ddfc9d8", "title": "Succinct Explanation of the Blossom Algorithm", "url": "https://bollu.github.io/articles/succinct-explanation-of-the-blossom-algorithm.html", "published_at": "2025-10-17T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4e7035e9", "title": "Using Diminished Chords", "url": "https://bollu.github.io/articles/using-diminished-chords.html", "published_at": "2025-10-09T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4f528580", "title": "Spaced Repetition for Learning Italian", "url": "https://bollu.github.io/articles/spaced-repetition-for-learning-italian.html", "published_at": "2025-10-09T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d4f83e855", "title": "How To Benchmark", "url": "https://bollu.github.io/articles/how-to-benchmark.html", "published_at": "2025-09-29T00:00:00+00:00" }, { "id": "01a0da7c-57be-73fb-9f9f-2eabfde48ea5", "title": "Sid ' s Guide on Benchmarking Performance", "url": "https://bollu.github.io/articles/sids-guide-on-benchmarking-performance.html", "published_at": "2025-09-29T00:00:00+00:00" }, { "id": "01a087c5-33a2-71fd-b23d-4d96c2b8a7a4", "title": "Fitness", "url": "https://bollu.github.io/articles/fitness.html", "published_at": "2025-09-07T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5061bf80", "title": "Fairness And Justice", "url": "https://bollu.github.io/articles/fairness-and-justice.html", "published_at": "2025-07-18T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5103ab73", "title": "Feynmann on Worthwhile Problems", "url": "https://bollu.github.io/articles/feynmann-on-worthwhile-problems.html", "published_at": "2025-07-18T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d51c08f47", "title": "Git Trick to Improve Artifact Evaluation: Never Lose a Commit / Feature Branch", "url": "https://bollu.github.io/articles/git-trick-to-improve-artifact-evaluation-never-lose-a-commit-feature-branch.html", "published_at": "2025-07-16T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d52098cf2", "title": "IC3 Invariants", "url": "https://bollu.github.io/articles/ic3-invariants.html", "published_at": "2025-07-15T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d528cfbbd", "title": "Transitioning from Major to Minor Chord", "url": "https://bollu.github.io/articles/transitioning-from-major-to-minor-chord.html", "published_at": "2025-06-10T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5460724f", "title": "Pairwise Independent Events That Are Not 3-Way Independent", "url": "https://bollu.github.io/articles/pairwise-independent-events-that-are-not-3-way-independent.html", "published_at": "2025-06-03T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5556e514", "title": "Italian Learning", "url": "https://bollu.github.io/articles/italian-learning.html", "published_at": "2025-05-22T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d57f3d192", "title": "Example of Non Commuting Summation", "url": "https://bollu.github.io/articles/example-of-non-commuting-summation.html", "published_at": "2025-05-22T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5385f8b7", "title": "Certifying Hardware Model Checking by Emily Zhengqi Yu", "url": "https://bollu.github.io/articles/certifying-hardware-model-checking-by-emily-zhengqi-yu.html", "published_at": "2025-05-21T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5449cd52", "title": "Formal Verification of Multiplier Circuits Using Computer Algebra", "url": "https://bollu.github.io/articles/formal-verification-of-multiplier-circuits-using-computer-algebra.html", "published_at": "2025-05-21T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5607f8f1", "title": "Notes on CwFs and Categorical NbE", "url": "https://bollu.github.io/articles/notes-on-cwfs-and-categorical-nbe.html", "published_at": "2025-05-06T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d56f34f3b", "title": "The Euclidean Definitions of The Functions Div and Mod", "url": "https://bollu.github.io/articles/the-euclidean-definitions-of-the-functions-div-and-mod.html", "published_at": "2025-05-06T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d561c043e", "title": "Magic Circle Amigurimi Explanation", "url": "https://bollu.github.io/articles/magic-circle-amigurimi-explanation.html", "published_at": "2025-05-04T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d56fef046", "title": "Building Defeq ASTs for Dependently Typed Terms", "url": "https://bollu.github.io/articles/building-defeq-asts-for-dependently-typed-terms.html", "published_at": "2025-04-15T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d574f253f", "title": "Ragtime Chord Progression", "url": "https://bollu.github.io/articles/ragtime-chord-progression.html", "published_at": "2025-04-04T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d58cb6c0d", "title": "Covering Spaces for Automata", "url": "https://bollu.github.io/articles/covering-spaces-for-automata.html", "published_at": "2025-04-02T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d597977d1", "title": "The Metamathematical Implications of the Strong Church Turing Thesis", "url": "https://bollu.github.io/articles/the-metamathematical-implications-of-the-strong-church-turing-thesis.html", "published_at": "2025-04-01T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5a08eae7", "title": "The Metaphysical Horizon", "url": "https://bollu.github.io/articles/the-metaphysical-horizon.html", "published_at": "2025-04-01T00:00:00+00:00" }, { "id": "01a087c5-3390-7310-8223-654d25854e2c", "title": "Big List of Recipes", "url": "https://bollu.github.io/articles/big-list-of-recipes.html", "published_at": "2025-03-26T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5c7d4242", "title": "Joke Definition of Metatheorem", "url": "https://bollu.github.io/articles/joke-definition-of-metatheorem.html", "published_at": "2025-03-25T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5aac9701", "title": "Projective Varieties Are Complete", "url": "https://bollu.github.io/articles/projective-varieties-are-complete.html", "published_at": "2025-03-22T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5ba51040", "title": "Check Lean Discrimination Tree Indexing", "url": "https://bollu.github.io/articles/check-lean-discrimination-tree-indexing.html", "published_at": "2025-03-10T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5cafc48f", "title": "Weird Art Movements in the 20th Century", "url": "https://bollu.github.io/articles/weird-art-movements-in-the-20th-century.html", "published_at": "2025-03-06T00:00:00+00:00" }, { "id": "01a087c5-33a2-71fd-b23d-4d96c2633730", "title": "Decision Procedures Research Questions", "url": "https://bollu.github.io/articles/decision-procedures-research-questions.html", "published_at": "2025-02-28T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5d658f7c", "title": "Pop Piano Accompaniment", "url": "https://bollu.github.io/articles/pop-piano-accompaniment.html", "published_at": "2025-02-26T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5ce6a743", "title": "Bebop Scale", "url": "https://bollu.github.io/articles/bebop-scale.html", "published_at": "2025-02-19T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5d47d6fd", "title": "Experimental Evaluation Setup I ' m Happy With", "url": "https://bollu.github.io/articles/experimental-evaluation-setup-im-happy-with.html", "published_at": "2025-01-29T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5e5303d2", "title": "Wisdom of Critial Pair Theory", "url": "https://bollu.github.io/articles/wisdom-of-critial-pair-theory.html", "published_at": "2025-01-24T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5e8f43b8", "title": "Stuff I Learnt in 2024", "url": "https://bollu.github.io/articles/stuff-i-learnt-in-2024.html", "published_at": "2024-12-22T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5ecba78b", "title": "Mechanical Theorem-Proving by Model Elimination [WIP ]", "url": "https://bollu.github.io/articles/mechanical-theorem-proving-by-model-elimination-wip.html", "published_at": "2024-12-22T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d5fa66e50", "title": "Shostaks Algorithm For Combining Decision Procedures [WIP ]", "url": "https://bollu.github.io/articles/shostaks-algorithm-for-combining-decision-procedures-wip.html", "published_at": "2024-12-22T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d61216808", "title": "Using reduceBool and ofReduceBool in Lean", "url": "https://bollu.github.io/articles/using-reducebool-and-ofreducebool-in-lean.html", "published_at": "2024-12-07T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d60273b70", "title": "Ragtime Theory", "url": "https://bollu.github.io/articles/ragtime-theory.html", "published_at": "2024-12-06T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d621969d2", "title": "Partimento Chord Progression Theory", "url": "https://bollu.github.io/articles/partimento-chord-progression-theory.html", "published_at": "2024-11-30T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d6245adb0", "title": "Krohn Rhodes Theorem: Proof", "url": "https://bollu.github.io/articles/krohn-rhodes-theorem-proof.html", "published_at": "2024-11-28T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d629ccbe2", "title": "Quantifier Elimination for Real Closed Fields", "url": "https://bollu.github.io/articles/quantifier-elimination-for-real-closed-fields.html", "published_at": "2024-11-28T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d632fc00a", "title": "Quantifier Elimination for Presburger Arithmetic", "url": "https://bollu.github.io/articles/quantifier-elimination-for-presburger-arithmetic.html", "published_at": "2024-11-28T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d641fa3b3", "title": "Quantifier Elimination For Algebraically Closed Fields", "url": "https://bollu.github.io/articles/quantifier-elimination-for-algebraically-closed-fields.html", "published_at": "2024-11-28T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d6506b85a", "title": "First UIP / Dominators in a DAG", "url": "https://bollu.github.io/articles/first-uip-dominators-in-a-dag.html", "published_at": "2024-11-28T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d65dd61c1", "title": "PTTP: A Prolog Technology Theorem Prover", "url": "https://bollu.github.io/articles/pttp-a-prolog-technology-theorem-prover.html", "published_at": "2024-11-28T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d6612bbd2", "title": "Geomeans and Ratios", "url": "https://bollu.github.io/articles/geomeans-and-ratios.html", "published_at": "2024-11-13T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d6637e6f5", "title": "Setting up Mosh on Google Cloud", "url": "https://bollu.github.io/articles/setting-up-mosh-on-google-cloud.html", "published_at": "2024-11-13T00:00:00+00:00" }, { "id": "01a087c5-32e2-722b-a82f-391d664157b1", "title": "Playing Pop on the Piano", "url": "https://bollu.github.io/articles/playing-pop-on-the-piano.html", "published_at": "2024-11-13T00:00:00+00:00" }, { "id": "01a087c5-32e3-7288-bcc6-030b938df86a", "title": "Boolean Reflection Design", "url": "https://bollu.github.io/articles/boolean-reflection-design.html", "published_at": "2024-11-07T00:00:00+00:00" }, { "id": "01a087c5-32e3-7288-bcc6-030b948dd85e", "title": "Propositional Proof Systems And Proof Complexity", "url": "https://bollu.github.io/articles/propositional-proof-systems-and-proof-complexity.html", "published_at": "2024-11-06T00:00:00+00:00" }, { "id": "01a087c5-32e3-7288-bcc6-030b949501be", "title": "Diminished Sixth Scale", "url": "https://bollu.github.io/articles/diminished-sixth-scale.html", "published_at": "2024-10-18T00:00:00+00:00" }, { "id": "01a087c5-32e3-7288-bcc6-030b94ecee68", "title": "Canon Improvisation", "url": "https://bollu.github.io/articles/canon-improvisation.html", "published_at": "2024-10-15T00:00:00+00:00" }, { "id": "01a087c5-32e3-7288-bcc6-030b953e5ea7", "title": "Readings on Writing Fugues and Partimento", "url": "https://bollu.github.io/articles/readings-on-writing-fugues-and-partimento.html", "published_at": "2024-10-15T00:00:00+00:00" } ] posts Claim your blog

Back to bollu.github.io

Blog · corpus.blog/blogs/bollu.github.io/posts

bollu.github.io

bollu.github.io

2026

Photography: What The Hell Is Color original ↗

21 Sept 2026

Photography: Going From Analog Signals to A Real Picture (Post Processing Pipeline)original ↗

21 Sept 2026

Photography: Geometric Optics, Aperture, Focal Length, Zoom, (D)SLR and APS-C original ↗

21 Sept 2026

Model Checking For Streaming Automata Ala CIRCT Handshake original ↗

11 Sept 2026

Nuclear Energy Prices original ↗

7 Sept 2026

Power of LTL versus Power of CTL original ↗

7 Sept 2026

IRIS, As Explained To Me By Johannes original ↗

1 Sept 2026

My Two Ajjas original ↗

29 Aug 2026

Christian Fuchs On Ray Charles Style 60 ' s Funk And Funky Piano original ↗

26 Aug 2026

Mean, Variance And Everything Else As Geometry original ↗

12 Aug 2026

How to Interpret Variance and Mean Geometrically original ↗

12 Aug 2026

How to Learn the Altered Scale original ↗

8 Aug 2026

Jazzy Blues Improv original ↗

8 Aug 2026

Quant Dev Role Prep original ↗

8 Jul 2026

Sid ' s Paper Writing Guide original ↗

3 Jul 2026

Misty, Bar Piano Version by Christian Fuchs original ↗

1 Jul 2026

The Most Satisfying Chord Progression by Christian Fuchs original ↗

29 Jun 2026

Boogie Woogie in a Minor Key original ↗

29 Jun 2026

FPSanitizer original ↗

3 Jun 2026

Reflections on Task Creation original ↗

13 May 2026

Lounge Jazz / Bar Piano Ala Christian Fuchs original ↗

27 Apr 2026

WAL and ARIES original ↗

27 Apr 2026

Playing Funk Piano original ↗

16 Apr 2026

Proof of Godel Incompleteness from Turing Machines original ↗

12 Apr 2026

Jazz: Only Rhythm Matters original ↗

12 Apr 2026

Lounge Jazz Left Hand original ↗

12 Apr 2026

Half-Whole Tone Scale As Interlaced Diminished Chords.original ↗

24 Mar 2026

Jazz Piano Fundamentals Book original ↗

24 Mar 2026

Circle of Fifths Voicings original ↗

24 Mar 2026

Randomized SharpSAT original ↗

20 Mar 2026

Learning All 7th Inversions original ↗

4 Mar 2026

Jazz Piano Block Chords Melody Playing original ↗

2 Mar 2026

A Different Derivation of the Bepop Notes original ↗

5 Feb 2026

Playing over a ii V I with a 3rd Scale.original ↗

5 Feb 2026

Flipped Enclosure Piano Voicings original ↗

5 Feb 2026

Stuff I Learnt in 2025 original ↗

3 Jan 2026

2025

Modular Arithmetic Decision Procedure original ↗

15 Dec 2025

Nobody ' s Fault but Mine Piano Chord Voicings original ↗

10 Dec 2025

Farkas Lemma original ↗

9 Dec 2025

Computing with High Dimensional Vectors original ↗

17 Nov 2025

Improvising Two Part Invention original ↗

16 Nov 2025

Improvise Polyphony in Four Voices original ↗

16 Nov 2025

How to Improve Evalauation Metrics original ↗

14 Nov 2025

Durable Execution original ↗

5 Nov 2025

Multi-Width Bitvectors with Append: Using Fundamental Domains?original ↗

18 Oct 2025

Non Linear Theory of 2-Adics Does Not Mix with Bitwise Operations original ↗

17 Oct 2025

Succinct Explanation of the Blossom Algorithm original ↗

17 Oct 2025

Using Diminished Chords original ↗

9 Oct 2025

Spaced Repetition for Learning Italian original ↗

9 Oct 2025

How To Benchmark original ↗

29 Sept 2025

Sid ' s Guide on Benchmarking Performance original ↗

29 Sept 2025

Fitness original ↗

7 Sept 2025

Fairness And Justice original ↗

18 Jul 2025

Feynmann on Worthwhile Problems original ↗

18 Jul 2025

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

16 Jul 2025

IC3 Invariants original ↗

15 Jul 2025

Transitioning from Major to Minor Chord original ↗

10 Jun 2025

Pairwise Independent Events That Are Not 3-Way Independent original ↗

3 Jun 2025

Italian Learning original ↗

22 May 2025

Example of Non Commuting Summation original ↗

22 May 2025

Certifying Hardware Model Checking by Emily Zhengqi Yu original ↗

21 May 2025

Formal Verification of Multiplier Circuits Using Computer Algebra original ↗

21 May 2025

Notes on CwFs and Categorical NbE original ↗

6 May 2025

The Euclidean Definitions of The Functions Div and Mod original ↗

6 May 2025

Magic Circle Amigurimi Explanation original ↗

4 May 2025

Building Defeq ASTs for Dependently Typed Terms original ↗

15 Apr 2025

Ragtime Chord Progression original ↗

4 Apr 2025

Covering Spaces for Automata original ↗

2 Apr 2025

The Metamathematical Implications of the Strong Church Turing Thesis original ↗

1 Apr 2025

The Metaphysical Horizon original ↗

1 Apr 2025

Big List of Recipes original ↗

26 Mar 2025

Joke Definition of Metatheorem original ↗

25 Mar 2025

Projective Varieties Are Complete original ↗

22 Mar 2025

Check Lean Discrimination Tree Indexing original ↗

10 Mar 2025

Weird Art Movements in the 20th Century original ↗

6 Mar 2025

Decision Procedures Research Questions original ↗

28 Feb 2025

Pop Piano Accompaniment original ↗

26 Feb 2025

Bebop Scale original ↗

19 Feb 2025

Experimental Evaluation Setup I ' m Happy With original ↗

29 Jan 2025

Wisdom of Critial Pair Theory original ↗

24 Jan 2025

2024

Stuff I Learnt in 2024 original ↗

22 Dec 2024

Mechanical Theorem-Proving by Model Elimination [WIP ]original ↗

22 Dec 2024

Shostaks Algorithm For Combining Decision Procedures [WIP ]original ↗

22 Dec 2024

Using reduceBool and ofReduceBool in Lean original ↗

7 Dec 2024

Ragtime Theory original ↗

6 Dec 2024

Partimento Chord Progression Theory original ↗

30 Nov 2024

Krohn Rhodes Theorem: Proof original ↗

28 Nov 2024

Quantifier Elimination for Real Closed Fields original ↗

28 Nov 2024

Quantifier Elimination for Presburger Arithmetic original ↗

28 Nov 2024

Quantifier Elimination For Algebraically Closed Fields original ↗

28 Nov 2024

First UIP / Dominators in a DAG original ↗

28 Nov 2024

PTTP: A Prolog Technology Theorem Prover original ↗

28 Nov 2024

Geomeans and Ratios original ↗

13 Nov 2024

Setting up Mosh on Google Cloud original ↗

13 Nov 2024

Playing Pop on the Piano original ↗

13 Nov 2024

Boolean Reflection Design original ↗

7 Nov 2024

Propositional Proof Systems And Proof Complexity original ↗

6 Nov 2024

Diminished Sixth Scale original ↗

18 Oct 2024

Canon Improvisation original ↗

15 Oct 2024

Readings on Writing Fugues and Partimento original ↗

15 Oct 2024