Jon Purdy

@evincarofautumn

Facebook → Xamarin → Microsoft →Groq • functional programming • programming languages • Kitten

Burlingame, CA
Vrijeme pridruživanja: rujan 2008.

Tweetovi

Blokirali ste korisnika/cu @evincarofautumn

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @evincarofautumn

  1. Prikvačeni tweet
    8. lip 2018.

    I’m resurrecting this account for programming-related content. That will mostly be about the Kitten programming language ()—check out the Gitter channel () if you want to help me bikeshed and figure out design & implementation details

    Poništi
  2. proslijedio/la je Tweet
    7. sij

    🚇"Groq rolls over competitors." Feeling awfully proud of today! 🚀⚡️

    Poništi
  3. 9. pro 2019.

    “What does this C++ code prin—” Please stop. I don’t care. I love languages, I love trivia, I know the answer, and I promise you it’s not worth the space in your head, unless you’re willing to rent it all out for language-lawyering instead of writing code that stays written.

    Poništi
  4. 12. lis 2019.

    A programming language shouldn’t need syntax highlighting to be readable; highlighting ought to augment the language, not paper over its deficiencies of usability

    Poništi
  5. 20. ožu 2019.

    I’ve also readopted the practices I used when I was most productive: do a little bit every day and record tasks/progress in a lightweight way, avoiding getting sucked into the fauxductivity of writing up issues and plans instead of just…working on issues and carrying out plans.

    Prikaži ovu nit
    Poništi
  6. 20. ožu 2019.

    This is to say that I’m at it again—the latest development is that I wrote up a precise spec of what I want in 1.0, trimming wishlist features for now, and figured out the architectural changes that will make that spec easier to implement. I’m excited and hopeful about it! 🙂

    Prikaži ovu nit
    Poništi
  7. 20. ožu 2019.

    I took time off between jobs to work on Kitten, but since going back to work, it seems that I’m more productive not when I’m not working, but when I’m working a job that I *like*—it forces me to maintain a regular schedule, but doesn’t make me too burnt out to do side projects.

    Prikaži ovu nit
    Poništi
  8. proslijedio/la je Tweet

    Linguistics / speech pathology Twitter: is there a name for the manner of articulating s/z sounds where the tongue is positioned very far forward, sometimes interdentally, but *without* a lisp? (That is, the manner of articulation is unusual, but the sound is non-disordered.)

    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet

    I’ve accepted a job as a software engineer at Groq, starting in a couple weeks. 🙂 They make a processor for ML/AI computing, and I will be working on the compiler for it in Haskell.

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    Odgovor korisniku/ci

    Maybe if we all prematurely optimized we wouldn’t be collectively responsible for consuming 10% of the global electricity output and consequently for generating like a million metric tons of CO₂ emissions annually This is why I’m writing a low-level statically typed language

    Poništi
  11. 22. lis 2018.

    Working on Kitten on Windows lately has been a strange adjustment from a few years of Mac/Linux. Fortunately most of my tools (Emacs, Git, Stack) work exactly the same, but I keep getting tripped up by the little muscle memory things like shell/OS keybindings.

    Poništi
  12. 9. lis 2018.

    I didn’t learn my lesson about backups the last time, clearly. 😑

    Prikaži ovu nit
    Poništi
  13. 9. lis 2018.

    Lost some time to work on Kitten because my computer died & I’ve been neglecting repairing/replacing it. Should get that done in the next few days; meanwhile I guess I can use my partner’s computer, but I’ve been avoiding that because it doesn’t have my dev env or my latest code.

    Prikaži ovu nit
    Poništi
  14. 27. ruj 2018.

    I could use “““…”””, but because curved quotes are nestable, this is currently a text literal that happens to begin and end with quote characters. Should I special-case this just like for ASCII paragraph literals, or use a different symbol like: ¶ multi line text ¶ ?

    Prikaži ovu nit
    Poništi
  15. 27. ruj 2018.

    Fill in the blank with what you would expect for multi-line text literal syntax in Kitten: • Character literal: ASCII 'c' Unicode ‘c’ • Text literal: ASCII "abc" Unicode “abc” • Paragraph literal: ASCII """ multi line text """ Unicode _____

    Prikaži ovu nit
    Poništi
  16. 16. kol 2018.

    I will also try to make a “Lately in Kitten” blog post every 1–2 weeks during that period on to track high-level progress, with smaller-scale updates posted here and discussed on

    Prikaži ovu nit
    Poništi
  17. 16. kol 2018.

    In order to motivate myself, I’m going to set a soft deadline for a release announcement of Kitten—the rough plan right now is to start finalising things on the 26th (after I get back from some travelling) and announce a release candidate 6–10 weeks after that.

    Prikaži ovu nit
    Poništi
  18. 14. lip 2018.

    Various rendering styles are possible, e.g. lines instead of boxes for type cells, adding colours, only displaying types around the currently focused cell, &c. Gotta try various things, see what people find readable, choose sensible defaults, maybe expose the rest as settings.

    Prikaži ovu nit
    Poništi
  19. 14. lip 2018.

    Examples of the initial “dataflow graph” rendering I’m doing, with & without types shown. The expression is “1 2 (+) 'x' swap replicate” (= "xxx")—each term is a box; data dependencies are shown by vertical arrangement. (The current output is functionally the same, but uglier.)

    Prikaži ovu nit
    Poništi
  20. 14. lip 2018.

    I’m adapting Kitten’s interactive mode from a REPL into a more full-featured TUI environment. Currently it’s still REPL-like by default, but I’ve got some sketches of viewing & editing definitions in different ways—freeform text, structured text, or a dataflow graph.

    Prikaži ovu nit
    Poništi
  21. 14. lip 2018.

    Lately in Kitten I’ve been porting the meat of the current compiler (& tests) over to the final architecture for the first release. The new tokenizer is error-recovering—it reports all lexical errors inline rather than bailing out at the first lexical error.

    Poništi

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·