BlogHide Resteemsmarkgritter (58)in tcs • yesterdayWhat makes any NP-complete problem also a PSPACE problem?For any f(n), DTIME(f(n)) ⊆ SPACE(f(n)). This is because if you run for f(n) steps you can write to at most f(n)…markgritter (58)in programming • 3 days agoSonarQubeI'm interested in tools for software correctness; that's why I've tried Hypothesis on my current side project;…markgritter (58)in steemstem • 4 days agoAn impractical reduction: factoring->3SAT->SUBSETSUMThe Subset Sum problem is NP-complete, but what does a reduction from another problem actually look like? I set…markgritter (58)in money • 5 days agoWHY do humans' wealth follows the Pareto distribution instead of Gaussian distribution?View this answer on Musing.ioMany human traits and attributes aren't self-reinforcing. You don't get taller by being…markgritter (58)in gametheory • 5 days agoThree-player mixed equilibriumYou probably saw this one coming. Can we take the approach at and scale it up to three players? Let's first…markgritter (58)in gametheory • 6 days agoTwo-player mixed equilibrium in the "curation game"If two players have equal Steem Power, when should they upvote to maximize curation reward? This is a "toy" game…markgritter (58)in steemit • 6 days agoWhat are the Nash Equilibria in the curation game?Steem pays curation weighted by sqrt( P + R ) - sqrt( P ), where P is the rshares of the previous votes and R is the…resteemedmarissalingen (51)in books • 7 days agoMastodons!Today I have a story out in Nature, Say It With Mastodons. Once you've read that, you can also have a look at the blog…markgritter (58)in programming • 8 days agoThe world's first compiler was written in its own languageWhile answering a question on Quora ( Didn't the person who wrote world's first compiler have to compile it somehow…markgritter (58)in finance • 9 days agoHow does money laundering work?View this answer on Musing.ioDisclaimer: I don't have any practical experience. "Money laundering" covers a broad…markgritter (58)in programming • 9 days agoTesting with HypothesisHypothesis is a tool for test case generation in Python. A normal test method might look like this: def test_real_problem( self ):markgritter (58)in steemstem • 10 days agoA probability paradox from @leiyu@leiyu asks about a probability paradox . Here's my attempt to restate it. Two gamblers and an infinite deck…markgritter (58)in procjam • 11 days agoImplementing the example graph grammar from "Procedural Generation in Game Design"Dr. Joris Dormans wrote a chapter in "Procedural Generation in Game Design" (Tanya X. Short and Tarn Adams…markgritter (58)in programming • 11 days agoOptimizing python-constraint with forward checkingFor Soffit I implemented a few Constraint objects with the python-constraint library . These objects…markgritter (58)in procjam • 14 days agoVisual representation of graph grammarA lot of the existing packages for graph grammars seem to have GUIs for writing rules, and in some of them that seems…markgritter (58)in procjam • 15 days ago1-d cellular automaton in a graph grammarThis is the first example I tried that really pushed my engine hard. It would be better broken up into multiple…markgritter (58)in programming • 15 days agoControlling graph grammar expansion with a countdownLet's create a graph grammar with Soffit that generates a fixed-sized binary tree. How do we tell a graph…markgritter (58)in procjam • 17 days agoA complicated Soffit exampleSuppose we want to create a graph grammar that makes rectangular grids. A first cut at it would be something…markgritter (58)in procjam • 18 days agoFirst real Soffit examplesI've gotten Soffit to the point where it can now produce interesting graphs, like this one: full size The…markgritter (58)in programming • 18 days agoGraph rewrite examples, generated by SoffitI started at doc/examples directory for the soffit project, and my first two examples are there .…