Tweetovi
- Tweetovi, trenutna stranica.
- Tweetovi i odgovori
- Medijski sadržaj
Blokirali ste korisnika/cu @rolyperera
Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @rolyperera
-
Prikvačeni tweet
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
@splashcon in October. https://arxiv.org/abs/1908.00898 pic.twitter.com/Jx05xe90aJ
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je Tweet
Müller-Lyer on steroidshttps://twitter.com/chazfirestone/status/1213230720010903555 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je Tweet
Game of Life on a Penrose tiling is singularly beautiful. http://www-users.cs.york.ac.uk/susan/bib/ss/nonstd/penroselife.pdf … / ht
@gasnerpantspic.twitter.com/dMZlnHoFCT
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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 nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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.)pic.twitter.com/CWi162PYTi
Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je Tweet
Flann O'Brien. Comic genius and inventor of the great de Selby, imaginary philosopher.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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. https://arxiv.org/abs/1908.00898
@splashconpic.twitter.com/hETiVA84RGHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je Tweet
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.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
I love travelling on trains because I get to use the word “vestibule”.
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je Tweet
Program synthesis retreat with many of the top people. https://synthetic-minds.com/pages/conference/2019/ …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Provisional programme for @liveprog2019 is now available: https://2019.splashcon.org/home/live-2019#program …. Come along if you’re planning to be at SPLASH!
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je TweetHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi
-
Nice vision of modular, dynamically configurable robots for 3d-printing habitats out of Martian regolith:https://www.youtube.com/watch?v=AIrH01N9AsE&feature=youtu.be …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Bunking off work early tomorrow to go to this:https://designmuseum.org/exhibitions/stanley-kubrick-the-exhibition …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Upgrading Ubuntu
#PrayForRoly
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
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)?
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je Tweet
Preparing a little workshop about interdisciplinarity, open inquiry & radical innovation for the
@criparis grad student retreat next week. Reading this jewel of a paper on tradition and innovation as different chosen research strategies by researchers: https://journals.sagepub.com/doi/abs/10.1177/0003122415601618 …. /1Prikaži ovu nitHvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je Tweet
This will be fun. Anyone want to come and hack on Idris with me? https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T007265/1 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoništi -
Roly Perera proslijedio/la je Tweet
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:https://www.genetics.org/content/212/1/245 …
Hvala. Twitter će to iskoristiti za poboljšanje vaše vremenske crte. PoništiPoniš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.