Tomas Petricek

@tomaspetricek

Lecturer at . Searching for new ways of thinking about programming; studying in history & philosophy of computing. Also training at

London, Europe
tomasp.net/blog
Vrijeme pridruživanja: prosinac 2008.
804 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @tomaspetricek

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

  1. Prikvačeni tweet
    22. lis 2019.

    New work: Histogram! Looking at programming as interaction and exploring new ways of presenting programming systems design ideas.

    25 proslijeđenih tweetova 75 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. 31. sij

    That's quite a deal! :-)

    We're hiring an additional developer in our new Prague office. Up for a challenge? Check it out!
    1 proslijeđeni tweet 11 korisnika označava da im se sviđa
    Poništi
  3. 31. sij

    Current status . Also, artificial general intelligence will not take your jobs. It would just rm -rf itself.

    1 reply 2 proslijeđena tweeta 29 korisnika označava da im se sviđa
    Poništi
  4. 27. sij

    Is there a way to get .NET dependencies downloaded into a local folder, so that I can do INTERACTIVE "my.dll" in app.fs file?

    1 reply 1 proslijeđeni tweet 6 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    22. sij

    Posters are a great way to kick off a conversation about your work. Here's your chance to submit one for ! Deadline is Fri 14 Feb 2020. ➡️

    7 proslijeđenih tweetova 7 korisnika označava da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    21. sij

    Remember when you started F#, wishing someone was there to help you out? You can be that person! Applications for the 8th F# mentorship round close on January 31st, and we need more mentors:

    1 reply 14 proslijeđenih tweetova 16 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    17. sij

    ‘Making Data Relevant in an Age of Fake News’. discusses if more transparent, open and engaging ways of working with data can reverse the dangerous trend of

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  8. 17. sij

    Looking forward to speaking at in Kraków again! I'll be talking about designing composable functional libraries, using my work on data visualization as an example:

    1 reply 10 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Poništi
  9. 16. sij

    If you learned Pascal at university like myself, you'll be glad to know that Java 14 will support record types! 👏👏👏

    16 replies 23 proslijeđena tweeta 174 korisnika označavaju da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    14. sij

    School of Computing to host two open lectures as part of the Discover STEM@Kent lecture series. on 'Making Data Relevant in an Age of Fake News' and on 'Will a Robot take my Job? Artificial Intelligence and the Future of Work'

    1 proslijeđeni tweet 2 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    17. pro 2019.

    What we sing about when we sing about Monads

    22 proslijeđena tweeta 26 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. 11. pro 2019.

    The Better Way is Here Now

    5 replies 11 proslijeđenih tweetova 49 korisnika označava da im se sviđa
    Poništi
  13. 8. pro 2019.

    This time with a unary operator, which is a great way to remove some spaces from your 140 character code!

    let d=[1..9]@[0;1;2]in Seq.chunkBySize(3*2)d|>Seq .map(fun l->let(!)y=Seq.length(Seq.filter((=)y)l)in !0,!1* !2)|>Seq.min|>snd
    4 korisnika označavaju da im se sviđa
    Poništi
  14. 4. pro 2019.

    This one is pretty boring. All clever hacks I could come up with only make the code longer. Note that you need a space in , oterhwise Twitter makes it a URL🤦‍♂️

    (List.filter(fun n->Seq.forall(fun(a,b)->b>=a)n&Seq.exists(fun(a,b)->a=b)n)(List. map(string>>Seq.pairwise)[240920..789857])).Length
    1 reply 1 proslijeđeni tweet 8 korisnika označava da im se sviđa
    Poništi
  15. 3. pro 2019.

    Stephen should be on strike more often. This is a great post about academia and funding structures.

    I'm still on strike, which has let me find time to finish a blog post I started ages ago -- on the many myths believed about "postdocs".
    1 proslijeđeni tweet 6 korisnika označava da im se sviđa
    Poništi
  16. 2. pro 2019.

    I knew it was possible!

    let p,i=[|1;1;1;4;99;5;6;0;99|],ref 0 in(while p.[!i]<>99 do(p.[p.[!i+3]]<-[(+);(*)].[p.[!i]-1]p.[p.[!i+1]]p.[p.[!i+2]];i:=!i+4));p
    1 reply 6 proslijeđenih tweetova 19 korisnika označava da im se sviđa
    Poništi
  17. 2. pro 2019.

    A new essay in which I don't tell you what language we should teach as the first one in a computer science degree.

    8 replies 24 proslijeđena tweeta 60 korisnika označava da im se sviđa
    Poništi
  18. 20. stu 2019.

    Yay! This is exactly what I spent an hour debugging today.

    Odgovor korisniku/ci @tomaspetricek
    f({}, "toString") throws an exception (cannot read length of undefined) on the playground.
    1 reply 3 korisnika označavaju da im se sviđa
    Poništi
  19. 20. stu 2019.

    Here is a well-typed function: let f = (d:{[k:string]: {a:string}}, k:string) => d[k] != undefined ? d[k].a.length : -1 Are there some arguments (of correct types) for which the function fails (with strictNullChecks on)?

    2 proslijeđena tweeta 5 korisnika označava da im se sviđa
    Poništi
  20. 10. stu 2019.

    Party two with a better picture.

    6 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  21. 10. stu 2019.

    On my way to Nice 🇫🇷 to join the IFIP WG 2.16 as a visitor to talk about programming language design. Looking forward to a civilised journey with and !

    1 reply 1 proslijeđeni tweet 28 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi

@tomaspetricek još nije objavio nijedan Tweet.

Č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:

    ·