Nada Amin ندى أمين

@nadamin

Assistant Professor of Computer Science at Harvard University

Vrijeme pridruživanja: rujan 2009.

Tweetovi

Blokirali ste korisnika/cu @nadamin

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

  1. proslijedio/la je Tweet
    prije 21 sat

    The key to good proof reuse and proof repair is in automatic transport, and the key to efficient automatic transport is in adapting the data structures traditionally used in SMT solvers. Let's have a univalent e-graph hackathon!

    Poništi
  2. proslijedio/la je Tweet
    prije 21 sat
    Odgovor korisniku/ci

    The custom checking idea sounds kind of like (I didn't listen to the podcast.)

    Poništi
  3. 2. velj

    "The problem that I have with it is when I'm working on really hard stuff, I don't exactly know what I'm doing for a long time. And so if the cost of experimentation is driven too high, it actually impairs my ability to get work done." via

    Poništi
  4. 2. velj

    Software Foundations in looks so pretty:

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

    And the dark fairy cursed her saying “you will travel to the most beautiful places all over the world but you will never be allowed to see the landmarks. Instead you will sit in identical lecture halls and listen to people talk about papers they already published”

    Poništi
  6. proslijedio/la je Tweet
    8. sij

    When I say “I’m trying to learn X and it’s hard” why do so many people respond with “learn Y instead”? Choosing to learn a new thing is not a decision that’s usually taken lightly. Just because I’m struggling doesn’t mean I should quit! I was looking for empathy & support :-)

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

    Join me! ACM members, sign a petition supporting open access, asking to withdraw signature from anti-OA letter and make OA available at cost. OA is good for science, and good for ACM!

    Prikaži ovu nit
    Poništi
  8. I like (Understanding Machine Learning: From Theory to Algorithms) The mathematics is very clear, making you understand the design behind the theory (PAC, VC-dimension, runtime, ..) and algorithms (convex learning, gradient descent, decision trees, ...).

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

    A good typechecker doesn't just check your work. It's a chatty companion you can bounce ideas off. It'll suggest new ways of looking at things and give fresh insights. Programming in some languages feels a bit sad by comparison.

    Poništi
  10. proslijedio/la je Tweet
    11. stu 2019.
    Poništi
  11. proslijedio/la je Tweet
    11. stu 2019.

    Interesting insights from speaking about formal software engineering approaches to bridge the “software gap”. This gap is the difference between intent and reality where engineers no longer understand what software is doing and how it uses data (data flow).

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    13. ruj 2019.

    We are looking for amazing colleagues . Focus areas are systems, programming languages and verification, unconventional computing, and intelligent systems. Ping me (or the chairs) if you have questions!

    Poništi
  13. Which is better:

    Poništi
  14. Prikaži ovu nit
    Poništi
  15. I've been waiting way too long to do this... Yessss! I am now a proud patron of Sam Aaron on , and you should be too:

    Poništi
  16. proslijedio/la je Tweet
    27. kol 2019.

    The infinite gift 🎁is an interesting object where the side of the nth box is 1/√n. As n→+∞, the gift has infinite surface area and length but finite volume!

    Poništi
  17. proslijedio/la je Tweet
    23. kol 2019.

    I'm so thrilled with 's and my course flyer design skills. Fall semester is coming!!

    Course flyer for PL/HCI class
    Poništi
  18. proslijedio/la je Tweet
    2. kol 2019.

    Here's the whole "Gaspard de la Nuit" played by Ivo Pogorelić, with the score. The score is beautiful even if you can't read music. The first movement, "Ondine", is all about waves of water and shimmering light - and you can see that in the score!

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

    The Dome under a blue sky and it’s Friday. 😁 Photo: Jake Belcher

    Poništi
  20. 2. kol 2019.

    cool work from lab at intersection of systems biology and machine learning. The idea is to use deep learning to model genotype to phenotype prediction, and then, the network layers also represent the protein hierarchy so it's interpretable.

    Prikaži ovu nit
    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:

    ·