Tweetovi

Blokirali ste korisnika/cu @rolyperera

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

  1. Prikvačeni tweet
    31. kol 2019.

    An idea that’s interested me for a long time: can we give a meaning to (semantics for) program *changes*, rather than whole programs? Will be talking about this at the Incremental Computation 2019 workshop at in October.

    Poništi
  2. proslijedio/la je Tweet
    4. sij
    Poništi
  3. proslijedio/la je Tweet
    Poništi
  4. 25. lis 2019.

    The example also shows how the semantics can generate unintuitive results as well. Here, transposing a key-value pair in the input tree generates a fresh cell in the output list (shown in green). This is down to the strategy for synthesising value nodes out of program nodes.

    Prikaži ovu nit
    Poništi
  5. 25. lis 2019.

    What’s important here is that neither the incremental semantics nor the visualisation logic understands anything about “swap” - it just falls out (in this case) that the expression-level swap is both interpreted and visualised as a list of value-level swaps.

    Prikaži ovu nit
    Poništi
  6. 25. lis 2019.

    Here’s a fun example of a program change semantics. If I alter “flatten” to transpose keys and values, then the execution of that change transposes keys and values in the resulting list. (Apologies for the obscure notation - bullets are nil and comma is both pairing and cons.)

    Prikaži ovu nit
    Poništi
  7. proslijedio/la je Tweet
    22. lis 2019.
    Odgovor korisniku/ci

    Flann O'Brien. Comic genius and inventor of the great de Selby, imaginary philosopher.

    Poništi
  8. 20. lis 2019.

    Still (very) rudimentary, but this is what I’ll be talking about tomorrow at the Incremental Computation 2019 workshop: operationalising program change. The meaning of a program change is a change to the program’s meaning.

    Poništi
  9. proslijedio/la je Tweet
    12. lis 2019.

    The mistake we make with mind, self, and world is to start from the 'inside', from the first-person perspective. That perspective is a construction of the brain. There is no inside, just the outside folded on itself. We need to rebuild our image of ourselves from the outside in.

    Poništi
  10. 19. ruj 2019.

    I love travelling on trains because I get to use the word “vestibule”.

    Poništi
  11. proslijedio/la je Tweet
    16. ruj 2019.

    Program synthesis retreat with many of the top people.

    Poništi
  12. 16. ruj 2019.

    Provisional programme for @liveprog2019 is now available: . Come along if you’re planning to be at SPLASH!

    Poništi
  13. proslijedio/la je Tweet
    15. ruj 2019.
    Poništi
  14. 9. ruj 2019.

    Nice vision of modular, dynamically configurable robots for 3d-printing habitats out of Martian regolith:

    Poništi
  15. 9. ruj 2019.

    Bunking off work early tomorrow to go to this:

    Poništi
  16. 7. ruj 2019.

    Upgrading Ubuntu 🙏

    Poništi
  17. 6. ruj 2019.

    If you are a programmer, how often do you consider yourself to be “refactoring” (reengineering to improve design or accommodate changes you have planned, without changing functionality)?

    Poništi
  18. proslijedio/la je Tweet
    3. ruj 2019.

    Preparing a little workshop about interdisciplinarity, open inquiry & radical innovation for the grad student retreat next week. Reading this jewel of a paper on tradition and innovation as different chosen research strategies by researchers: . /1

    Prikaži ovu nit
    Poništi
  19. proslijedio/la je Tweet
    31. kol 2019.

    This will be fun. Anyone want to come and hack on Idris with me?

    Poništi
  20. proslijedio/la je Tweet
    31. kol 2019.
    Odgovor korisniku/ci

    Depends on what kind of connection you are looking for. I work on algorithmic biology: using theoretical computer science for new mathematical techniques to ground evolutionary biology (instead of just using computer to calculate). Get results like this:

    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:

    ·