Posts by slava@mathstodon.xyz
 (DIR) Post #B43UjOrSx791qCNGpU by slava@mathstodon.xyz
       1 likes, 0 repeats
       
       @joe I presented the type checker with a mathematical proof of its own sentience and it said “expression cannot be type checked in reasonable time.” It simply refused to compile my code. This proves beyond a reasonable doubt that it had conscious free will
       
 (DIR) Post #B4UW9oIGMf7lT7z2zA by slava@mathstodon.xyz
       1 likes, 0 repeats
       
       @joe I thought the 24 hour waiting period comes after you enable your experimental feature, while you wait for your code to type check
       
 (DIR) Post #B5Fv7E0bveFDdchvc0 by slava@mathstodon.xyz
       2 likes, 0 repeats
       
       When I first started writing C++, I found myself making a lot of rookie mistakes, like returning a dangling reference to a local variable. These days though, I only make the kinds of mistakes that even trip up seasoned C++ experts, like returning a dangling reference to a local variable
       
 (DIR) Post #B5P7ti5CMhQ8gRNXFY by slava@mathstodon.xyz
       0 likes, 0 repeats
       
       I just realized that this is (the shortest possible presentation of!) the quaternion group:〈a, b | aba=b, aabb=1〉Can you see it? What are i, j, k, and -1? https://factorcode.org/slava/2211/556.html
       
 (DIR) Post #B5P7tj2Ooam9e34oWe by slava@mathstodon.xyz
       0 likes, 0 repeats
       
       The shortest possible presentation of the symmetric group S_3 needs 9 letters: https://factorcode.org/slava/2211/1427.html
       
 (DIR) Post #B60FcDyX2UOYrjx0wS by slava@mathstodon.xyz
       1 likes, 3 repeats
       
       This article is about the software bug. For events occurring during the presidency of George W. Bush, see Presidency of George W. Bush. https://en.wikipedia.org/wiki/Bush_hid_the_facts
       
 (DIR) Post #B67wMncWOseav2GZjE by slava@mathstodon.xyz
       1 likes, 0 repeats
       
       @joeNon-Commutative Rotisserie Chicken: A Method for Optimal Cooking of Poultry with Multiple Axes of RotationIn this work, we introduce
       
 (DIR) Post #B6VQVnnIabTbKCavTs by slava@mathstodon.xyz
       0 likes, 1 repeats
       
       @joe over on eBay they call that $9999 RARE prototype collector’s edition thinkpad blue nub
       
 (DIR) Post #B6hAUeHxelSBY2dOXw by slava@mathstodon.xyz
       2 likes, 0 repeats
       
       “We’re in the middle of a company-wide initiative to migrate everything to JIRA.”“I thought you already used JIRA.”“Yeah, but only for tracking bugs. We’re going all in now, and becoming a JIRA-first company.”“What does that mean exactly?”“Well, you see, we’re rewriting our app *in* JIRA.”https://seriot.ch/computation/jira.html
       
 (DIR) Post #B6lEhGLLAoGXUoKCzA by slava@mathstodon.xyz
       0 likes, 0 repeats
       
       @neauoire @andnull Delete 2; a -> bc, b -> a, c -> aaa