graydon.livejournal.com/263686.html

Preview meta tags from the graydon.livejournal.com website.

Linked Hostnames

3

Thumbnail

Search Engine Appearance

Google

https://graydon.livejournal.com/263686.html

Late Ada Lovelace day

I missed it this year (sigh, timing so bad) but in recent years I've been reading concurrency, database, type theory and computational logic research, so here are some new rad women in CS I've been following: Christine Paulin-Mohring : one of the main forces developing Coq, winner of ACM software…



Bing

Late Ada Lovelace day

https://graydon.livejournal.com/263686.html

I missed it this year (sigh, timing so bad) but in recent years I've been reading concurrency, database, type theory and computational logic research, so here are some new rad women in CS I've been following: Christine Paulin-Mohring : one of the main forces developing Coq, winner of ACM software…



DuckDuckGo

https://graydon.livejournal.com/263686.html

Late Ada Lovelace day

I missed it this year (sigh, timing so bad) but in recent years I've been reading concurrency, database, type theory and computational logic research, so here are some new rad women in CS I've been following: Christine Paulin-Mohring : one of the main forces developing Coq, winner of ACM software…

  • General Meta Tags

    21
    • title
      Late Ada Lovelace day - frog hop — LiveJournal
    • X-UA-Compatible
      IE=Edge
    • resource-type
      Document
    • type
      index
    • Content-Type
      text/html;charset=utf-8

  • Open Graph Meta Tags

    5
    • og:description
      I missed it this year (sigh, timing so bad) but in recent years I've been reading concurrency, database, type theory and computational logic research, so here are some new rad women in CS I've been following: Christine Paulin-Mohring : one of the main forces developing Coq, winner of ACM software…
    • og:image
      https://l-files.livejournal.net/og_image/218026/1030?v=1539890713
    • og:title
      Late Ada Lovelace day
    • og:type
      article
    • og:url
      https://graydon.livejournal.com/263686.html

  • Link Tags

    15
    • bookmark
      #header
    • bookmark
      #menu
    • bookmark
      #summary
    • bookmark
      #content
    • canonical
      https://graydon.livejournal.com/263686.html

Links

45