Julia Belyakova

@julbinb

CS PhD Researcher at NEU

Boston, MA
julbinb.github.io
Vrijeme pridruživanja: prosinac 2010.
259 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @julbinb

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

  1. proslijedio/la je Tweet
    31. sij

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    13 replies 211 proslijeđenih tweetova 524 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    31. sij

    “Recently, a major French bank asked Tweag to help fix a performance problem they had in a large Haskell codebase…”

    A lot gets written about how to write Haskell code, but much less about how to successfully hunt down performance bugs using profiling. That makes our latest blog post all the more interesting: “Locating performance bottlenecks in large Haskell codebases”
    1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    28. sij

    Has anyone ever gotten ocamldebug to let you place breakpoints relative to modules (rather than finding the pc points or something)? Every time I attempt this (via ocamldebug-break in emacs), it just tells me "can't find any event there" unless it's in the initial module.

    2 proslijeđena tweeta
    Poništi
  4. proslijedio/la je Tweet
    29. sij

    Strict data and lazy functions is the default you should be using for all production Haskell code.

    33 proslijeđena tweeta 80 korisnika označava da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    29. sij

    This year the conference hosts the first Build Automation and Programming Languages workshop: If you are coming to PLDI or just happen to be in London on Saturday (20 June) morning, please attend and/or submit a talk!

    1 reply 15 proslijeđenih tweetova 17 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    28. sij

    Does anyone know of a screen reader that can handle inference rules (e.g. operational semantics, typing)? Or a way to write rules so that typical screen readers can process them?

    5 replies 3 proslijeđena tweeta 8 korisnika označava da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    21. sij

    5 replies 48 proslijeđenih tweetova 279 korisnika označava da im se sviđa
    Poništi
  8. proslijedio/la je Tweet
    17. sij

    Are you an undergrad or graduate student interested in programming languages? Then please consider applying to be a student volunteer at ! Deadline 28 February.

    33 proslijeđena tweeta 33 korisnika označavaju da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    15. sij

    New blog post by The Typed Racket Optimizer vs. Transient

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

    I've put together a step-by-step instruction on getting fully fledged modern OCaml setup (w/ Emacs support) on Windows via WSL. Nothing magical, but hopefully it will save time someone. Comments are welcome:

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

    During these nightmarish days, decides to fix everything by closing my account for being Iranian. Honestly it almost made me laugh. This will be great for my undergrad class, where students have to deliver everything on github.

    40 replies 379 proslijeđenih tweetova 468 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    7. sij

    Thank you and for your statement expressing regret for the fallout of your signing the publisher's letter. But "sustainable" OA means a sustainable price. $700/paper isn't. There remain major issues with ACM's OA plans.

    6 replies 33 proslijeđena tweeta 65 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  13. proslijedio/la je Tweet
    8. sij

    The submission deadline for and workshop proposals for is coming up this Friday (10 Jan 2020)! ➡️ ➡️

    3 proslijeđena tweeta 7 korisnika označava da im se sviđa
    Poništi
  14. 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!

    116 proslijeđenih tweetova 132 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    3. sij

    Flying to Boston tomorrow. Programming with Cats starts next Tuesday at MIT.

    10 replies 43 proslijeđena tweeta 210 korisnika označava da im se sviđa
    Poništi
  16. proslijedio/la je Tweet
    3. sij

    Have your papers ready for Volume 5, Issue 1 of the Programming Journal! Issue 1 deadline: February 1. Associate Editor for Volume 5 is the one and only Jeremy Gibbons

    1 reply 10 proslijeđenih tweetova 17 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. proslijedio/la je Tweet
    3. sij

    I probably asked this questions before, but do you folks 1) use slides in undergrad teaching? 2) share your slides with students? If you do, do you share them before/after you're finish a topic? 3) know of studies that show the benefit/harm of using/sharing slides?

    18 replies 2 proslijeđena tweeta 12 korisnika označava da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    3. sij

    Want to organize a workshop at ? You still have one week to submit a proposal!

    4 proslijeđena tweeta 2 korisnika označavaju da im se sviđa
    Poništi
  19. proslijedio/la je Tweet
    27. pro 2019.

    It's not finished yet, but really like the up to date content I'm reading in Haskell in Depth from . 👌

    18 proslijeđenih tweetova 101 korisnik označava da mu se sviđa
    Poništi

@julbinb 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:

    ·