Leandro

@leostera

Ars longa, vita brevis; makes ; research engineer at ; ex

Stockholm, Sweden
Vrijeme pridruživanja: kolovoz 2008.
Rođen/a 1991.

Tweetovi

Blokirali ste korisnika/cu @leostera

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

  1. Prikvačeni tweet
    9. sij

    2020 aspiration: work for a year on a single side-project. I start too many things that go nowhere. Time to stop starting, and start finishing.

    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    31. sij

    Let's please not use "XML" to mean eXplainable Machine Learning -- that acronym has a long history that's entirely separate from "AI", and it should stay that way

    Poništi
  3. proslijedio/la je Tweet
    31. sij

    It's official! Just got a award to work on type-driven program synthesis! Stay tuned for new ways to magically turn types into programs :) Thanks and the anonymous reviewers!

    Poništi
  4. 30. sij

    Alright Paris. You’re already very confusing.

    Poništi
  5. proslijedio/la je Tweet
    30. sij

    Okay, internet friends, acquaintances, and enemies. I am at a personal impasse. I don’t know how to do this. How do I fund in a way that allows the people who work on it to have a good salary & health insurance? Assume we’re all US residents. My DMs are open.

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    29. sij

    Everyone should settle on a single framework for machine learning. Then they could call it Standard ML.

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

    The Bootcamp was by a lot of measures a success for us: happy partners, very happy participants and an avalanche of congratulations through a lot of channels for both my team and I. For that I am relieved and hugely grateful.

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

    Rota's marvellous defence of lectures. "The person lecturing to us was logic incarnate" (on Alonzo Church)

    Poništi
  9. 29. sij

    every language should have its own (D)ETS get rid of that impedance mismatch for fast prototyping, even with types!

    Poništi
  10. proslijedio/la je Tweet
    29. sij
    Odgovor korisniku/ci

    I designed Clippy.

    Poništi
  11. proslijedio/la je Tweet
    28. sij

    *looks at the core-js issue* open source was a mistake

    Poništi
  12. proslijedio/la je Tweet
    29. sij

    No, but seriously, this is not the right way to fight evil. This is misguided to the point of turning to evil yourself.

    Poništi
  13. proslijedio/la je Tweet
    29. sij

    And this is why we need basic research. Someone is out there today is coming up with answers to questions you'll have tomorrow.

    Poništi
  14. proslijedio/la je Tweet
    27. sij

    I've been working a bit on a script to launch TLA+ model checking from the command line, it's finally in a place where it might be useful to other people (Not an official project, no warranties, just something I find useful and want to share)

    Prikaži ovu nit
    Poništi
  15. 27. sij

    , this is what “shots fired” looks like ☝🏼

    Prikaži ovu nit
    Poništi
  16. 27. sij

    To everyone complaining about using I’d like to say one thing: ok javascripter

    Prikaži ovu nit
    Poništi
  17. 27. sij

    Here’s a prolog tutorial for you: no.

    Prikaži ovu nit
    Poništi
  18. 27. sij

    this is what file-based imports push me to do

    Prikaži ovu nit
    Poništi
  19. 27. sij

    is there a reverse-find that I can use to find the relative path to a file that is directly _above_ where I am now?

    Prikaži ovu nit
    Poništi
  20. 27. sij

    About time we did some together! 🤗 I know a bunch of you folks that go to could get a couple of fantastic tooling ideas from this meetup so don’t stop signing up 👌🏼

    Poništi
  21. proslijedio/la je Tweet

    Wow, there were *a lot* of Smalltalks in the 90s

    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:

    ·