Geoff Langdale

@geofflangdale

CMU CS PhD; Former Hyperscan chief; ex-Intel Principal Engineer. Temporarily at liberty; misusing that liberty to work on a superoptimizer.

Sydney, Australia
Vrijeme pridruživanja: listopad 2015.

Tweetovi

Blokirali ste korisnika/cu @geofflangdale

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

  1. Prikvačeni tweet
    21. svi 2018.

    It's a rudimentary blog at this stage, but I'm blogging on strictly computer science related topics at Readers will have to bear with me for now for my limited skills with Wordpress, github, etc.

    Poništi
  2. prije 2 sata

    I guess if Chrome is going to break ad-blocking it's Hello Firefox, Goodbye Chrome.

    Prikaži ovu nit
    Poništi
  3. prije 2 sata

    Did just really stop working in a big way for anyone else? My Twitter feed is now the same garbage fire of "Promoted tweets" on desktop as it is on mobile. It sucks. Every Promoted tweet is some really seriously basic-ass crap. Pretty sure I didn't use to get them.

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

    It reminds me of Joe Queenan's brutal rant (actually about Art Garfunkel) which closed with "Proving that the words of the prophets are written on the subway walls, and the words are: Fuck you, schmuck".

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

    Is there a more inane lyric than Paul Simon singing "I have reason to believe / We all will be received / At Graceland"? I mean, no fucking shit, schmuck. It's a theme park. You buy tickets and you get in.

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

    this one looks cool too!

    Prikaži ovu nit
    Poništi
  7. 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
  8. proslijedio/la je Tweet
    28. sij

    Leaked spreadsheet reveals sports grant applications colour-coded to electorates' party

    Poništi
  9. 25. sij

    Hey Twitter, any opinions on Flake's "Computational Beauty of Nature". It looks intriguing but frankly a bit old/odd. Not knowing much about the contents I don't know if techniques have moved on too much to make it more than a curiosity .

    Poništi
  10. 24. sij

    Interesting article. I like the idea of "AVX-32,768". I wonder if it could be (ab)used for something not related to neural networks. Awaiting technical details. Centaur's web site is not exactly a technical powerhouse at this point.

    Poništi
  11. 22. sij

    Yet another awesome thing you can do with SMT solvers! A great read.

    Poništi
  12. 22. sij

    Best line in a decent article: 'A popular meme doing the rounds lately goes like this: “Friend: What’s BJJ like? Me: It’s like Fight Club but you talk about it all the time.”'

    Poništi
  13. 19. sij

    So I'm 40 hours in and it's working on the 8th of 192 graphs. Hmmn. These seems to suggest that the process will take 40 days, single core.

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

    c) Running an SMT solver on each of these 180x more numerous cases (graphs * instruction blowout) is inherently more expensive due to more constants and more backtracking in the solver.

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

    b) there are more cases (due to the added .instruction - so if we have ~30 instructions, that's theoretically a slowdown of 30x, although I have some optimizations that mitigate that a bit). I neglected to anticipate:

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

    Superoptimizer fun of the week: having another crack at 5 instructions. It's... a bit harder than 4 instructions... I already anticipated that: a) there are 192 graphs of unary/binary operations for 1 input & 1 output (there were 32 for 4 instructions), and ...

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

    This is exactly what I had in mind, but it's reassuring to see that it works. I think combinations of the new AVX512 bitshuffle and permute instructions will be even more powerful. Even VGF2P8MULB has general interest; it's not like we have other multiply-type operations in 8b.

    Poništi
  18. proslijedio/la je Tweet
    16. sij

    which character in star trek was in charge of cleaning the holodeck after someone banged a ghost or took a poop in a pretend toilet

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

    My neighborhood has a surprising number of "couldn't wait to get home to take it out of the box" incidences.

    Poništi
  20. 15. sij

    his pager meant that the underlying emails were not altered in any way.

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

    why everyone, including senior faculty, was suddenly expressing themselves as if they were in a Shaft movie. You think the head of department signing off with "What it is, Mama!" would have rung some alarm bells, but no. Eventually we took pity, and having only messed with ...

    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:

    ·