corpus.blog
41554 blogs · [ { "id": "01a087c5-32e3-7288-bcc6-030b95e2412a", "title": "Applied Counterpoint Lecture Series", "url": "https://bollu.github.io/articles/applied-counterpoint-lecture-series.html", "published_at": "2024-10-15T00:00:00+00:00" }, { "id": "01a087c5-32e3-7288-bcc6-030b96cac32b", "title": "Hip Hop on Piano", "url": "https://bollu.github.io/articles/hip-hop-on-piano.html", "published_at": "2024-10-15T00:00:00+00:00" }, { "id": "01a087c5-32e3-7288-bcc6-030b97d77d10", "title": "Public Domain Ragtime", "url": "https://bollu.github.io/articles/public-domain-ragtime.html", "published_at": "2024-10-15T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a01809056", "title": "Transformer Architecture Is Based on Sets, Not Sequences", "url": "https://bollu.github.io/articles/transformer-architecture-is-based-on-sets-not-sequences.html", "published_at": "2024-10-15T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479fa50e223", "title": "Maple Leaf Rag", "url": "https://bollu.github.io/articles/maple-leaf-rag.html", "published_at": "2024-10-14T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479fac3c8ed", "title": "Bach: Art of the Fugue", "url": "https://bollu.github.io/articles/bach-art-of-the-fugue.html", "published_at": "2024-10-11T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479fadb3b4c", "title": "Bach Style: Suspensions", "url": "https://bollu.github.io/articles/bach-style-suspensions.html", "published_at": "2024-10-11T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479fb957d89", "title": "Example of Needing Uniform Convergence / Troll Proof of Pi Equals 4", "url": "https://bollu.github.io/articles/example-of-needing-uniform-convergence-troll-proof-of-pi-equals-4.html", "published_at": "2024-10-11T00:00:00+00:00" }, { "id": "01a087c5-32e3-7288-bcc6-030b9789b3e5", "title": "Pachabel ' s Series", "url": "https://bollu.github.io/articles/pachabels-series.html", "published_at": "2024-10-10T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479fc549c48", "title": "Ragtime Composition", "url": "https://bollu.github.io/articles/ragtime-composition.html", "published_at": "2024-10-09T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a06e4146c", "title": "Eliminating Decision Fatigue", "url": "https://bollu.github.io/articles/eliminating-decision-fatigue.html", "published_at": "2024-10-09T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479fcb7c245", "title": "Forward Euler as System of Linear Equations", "url": "https://bollu.github.io/articles/forward-euler-as-system-of-linear-equations.html", "published_at": "2024-10-06T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479fdab9420", "title": "Categorification of Sets Works Because It ' s a Presheaf on a Single Point", "url": "https://bollu.github.io/articles/categorification-of-sets-works-because-its-a-presheaf-on-a-single-point.html", "published_at": "2024-10-03T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479fea345a6", "title": "Maple Leaf Rag: Chord Progression", "url": "https://bollu.github.io/articles/maple-leaf-rag-chord-progression.html", "published_at": "2024-10-03T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-4479ff969a60", "title": "Ragtime Rhythm & Chords", "url": "https://bollu.github.io/articles/ragtime-rhythm-chords.html", "published_at": "2024-10-03T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a001d17fe", "title": "When to Generalize an Argument to a Function for an Inductive Proof", "url": "https://bollu.github.io/articles/when-to-generalize-an-argument-to-a-function-for-an-inductive-proof.html", "published_at": "2024-09-29T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a01030d4d", "title": "Glenn Gould", "url": "https://bollu.github.io/articles/glenn-gould.html", "published_at": "2024-09-29T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a012564d7", "title": "Music Appreciation", "url": "https://bollu.github.io/articles/music-appreciation.html", "published_at": "2024-09-28T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a01a1c8f2", "title": "Implementing Nelson Oppen", "url": "https://bollu.github.io/articles/implementing-nelson-oppen.html", "published_at": "2024-09-21T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a01fd1544", "title": "Nondeterministic Nelson Oppen", "url": "https://bollu.github.io/articles/nondeterministic-nelson-oppen.html", "published_at": "2024-09-21T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a05e9deb3", "title": "Playing the Piano", "url": "https://bollu.github.io/articles/playing-the-piano.html", "published_at": "2024-09-21T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a04390daa", "title": "Software Bugs Are Real Bugs?", "url": "https://bollu.github.io/articles/software-bugs-are-real-bugs.html", "published_at": "2024-09-15T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a07b25f07", "title": "The Two Modes of My Work", "url": "https://bollu.github.io/articles/the-two-modes-of-my-work.html", "published_at": "2024-09-15T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a02c9afbd", "title": "Gosper ' s Algorithm", "url": "https://bollu.github.io/articles/gospers-algorithm.html", "published_at": "2024-09-12T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a03c321ea", "title": "WZ (Wilf Zeilberger) Pairs", "url": "https://bollu.github.io/articles/wz-wilf-zeilberger-pairs.html", "published_at": "2024-09-12T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a05365812", "title": "Sister Celine ' s Algorithm", "url": "https://bollu.github.io/articles/sister-celines-algorithm.html", "published_at": "2024-09-12T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a06a380ed", "title": "Reading", "url": "https://bollu.github.io/articles/reading.html", "published_at": "2024-08-31T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0813e0ea", "title": "The Gradual Guarantees", "url": "https://bollu.github.io/articles/the-gradual-guarantees.html", "published_at": "2024-08-26T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0882b2d8", "title": "Lean Naming Convention for Contexts", "url": "https://bollu.github.io/articles/lean-naming-convention-for-contexts.html", "published_at": "2024-08-26T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a09381651", "title": "Right Hand for Arpeggios", "url": "https://bollu.github.io/articles/right-hand-for-arpeggios.html", "published_at": "2024-08-21T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a09ee105e", "title": "Simulating Inductives Via Coinductives (And Vice Versa)", "url": "https://bollu.github.io/articles/simulating-inductives-via-coinductives-and-vice-versa.html", "published_at": "2024-08-17T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0ab5ec00", "title": "Amelie Arpeggiation Explanation", "url": "https://bollu.github.io/articles/amelie-arpeggiation-explanation.html", "published_at": "2024-08-14T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0b5550f3", "title": "Inductive Predicate as Least Fixed Point, Directly", "url": "https://bollu.github.io/articles/inductive-predicate-as-least-fixed-point-directly.html", "published_at": "2024-08-09T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0c27d5a6", "title": "Interpolants: Vibes", "url": "https://bollu.github.io/articles/interpolants-vibes.html", "published_at": "2024-08-08T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0c2fa937", "title": "AWS MathFest 2024", "url": "https://bollu.github.io/articles/aws-mathfest-2024.html", "published_at": "2024-08-08T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb7cfa001", "title": "Sobolev Embedding Theorem", "url": "https://bollu.github.io/articles/sobolev-embedding-theorem.html", "published_at": "2024-08-08T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0d07eb8f", "title": "Proving False with Partial Functions Even with Inhabited Types", "url": "https://bollu.github.io/articles/proving-false-with-partial-functions-even-with-inhabited-types.html", "published_at": "2024-07-25T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0db50f57", "title": "Ffmpeg One Liner to Re-encode Mp4 so Chrome Can Open It", "url": "https://bollu.github.io/articles/ffmpeg-one-liner-to-re-encode-mp4-so-chrome-can-open-it.html", "published_at": "2024-06-14T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0d171a65", "title": "Table Maker ' s Dilemma", "url": "https://bollu.github.io/articles/table-makers-dilemma.html", "published_at": "2024-06-09T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0e3825ad", "title": "Notes on Copy and Patch Compilation", "url": "https://bollu.github.io/articles/notes-on-copy-and-patch-compilation.html", "published_at": "2024-06-02T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0d2d5f4b", "title": "Techne, Da Vinci, Michalangelo, and Art", "url": "https://bollu.github.io/articles/techne-da-vinci-michalangelo-and-art.html", "published_at": "2024-06-01T00:00:00+00:00" }, { "id": "01a087c5-32e5-7324-94dd-447a0f27ca9a", "title": "Setting up SAIL for Porting to Lean", "url": "https://bollu.github.io/articles/setting-up-sail-for-porting-to-lean.html", "published_at": "2024-05-07T00:00:00+00:00" }, { "id": "01a087c5-3391-73b4-b3e9-7cbe7735514c", "title": "Latte Art", "url": "https://bollu.github.io/articles/latte-art.html", "published_at": "2024-05-07T00:00:00+00:00" }, { "id": "01a087c5-33a2-71fd-b23d-4d96c0ff0dc0", "title": "Sheet Music", "url": "https://bollu.github.io/articles/sheet-music.html", "published_at": "2024-04-25T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20bcd5e35b", "title": "Gregorian Chant and Numes", "url": "https://bollu.github.io/articles/gregorian-chant-and-numes.html", "published_at": "2024-04-14T00:00:00+00:00" }, { "id": "01a087c5-33a2-71fd-b23d-4d96bfa4fbe2", "title": "Classical Music", "url": "https://bollu.github.io/articles/classical-music.html", "published_at": "2024-04-13T00:00:00+00:00" }, { "id": "01a087c5-33a2-71fd-b23d-4d96c048775c", "title": "Blues and Jazz Piano Improv", "url": "https://bollu.github.io/articles/blues-and-jazz-piano-improv.html", "published_at": "2024-04-13T00:00:00+00:00" }, { "id": "01a087c5-33a2-71fd-b23d-4d96bf7d789e", "title": "OP1 Tutorials", "url": "https://bollu.github.io/articles/op1-tutorials.html", "published_at": "2024-04-04T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20bd7143d4", "title": "Decreasing Metric for Mutual Recursive Functions", "url": "https://bollu.github.io/articles/decreasing-metric-for-mutual-recursive-functions.html", "published_at": "2024-03-16T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20bd7d1c1a", "title": "FOL + Fixpoint + Counting Does Not Capture P", "url": "https://bollu.github.io/articles/fol-fixpoint-counting-does-not-capture-p.html", "published_at": "2024-03-09T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20be689b85", "title": "Building an ELF by Hand", "url": "https://bollu.github.io/articles/building-an-elf-by-hand.html", "published_at": "2024-02-12T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20bed7cb47", "title": "Resolution Is Refutation Complete", "url": "https://bollu.github.io/articles/resolution-is-refutation-complete.html", "published_at": "2024-02-05T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20bf058c2f", "title": "Fagin ' s Theorem", "url": "https://bollu.github.io/articles/fagins-theorem.html", "published_at": "2024-02-05T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20bf2a749a", "title": "EF (Ehrenfeucht–Fraïssé) Games", "url": "https://bollu.github.io/articles/ef-ehrenfeuchtfrass-games.html", "published_at": "2024-02-05T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20bf57441b", "title": "DPLL", "url": "https://bollu.github.io/articles/dpll.html", "published_at": "2024-01-31T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20c005e127", "title": "Why FOL Models Must Be Nonempty", "url": "https://bollu.github.io/articles/why-fol-models-must-be-nonempty.html", "published_at": "2024-01-31T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20c0499497", "title": "Concrete Calculation of Hopf Fibration", "url": "https://bollu.github.io/articles/concrete-calculation-of-hopf-fibration.html", "published_at": "2024-01-31T00:00:00+00:00" }, { "id": "01a087c5-3391-73b4-b3e9-7cbe77e40a97", "title": "New Words", "url": "https://bollu.github.io/articles/new-words.html", "published_at": "2024-01-31T00:00:00+00:00" }, { "id": "01a087c5-32e6-7055-81e6-bf20c119fdb6", "title": "Canonical Bundle over RP2 Is Not Trivial", "url": "https://bollu.github.io/articles/canonical-bundle-over-rp2-is-not-trivial.html", "published_at": "2023-11-22T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a3953f3f17c", "title": "Paracompact Spaces", "url": "https://bollu.github.io/articles/paracompact-spaces.html", "published_at": "2023-11-22T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a3953321a0a", "title": "Concrete Description of Spinors", "url": "https://bollu.github.io/articles/concrete-description-of-spinors.html", "published_at": "2023-11-21T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a3954b44fb2", "title": "Latin Prefixes for Words", "url": "https://bollu.github.io/articles/latin-prefixes-for-words.html", "published_at": "2023-11-21T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a3955a9be88", "title": "What the Hell Is a Nix Flake?", "url": "https://bollu.github.io/articles/what-the-hell-is-a-nix-flake.html", "published_at": "2023-11-21T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a3954e34eae", "title": "Crash Course on Prosody", "url": "https://bollu.github.io/articles/crash-course-on-prosody.html", "published_at": "2023-11-02T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a39566b5e6a", "title": "How to Prove noConfusion", "url": "https://bollu.github.io/articles/how-to-prove-noconfusion.html", "published_at": "2023-10-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a39576a4383", "title": "Origami Box Pleating", "url": "https://bollu.github.io/articles/origami-box-pleating.html", "published_at": "2023-10-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a3958056904", "title": "Vibes of Weiner Processes", "url": "https://bollu.github.io/articles/vibes-of-weiner-processes.html", "published_at": "2023-10-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a39587841b8", "title": "Forward Versus Backward Euler", "url": "https://bollu.github.io/articles/forward-versus-backward-euler.html", "published_at": "2023-10-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a3959442434", "title": "Uniform Boundedness Principle / Banach Steinhauss", "url": "https://bollu.github.io/articles/uniform-boundedness-principle-banach-steinhauss.html", "published_at": "2023-08-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a3959d748ef", "title": "Coercive Operator", "url": "https://bollu.github.io/articles/coercive-operator.html", "published_at": "2023-08-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a395a16fa80", "title": "It Suffices to Check for Weak Convergence on a Spanning Set.", "url": "https://bollu.github.io/articles/it-suffices-to-check-for-weak-convergence-on-a-spanning-set.html", "published_at": "2023-08-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a395a3a954c", "title": "Sequence That Converges Weakly but Not Strongly In l^p.", "url": "https://bollu.github.io/articles/sequence-that-converges-weakly-but-not-strongly-in-lp.html", "published_at": "2023-08-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a395a4a02bd", "title": "Axioms for Definite Integration", "url": "https://bollu.github.io/articles/axioms-for-definite-integration.html", "published_at": "2023-08-06T00:00:00+00:00" }, { "id": "01a087c5-32e7-7167-86cc-7a395b259ac0", "title": "Quotient Spaces of Banach Space", "url": "https://bollu.github.io/articles/quotient-spaces-of-banach-space.html", "published_at": "2023-08-06T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb0cf7b9f", "title": "Reisez Lemma", "url": "https://bollu.github.io/articles/reisez-lemma.html", "published_at": "2023-08-06T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb1b67cea", "title": "Using LLL to Discover Minimal Polynomial for Floating Point Number", "url": "https://bollu.github.io/articles/using-lll-to-discover-minimal-polynomial-for-floating-point-number.html", "published_at": "2023-08-03T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb1d85cf3", "title": "Total Boundedness in a Metric Space", "url": "https://bollu.github.io/articles/total-boundedness-in-a-metric-space.html", "published_at": "2023-08-03T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb24e5cd5", "title": "Holonomic v/s Non Holonomic Constraints", "url": "https://bollu.github.io/articles/holonomic-vs-non-holonomic-constraints.html", "published_at": "2023-08-02T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb250d1cf", "title": "The Plenoptic Function", "url": "https://bollu.github.io/articles/the-plenoptic-function.html", "published_at": "2023-08-02T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb2bc151e", "title": "Precision, Recall, and All That.", "url": "https://bollu.github.io/articles/precision-recall-and-all-that.html", "published_at": "2023-06-25T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb2ebd741", "title": "Heine Borel", "url": "https://bollu.github.io/articles/heine-borel.html", "published_at": "2023-06-21T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb3880e13", "title": "The Conceit of Self Loathing", "url": "https://bollu.github.io/articles/the-conceit-of-self-loathing.html", "published_at": "2023-05-28T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb3bd3e57", "title": "Inverse Scattering Transform", "url": "https://bollu.github.io/articles/inverse-scattering-transform.html", "published_at": "2023-05-28T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb42927f0", "title": "Differentiating Through Sampling from a Random Normal Distribution", "url": "https://bollu.github.io/articles/differentiating-through-sampling-from-a-random-normal-distribution.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb4f01719", "title": "BOSCC Vectorization", "url": "https://bollu.github.io/articles/boscc-vectorization.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb5c8b3ec", "title": "Autodiff", "url": "https://bollu.github.io/articles/autodiff.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb6850ec6", "title": "Vector Bundles and K Theory, 1.1", "url": "https://bollu.github.io/articles/vector-bundles-and-k-theory-11.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb78447d8", "title": "Equicontinuity, Arzela Ascoli", "url": "https://bollu.github.io/articles/equicontinuity-arzela-ascoli.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb836398f", "title": "Eikonal Equation [WIP ]", "url": "https://bollu.github.io/articles/eikonal-equation-wip.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb87f985a", "title": "Practical Example of Semidirect Product", "url": "https://bollu.github.io/articles/practical-example-of-semidirect-product.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-32e8-70f7-b90d-879bb8e6b9af", "title": "Algebraic Graph Calculus", "url": "https://bollu.github.io/articles/algebraic-graph-calculus.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-3301-70cb-987f-8136100cebf8", "title": "Change of Basis from Triangle X Y to Barycentric", "url": "https://bollu.github.io/articles/change-of-basis-from-triangle-x-y-to-barycentric.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-3301-70cb-987f-813610e471d7", "title": "Lean4 Access Metam and so Forth", "url": "https://bollu.github.io/articles/lean4-access-metam-and-so-forth.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-3301-70cb-987f-81361126e403", "title": "Harmonic Function", "url": "https://bollu.github.io/articles/harmonic-function.html", "published_at": "2023-05-19T00:00:00+00:00" }, { "id": "01a087c5-3301-70cb-987f-8136124c5003", "title": "Why L2 Needs a Quotient Upto Almost Everywhere", "url": "https://bollu.github.io/articles/why-l2-needs-a-quotient-upto-almost-everywhere.html", "published_at": "2023-04-04T00:00:00+00:00" }, { "id": "01a087c5-3301-70cb-987f-813612726c39", "title": "Repulsive Curves", "url": "https://bollu.github.io/articles/repulsive-curves.html", "published_at": "2023-04-04T00:00:00+00:00" }, { "id": "01a087c5-3302-72a9-816c-9613d1b58e6f", "title": "Minimising L2 Norm with Total Constraint", "url": "https://bollu.github.io/articles/minimising-l2-norm-with-total-constraint.html", "published_at": "2023-04-04T00:00:00+00:00" }, { "id": "01a087c5-3302-72a9-816c-9613d1dff594", "title": "Bounding L2 Norm by L1 Norm and Vice Versa", "url": "https://bollu.github.io/articles/bounding-l2-norm-by-l1-norm-and-vice-versa.html", "published_at": "2023-04-04T00:00:00+00:00" }, { "id": "01a087c5-3302-72a9-816c-9613d2a042f6", "title": "Example of Unbounded Linear Operator", "url": "https://bollu.github.io/articles/example-of-unbounded-linear-operator.html", "published_at": "2023-04-02T00:00:00+00:00" }, { "id": "01a087c5-3303-70a4-a868-ae0d76eb1205", "title": "Direct Sum of Topological Vector Spaces", "url": "https://bollu.github.io/articles/direct-sum-of-topological-vector-spaces.html", "published_at": "2023-04-02T00: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

2024

Applied Counterpoint Lecture Seriesoriginal ↗
15 Oct 2024
Hip Hop on Pianooriginal ↗
15 Oct 2024
Public Domain Ragtimeoriginal ↗
15 Oct 2024
Transformer Architecture Is Based on Sets, Not Sequencesoriginal ↗
15 Oct 2024
Maple Leaf Ragoriginal ↗
14 Oct 2024
Bach: Art of the Fugueoriginal ↗
11 Oct 2024
Bach Style: Suspensionsoriginal ↗
11 Oct 2024
Example of Needing Uniform Convergence / Troll Proof of Pi Equals 4original ↗
11 Oct 2024
Pachabel ' s Seriesoriginal ↗
10 Oct 2024
Ragtime Compositionoriginal ↗
9 Oct 2024
Eliminating Decision Fatigueoriginal ↗
9 Oct 2024
Forward Euler as System of Linear Equationsoriginal ↗
6 Oct 2024
Categorification of Sets Works Because It ' s a Presheaf on a Single Pointoriginal ↗
3 Oct 2024
Maple Leaf Rag: Chord Progressionoriginal ↗
3 Oct 2024
Ragtime Rhythm & Chordsoriginal ↗
3 Oct 2024
When to Generalize an Argument to a Function for an Inductive Prooforiginal ↗
29 Sept 2024
Glenn Gouldoriginal ↗
29 Sept 2024
Music Appreciationoriginal ↗
28 Sept 2024
Implementing Nelson Oppenoriginal ↗
21 Sept 2024
Nondeterministic Nelson Oppenoriginal ↗
21 Sept 2024
Playing the Pianooriginal ↗
21 Sept 2024
Software Bugs Are Real Bugs?original ↗
15 Sept 2024
The Two Modes of My Workoriginal ↗
15 Sept 2024
Gosper ' s Algorithmoriginal ↗
12 Sept 2024
WZ (Wilf Zeilberger) Pairsoriginal ↗
12 Sept 2024
Sister Celine ' s Algorithmoriginal ↗
12 Sept 2024
Readingoriginal ↗
31 Aug 2024
The Gradual Guaranteesoriginal ↗
26 Aug 2024
Lean Naming Convention for Contextsoriginal ↗
26 Aug 2024
Right Hand for Arpeggiosoriginal ↗
21 Aug 2024
Simulating Inductives Via Coinductives (And Vice Versa)original ↗
17 Aug 2024
Amelie Arpeggiation Explanationoriginal ↗
14 Aug 2024
Inductive Predicate as Least Fixed Point, Directlyoriginal ↗
9 Aug 2024
Interpolants: Vibesoriginal ↗
8 Aug 2024
AWS MathFest 2024original ↗
8 Aug 2024
Sobolev Embedding Theoremoriginal ↗
8 Aug 2024
Proving False with Partial Functions Even with Inhabited Typesoriginal ↗
25 Jul 2024
Ffmpeg One Liner to Re-encode Mp4 so Chrome Can Open Itoriginal ↗
14 Jun 2024
Table Maker ' s Dilemmaoriginal ↗
9 Jun 2024
Notes on Copy and Patch Compilationoriginal ↗
2 Jun 2024
Techne, Da Vinci, Michalangelo, and Artoriginal ↗
1 Jun 2024
Setting up SAIL for Porting to Leanoriginal ↗
7 May 2024
Latte Artoriginal ↗
7 May 2024
Sheet Musicoriginal ↗
25 Apr 2024
Gregorian Chant and Numesoriginal ↗
14 Apr 2024
Classical Musicoriginal ↗
13 Apr 2024
Blues and Jazz Piano Improvoriginal ↗
13 Apr 2024
OP1 Tutorialsoriginal ↗
4 Apr 2024
Decreasing Metric for Mutual Recursive Functionsoriginal ↗
16 Mar 2024
FOL + Fixpoint + Counting Does Not Capture Poriginal ↗
9 Mar 2024
Building an ELF by Handoriginal ↗
12 Feb 2024
Resolution Is Refutation Completeoriginal ↗
5 Feb 2024
Fagin ' s Theoremoriginal ↗
5 Feb 2024
EF (Ehrenfeucht–Fraïssé) Gamesoriginal ↗
5 Feb 2024
DPLLoriginal ↗
31 Jan 2024
Why FOL Models Must Be Nonemptyoriginal ↗
31 Jan 2024
Concrete Calculation of Hopf Fibrationoriginal ↗
31 Jan 2024
New Wordsoriginal ↗
31 Jan 2024

2023

Canonical Bundle over RP2 Is Not Trivialoriginal ↗
22 Nov 2023
Paracompact Spacesoriginal ↗
22 Nov 2023
Concrete Description of Spinorsoriginal ↗
21 Nov 2023
Latin Prefixes for Wordsoriginal ↗
21 Nov 2023
What the Hell Is a Nix Flake?original ↗
21 Nov 2023
Crash Course on Prosodyoriginal ↗
2 Nov 2023
How to Prove noConfusionoriginal ↗
6 Oct 2023
Origami Box Pleatingoriginal ↗
6 Oct 2023
Vibes of Weiner Processesoriginal ↗
6 Oct 2023
Forward Versus Backward Euleroriginal ↗
6 Oct 2023
Uniform Boundedness Principle / Banach Steinhaussoriginal ↗
6 Aug 2023
Coercive Operatororiginal ↗
6 Aug 2023
It Suffices to Check for Weak Convergence on a Spanning Set.original ↗
6 Aug 2023
Sequence That Converges Weakly but Not Strongly In l^p.original ↗
6 Aug 2023
Axioms for Definite Integrationoriginal ↗
6 Aug 2023
Quotient Spaces of Banach Spaceoriginal ↗
6 Aug 2023
Reisez Lemmaoriginal ↗
6 Aug 2023
Using LLL to Discover Minimal Polynomial for Floating Point Numberoriginal ↗
3 Aug 2023
Total Boundedness in a Metric Spaceoriginal ↗
3 Aug 2023
Holonomic v/s Non Holonomic Constraintsoriginal ↗
2 Aug 2023
The Plenoptic Functionoriginal ↗
2 Aug 2023
Precision, Recall, and All That.original ↗
25 Jun 2023
Heine Boreloriginal ↗
21 Jun 2023
The Conceit of Self Loathingoriginal ↗
28 May 2023
Inverse Scattering Transformoriginal ↗
28 May 2023
Differentiating Through Sampling from a Random Normal Distributionoriginal ↗
19 May 2023
BOSCC Vectorizationoriginal ↗
19 May 2023
Autodifforiginal ↗
19 May 2023
Vector Bundles and K Theory, 1.1original ↗
19 May 2023
Equicontinuity, Arzela Ascolioriginal ↗
19 May 2023
Eikonal Equation [WIP ]original ↗
19 May 2023
Practical Example of Semidirect Productoriginal ↗
19 May 2023
Algebraic Graph Calculusoriginal ↗
19 May 2023
Change of Basis from Triangle X Y to Barycentricoriginal ↗
19 May 2023
Lean4 Access Metam and so Forthoriginal ↗
19 May 2023
Harmonic Functionoriginal ↗
19 May 2023
Why L2 Needs a Quotient Upto Almost Everywhereoriginal ↗
4 Apr 2023
Repulsive Curvesoriginal ↗
4 Apr 2023
Minimising L2 Norm with Total Constraintoriginal ↗
4 Apr 2023
Bounding L2 Norm by L1 Norm and Vice Versaoriginal ↗
4 Apr 2023
Example of Unbounded Linear Operatororiginal ↗
2 Apr 2023
Direct Sum of Topological Vector Spacesoriginal ↗
2 Apr 2023
Previous Next