Jashank Jeremy

@jashankj

programmer/sysadmin/student/educator, ++. occasional typesetter/musician/photographer. puns. my own opinions. he/him.

Sydney, New South Wales
Vrijeme pridruživanja: ožujak 2011.

Tweetovi

Blokirali ste korisnika/cu @jashankj

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

  1. Prikvačeni tweet
    23. tra 2018.

    "why can't i hold all these data types"

    Poništi
  2. prije 1 sat

    Reminder: `fwupd' exists, and you should make sure you've installed system firmware updates.

    Poništi
  3. prije 3 sata

    isabelle necessary in a prover?

    Poništi
  4. proslijedio/la je Tweet
    2. velj

    I used to wonder why the interfaces on Star Trek are so clunky given that it's centuries in the future, but I guess that's just Enterprise software for you

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    prije 18 sati
    Odgovor korisnicima

    A woman in liquor production / owns a still of exquisite construction / the alcohol boils / through magnetic coils / she calls it “proof, by induction”

    Poništi
  6. 3. velj

    Current status: z3 is hallucinating values that satisfy my constraints, instead of using values it knows about. Woohoo!

    Poništi
  7. proslijedio/la je Tweet
    17. srp 2019.

    using z3 is so satisfying!

    Prikaži ovu nit
    Poništi
  8. 3. velj

    yow, humidity.

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

    My wife and I never talk to our kids. We ask them to submit all communications anonymously through rigorous and double-blind peer review. My daughter is 5 and has 21 publications in high-impact journals. My daughter can burn holes in furniture using only her eyes

    Prikaži ovu nit
    Poništi
  10. proslijedio/la je Tweet
    29. kol 2019.

    One day I've got to write that essay about monarchic succession in relativistic inertial frames

    Prikaži ovu nit
    Poništi
  11. proslijedio/la je Tweet
    20. lis 2019.

    On Manifold Garden, we worked with a wonderful QA company called "Test Company Please Ignore". That is actually their name. It has resulted in some funny bug reports.

    Poništi
  12. 31. sij

    uh. PulseAudio's approach to D-Bus is to run something that looks sort-of like a D-Bus server, but not enough that Emacs can interact with it

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

    +, Σ, and ∫ are just different evolutions of the same Pokémon

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    28. sij

    maybe in the future we'll be able to turn everything into a pipe organ

    Prikaži ovu nit
    Poništi
  15. proslijedio/la je Tweet
    28. sij

    people were more creative when they were trying to make everything a steam engine than they are now that they're trying to make everything a computer

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

    Between that and the ads, I'm very glad I don't use Gmail much.

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

    Wow, the Gmail mobile composer is nearly entirely incapable of plain text email.

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

    for example, the Google Open Source Documentation () is a huge splat of pages that *do* have a readable order, but you can't read it like that.

    Poništi
  19. 30. sij

    why is it so popular to have a bag of webpages that form a single contiguous document, but which aren't able to be read comfortably in that way?

    Poništi
  20. proslijedio/la je Tweet
    19. stu 2018.

    it’s all graphs, to me, i announce as i burst in the programming den. a program is a graph . bitch. fuck outta here

    Poništi
  21. 29. sij

    Someone tried, in seriousness, to return a child Opal card I'd `dropped'. I'm wounded.

    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:

    ·