<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title><![CDATA[RSS Feed]]></title><description><![CDATA[RSS Feed]]></description><link>http://direct.ecency.com</link><image><url>http://direct.ecency.com/logo512.png</url><title>RSS Feed</title><link>http://direct.ecency.com</link></image><generator>RSS for Node</generator><lastBuildDate>Wed, 15 Apr 2026 07:30:47 GMT</lastBuildDate><atom:link href="http://direct.ecency.com/@markgritter/rss" rel="self" type="application/rss+xml"/><item><title><![CDATA[Week 3 at Hashicorp]]></title><description><![CDATA[The weird thing about working for an open-source company is that any random person can come by and look at what I've been doing: I resolved a couple issues brought up by Vault users. Today I've started]]></description><link>http://direct.ecency.com/work/@markgritter/week-3-at-hashicorp</link><guid isPermaLink="true">http://direct.ecency.com/work/@markgritter/week-3-at-hashicorp</guid><category><![CDATA[work]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sat, 11 May 2019 00:22:48 GMT</pubDate></item><item><title><![CDATA[Existence properties for first-order number theory are all finitely checkable]]></title><description><![CDATA[OK, that's a mouthful. I wrote an answer to How can I show that a function is not computable over at Quora, which brought up the Busy Beaver function. BB(n) is a typical example of a non-computable function.]]></description><link>http://direct.ecency.com/theory/@markgritter/existence-properties-for-first-order-number-theory-are-all-finitely-checkable</link><guid isPermaLink="true">http://direct.ecency.com/theory/@markgritter/existence-properties-for-first-order-number-theory-are-all-finitely-checkable</guid><category><![CDATA[theory]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Mon, 06 May 2019 05:00:36 GMT</pubDate></item><item><title><![CDATA[Job search notes]]></title><description><![CDATA[When I decided to look for a new job, I had in mind the sort of thing I most wanted to do. I wanted to work on software security and correctness tooling, or more generally on infrastructure for building]]></description><link>http://direct.ecency.com/ulog/@markgritter/job-search-notes</link><guid isPermaLink="true">http://direct.ecency.com/ulog/@markgritter/job-search-notes</guid><category><![CDATA[ulog]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Thu, 18 Apr 2019 01:28:30 GMT</pubDate><enclosure url="https://images.ecency.com/p/C3TZR1g81UNaPs7vzNXHueW5ZM76DSHWEY7onmfLxcK2iNyw2kLuFXp9NdGhHhjjhZPLvvTyHRLfEpSzkyDkvV4RY6NkqBFuDT8yLqT2zqEiWncZVCzDo8A?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Leaving Tintri]]></title><description><![CDATA[I haven't kept on my blogging here in the past couple months, and there's a significant reason why. After nearly 11 years at Tintri, I've decided it's time for me to start something new. This wasn't an]]></description><link>http://direct.ecency.com/ulog/@markgritter/leaving-tintri</link><guid isPermaLink="true">http://direct.ecency.com/ulog/@markgritter/leaving-tintri</guid><category><![CDATA[ulog]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Wed, 10 Apr 2019 19:23:00 GMT</pubDate></item><item><title><![CDATA[Onigiri]]></title><description><![CDATA[I've wanted some onigiri for a while so I decided try making some for lunch. My first attempt was edible (it's hard to screw them up that badly) but not very pretty: I followed the instructions from]]></description><link>http://direct.ecency.com/food/@markgritter/onigiri</link><guid isPermaLink="true">http://direct.ecency.com/food/@markgritter/onigiri</guid><category><![CDATA[food]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sun, 31 Mar 2019 05:39:42 GMT</pubDate><enclosure url="https://images.ecency.com/p/3jpR3paJ37V8JxyWvtbhvcm5k3roJwHBR4WTALx7XaoRovbbgQGi1tYJ5P2Z2RX4qTDY3Cxoufm2ossC3PyPFtR8F7WZfud7AgeYtALe1CSDhpLF8dtAqyQDcs9UiLYaxVE4v?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Is your coin flip irrational?]]></title><description><![CDATA[A mathematician I follow on Twitter recently referenced On Determining the Irrationality of the Mean of a Random Variable by Thomas M. Cover (The Annals of Statistics 1973, Vol. 1, No. 5, 862-871). Testing]]></description><link>http://direct.ecency.com/steemstem/@markgritter/is-your-coin-flip-irrational</link><guid isPermaLink="true">http://direct.ecency.com/steemstem/@markgritter/is-your-coin-flip-irrational</guid><category><![CDATA[steemstem]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sat, 16 Mar 2019 20:05:54 GMT</pubDate><enclosure url="https://images.ecency.com/p/C3TZR1g81UNaPs7vzNXHueW5ZM76DSHWEY7onmfLxcK2iPeBiF5wmnvQF7ndTpXMpPiCxPoJPDmVEyBQqCCBc6AJwMRLZpocTZHqUeckSnP1RNcvWcECmYA?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Partitioning a set into lists]]></title><description><![CDATA[The Bell numbers count how many ways there are to partition N elements into sets. What if we want to partition the elements into ordered groups instead, as this Quora question asks? For example, {a,b}]]></description><link>http://direct.ecency.com/steemstem/@markgritter/partitioning-a-set-into-lists</link><guid isPermaLink="true">http://direct.ecency.com/steemstem/@markgritter/partitioning-a-set-into-lists</guid><category><![CDATA[steemstem]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sun, 20 Jan 2019 05:32:21 GMT</pubDate></item><item><title><![CDATA[Math is more than plugging in a formula, dammit]]></title><description><![CDATA[On Quora, I answered this question: How long does it take for your money to grow 10 times its original value if the rate of interest is 5% per annum? In my answer, I pointed out that there's a missing]]></description><link>http://direct.ecency.com/steemstem/@markgritter/math-is-more-than-plugging-in-a-formula-dammit</link><guid isPermaLink="true">http://direct.ecency.com/steemstem/@markgritter/math-is-more-than-plugging-in-a-formula-dammit</guid><category><![CDATA[steemstem]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sun, 20 Jan 2019 01:20:33 GMT</pubDate></item><item><title><![CDATA[Why are email pitches so bad?]]></title><description><![CDATA[Via Twitter: Recently my co-founder left Tintri. Now his email address has been aliased to me. Along with our interim CEO's email address. So now I get about 2.5x as much founder/CTO/executive-directed]]></description><link>http://direct.ecency.com/spam/@markgritter/why-are-email-pitches-so-bad</link><guid isPermaLink="true">http://direct.ecency.com/spam/@markgritter/why-are-email-pitches-so-bad</guid><category><![CDATA[spam]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sun, 13 Jan 2019 04:45:00 GMT</pubDate><enclosure url="https://images.ecency.com/p/C3TZR1g81UNaPs7vzNXHueW5ZM76DSHWEY7onmfLxcK2iQGbBqTJp5WWMkym8dT877av6EpXpsUbYpfo7avLEZAzxM1uN3seyxWFYtYEZbYkp16sn9vj4uL?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Steem account setup latency: 40 days]]></title><description><![CDATA[An acquaintance verified their email with Steemit on November 29th and finally got the "One last step to set up your account" email yesterday, January 8th. That's a 40-day wait for a new user,]]></description><link>http://direct.ecency.com/steemit/@markgritter/steem-account-setup-latency-40-days</link><guid isPermaLink="true">http://direct.ecency.com/steemit/@markgritter/steem-account-setup-latency-40-days</guid><category><![CDATA[steemit]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Wed, 09 Jan 2019 06:28:03 GMT</pubDate></item><item><title><![CDATA[Advent of Code day 13 [spoilers]]]></title><description><![CDATA[Day 13 is a simulation of carts on tracks. The track layout is given by an ASCII diagram, like this one: /->-\ | | /----\ | /-+--+-\ | | | | | v | \-+-/ \-+--/ \------/ I decided it would be better]]></description><link>http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-13-spoilers</link><guid isPermaLink="true">http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-13-spoilers</guid><category><![CDATA[adventofcode]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Mon, 07 Jan 2019 06:30:45 GMT</pubDate></item><item><title><![CDATA[Advent of Code, day 12, in Haskell [spoilers]]]></title><description><![CDATA[Day 12 asks us to implement a cellular automaton. There's a lot of flavor text, but that's basically it. The rules are part of the puzzle; I don't know if they're actually different for everyone or not.]]></description><link>http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-12-in-haskell-spoilers</link><guid isPermaLink="true">http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-12-in-haskell-spoilers</guid><category><![CDATA[adventofcode]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sun, 06 Jan 2019 06:13:06 GMT</pubDate></item><item><title><![CDATA[Advent of Code Day 11 [spoilers], Inclusion-Exclusion, and Haskell's odd design decisions]]></title><description><![CDATA[Haskell has a maximum function and it has lazy evaluations of lists. I come from Python that has a max function and list generators. But there turns out to be a crucial difference. Day 11 asks us to find]]></description><link>http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-11-spoilers-inclusion-exclusion-and-haskell-s-odd-design-decisions</link><guid isPermaLink="true">http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-11-spoilers-inclusion-exclusion-and-haskell-s-odd-design-decisions</guid><category><![CDATA[adventofcode]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Fri, 04 Jan 2019 04:39:30 GMT</pubDate><enclosure url="https://images.ecency.com/p/gPCasciUWmEwHnsXKML7xF4NE4zxEVyvENsPKp9LmDaFv57mJdSfgvGCyPd8aPubLAqhcZKZMbbDThQRr8my2SxaeJs3tY6HVhdfhas6xEWypxBWmZt3LLPyBAxBWB4v8VmLEu8ruk2aijfmZ8?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Advent of Code Day 8 [spoilers]]]></title><description><![CDATA[Day 8's puzzle was basically just about parsing a long list of integers correctly, and writing tree-recursive functions correctly. Both are pretty easy in Haskell. I defined the tree object like this,]]></description><link>http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-8-spoilers</link><guid isPermaLink="true">http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-8-spoilers</guid><category><![CDATA[adventofcode]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Tue, 01 Jan 2019 23:43:33 GMT</pubDate></item><item><title><![CDATA[Advent Of Code Day 5 [spoilers]]]></title><description><![CDATA[I completely gave up on solving the Advent of Code problems as they went up, and I'm backfilling the days I missed, which is most of them. Day 5 was the first time I really felt happy with my Haskell solution,]]></description><link>http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-5-spoilers</link><guid isPermaLink="true">http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-5-spoilers</guid><category><![CDATA[adventofcode]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sat, 29 Dec 2018 06:07:54 GMT</pubDate></item><item><title><![CDATA[A: What is clustering in Data Science?]]></title><description><![CDATA[In a data-science context, clustering refers to organizing data into categories by using some sort of distance metric. "K-means clustering" is a common technique for doing so, but other clustering]]></description><link>http://direct.ecency.com/stemq/@markgritter/a-what-is-clustering-in-data-science1545973425852</link><guid isPermaLink="true">http://direct.ecency.com/stemq/@markgritter/a-what-is-clustering-in-data-science1545973425852</guid><category><![CDATA[stemq]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Fri, 28 Dec 2018 05:03:39 GMT</pubDate><enclosure url="https://images.ecency.com/p/C3TZR1g81UNaPs7vzNXHueW5ZM76DSHWEY7onmfLxcK2iP9JddrHUyuxipAzkSrfWEieSP1dv1ThMZfoVzNhazJAEHuAijpnHw59UDPwEBn9B3Nqo8iNvhk?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[What does the AC0 complexity class mean?]]></title><description><![CDATA[AC^0 is a circuit complexity class. It represents the set of decision problems that are solvable with a family of constant-depth unlimited-fanin polynomial-size circuits. Photo by Yung Chang on Unsplash.]]></description><link>http://direct.ecency.com/steemstem/@markgritter/what-does-the-ac0-complexity-class-mean</link><guid isPermaLink="true">http://direct.ecency.com/steemstem/@markgritter/what-does-the-ac0-complexity-class-mean</guid><category><![CDATA[steemstem]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Mon, 17 Dec 2018 04:19:45 GMT</pubDate><enclosure url="https://images.ecency.com/p/3zpz8WQe4SNGWd7TzozjPgq3rggennavDx3XPY35pEAVnpwZkVDvQ1qovePgKFpgq24jG5gGPM2EHZaVrpurmArVSPanvBnHskPDCUBEreeMWWFLpPgaQYHzt5y4QHHa9wVoavoYczA8d1fVSM6E?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[What happened to Sun Microsystems?]]></title><description><![CDATA[During the first Internet boom of the late 1990’s, Sun was everywhere. Startup companies bought Sun hardware for their data centers, back when building your own data center was still a thing startups did.]]></description><link>http://direct.ecency.com/history/@markgritter/what-happened-to-sun-microsystems</link><guid isPermaLink="true">http://direct.ecency.com/history/@markgritter/what-happened-to-sun-microsystems</guid><category><![CDATA[history]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Sun, 16 Dec 2018 00:52:03 GMT</pubDate><enclosure url="https://images.ecency.com/p/C3TZR1g81UNaPs7vzNXHueW5ZM76DSHWEY7onmfLxcK2iNurrMntNmGHMqGJ1pMuAPuAPvVX8SDTkncGbPKrqCddQcLTr6cfZH15d4wzQtsBr1FCw8WZuNe?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Advent of Code, day 7 [spoilers]]]></title><description><![CDATA[The Day 7 puzzle is about parallel builds. So, just convert your input into a Makefile and solve it with GNU Make! OK, maybe not. I probably could have gotten that working in less time than it took me]]></description><link>http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-7-spoilers</link><guid isPermaLink="true">http://direct.ecency.com/adventofcode/@markgritter/advent-of-code-day-7-spoilers</guid><category><![CDATA[adventofcode]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Tue, 11 Dec 2018 09:32:39 GMT</pubDate></item><item><title><![CDATA[Never give up, never pass up a chance to make stupid math jokes]]></title><description><![CDATA[(Inspiration:]]></description><link>http://direct.ecency.com/meme/@markgritter/never-give-up-never-pass-up-a-chance-to-make-stupid-math-jokes</link><guid isPermaLink="true">http://direct.ecency.com/meme/@markgritter/never-give-up-never-pass-up-a-chance-to-make-stupid-math-jokes</guid><category><![CDATA[meme]]></category><dc:creator><![CDATA[markgritter]]></dc:creator><pubDate>Fri, 07 Dec 2018 08:58:42 GMT</pubDate><enclosure url="https://images.ecency.com/p/C3TZR1g81UNaPs7vzNXHueW5ZM76DSHWEY7onmfLxcK2iQSXhHYSNWS8gapQD1tTA34KX7nAeRxbRXRMvHjD2q779KH6SgMAGjGdJkQSGPrqvmjptJuoeuU?format=match&amp;mode=fit" length="0" type="false"/></item></channel></rss>