hwayne

20 ms·

1. 211.▲
   by hwayne 4y ago

   Right now there's 1,400 streamers.
2. 212.▲
   by hwayne 4y ago

   I haven't implemented this yet, but one thing I'm looking forward to is lua libraries. I have a data YAML that carries some autocomplete information. To use it with a vimscript function I had to convert it to a JSON first. With lu
3. 213.▲
   by hwayne 4y ago

   Yeah, being able to write my vim scripts in lua has been a gamechanger for me.
4. 214.▲
   by hwayne 4y ago

   Hell yeah. I've heard enough war stories from conference organizers to know that they'd really benefit from a small conference to share tips on running conferences. The problem is that anyone who'd benefit from it would want
5. 215.▲
   Love and Death in the Cape Fear Serpentarium (2017)(main.oxfordamerican.org)

   23 points by hwayne 4y ago|5 comments
6. 216.▲
   by hwayne 4y ago

   `add(x, y) = x * y`
7. 217.▲
   by hwayne 4y ago

   Author here, looking into those earlier sources now EDIT: The "Advisory Opinions" source is mislabeled and was published after 1989. [1] The "Typographic Journal" refers to boiler plate as a derogative for a low quality
8. 218.▲
   by hwayne 4y ago

   I got really excited that The Daily Paper was back but this is from 2020 and now I'm sad again.
9. 219.▲
   by hwayne 4y ago

   More on the methodology here: http://intelligenceengine.blogspot.com/2014/11/game-outcomes... tl;dr it's very similar to the DORA report, though they had an external reference point in the form of metacritic
10. 220.▲
    Crunch Makes Games Worse(gamedeveloper.com)

    2 points by hwayne 4y ago|1 comments
11. 221.▲
    by hwayne 4y ago

    I just gave up and mimicked tags with symlinks and subfolders. ie "foo" is tagged "todo" if there's a symlink to it in "Tags/todo/". It works surprisingly well, since I can manage it with standar
12. 222.▲
    by hwayne 4y ago

    I have a really high standard for my blog posts. They go through several rounds of rewrites, with feedback from friends, before I'm happy with them. That plus the length (median ~2000 words) means that most of my blog posts take weeks
13. 223.▲
    by hwayne 4y ago

    Check out IronFleet! https://www.microsoft.com/en-us/research/wp-content/uploads/...
14. 224.▲
    by hwayne 4y ago

    Unfortunately it does not.
15. 225.▲
    by hwayne 4y ago

    The universal problem is "generating code from a formal spec" is extremely, maddeningly, pull-your-hair-outingly hard. A slightly easier thing, as you said, generating test cases, which is what the Mongo people have been advancing
16. 226.▲
    by hwayne 4y ago

    I know you're being tongue-in-cheek... but this is actually something we care about a lot! There's a technique in formal specification called "Refinement", where you show a detailed spec successfully implements a more ab
17. 227.▲
    by hwayne 4y ago

    There was a great talk at TLAConf this year by a PE at Nike, where they used it to find bugs in their in-store payment apps. He said it's a 40/60 chance legal will give us permission to share the recording, though.
18. 228.▲
    by hwayne 4y ago

    I just really really really like teaching stuff :)
19. 229.▲
    by hwayne 4y ago

    I haven't done any work on this since July due to needing to prepare a new TLA+ workshop from scratch, but now that that's over I plan to spend a day each week doing updates. On the docket: - Moving some of the examples from Prac
20. 230.▲
    by hwayne 4y ago

    I've always wanted to try using Twine to prototype a product. Apropos of nothing, here's Julia Evans using Twine to teach debugging practices: https://computer-mysteries.netlify.app/slow-website.html
21. 231.▲
    by hwayne 4y ago

    There's some, but it's not... great. The two highest profile studies I know of are: "A Large-Scale Study of Programming Languages and Code Quality in Github" [1]: Finds significant differences in defect rate between type
22. 232.▲
    by hwayne 4y ago

    These days I've been really keen on qualitative studies, where scientists work on building a better understanding of software instead of trying to validate theories. Some examples of that: https://link.springer.com/ar
23. 233.▲
    by hwayne 4y ago

    True, but it's not empirical research .
24. 234.▲
    by hwayne 4y ago

    All in good fun ;) As several people pointed out, I never said what my context for encoding recipes was, so here's a bit more about what inspired this example. I throw a lot of dinner parties, and a lot of my friends have dietary restr
25. 235.▲
    by hwayne 4y ago

    > I don't think this person is very familiar with cooking. This is the worst I've been insulted in my life and I demand you duel me in a cookoff. Skillets at dawn! ;)
26. 236.▲
    by hwayne 4y ago

    > The Max of the interval [7, ∞) is 7!? What!? And (-∞, 7] and [7, ∞) are both OK but (-∞, ∞) isn't? Yup, you got it, both of those are exactly correct. I needed it for Beamer `\onslide`-like functionality in another context. > I
27. 237.▲
    by hwayne 4y ago

    Pascal is a variant of ALGOL-60, made in part because Wirth thought ALGOL-68 was way too complicated. BASIC instead comes from the FORTRAN line.
28. 238.▲
    by hwayne 4y ago

    You can name cells in the upper left corner and name ranges under `Data > Named Ranges`. You can't create a value that's not part of a cell or range (which you can do in Excel under the Name Manager.)
29. 239.▲
    by hwayne 4y ago

    I never said I was good with Excel :P
30. 240.▲
    by hwayne 4y ago

    The feature name is "linked data types", under the "data" tab. Put, say, "downward dog" into a cell and click the "yoga" linked data type. There's other, more useful data types, like cities and Z