Identi.ca

Follow

Shakthi Kannan shakthimaan@identi.ca

Chennai, India

Free Software developer. Speaker. Writer. Dad. Emacser. Idealist. Purist.

  • 2020-03-28T06:16:11Z via Identi.ca Web To: Public CC: Followers

    Bedrock Coq library for low-level programming https://github.com/mit-plv/bedrock #OCaml

  • 2020-03-28T06:15:25Z via Identi.ca Web To: Public CC: Followers

    High flying academics https://www.cam.ac.uk/stories/highflying

  • 2020-03-26T16:03:13Z via Identi.ca Web To: Public CC: Followers

    2nd Workshop on Formal Methods for Blockchains (FMBC 2020) https://fmbc.gitlab.io/2020/ July 19, 2020 Los Angeles, US

  • 2020-03-26T16:02:27Z via Identi.ca Web To: Public CC: Followers

    Pretty printing library for #OCaml https://github.com/diml/pp

  • 2020-03-25T15:54:12Z via Identi.ca Web To: Public CC: Followers

    Compiler Engineer at Mixtional Code GmbH, Germany https://rmx.mixtional.de/static/54657cda/ #jobs

  • 2020-03-25T15:52:37Z via Identi.ca Web To: Public CC: Followers

    http://crunchtools.com/deeply-understanding-the-different-between-portability-compatibility-and-supportability/ #Containers #DevOps

  • 2020-03-24T17:00:19Z via Identi.ca Web To: Public CC: Followers

    Colin S. Gordon CS text books http://csgordon.github.io/books.html #computer #science #education

  • 2020-03-24T17:00:03Z via Identi.ca Web To: Public CC: Followers

    The LaTeX Tutorial - A Primer http://books.sayahna.org/en/pdf/primer-2.rc1.pdf #LaTeX

  • 2020-03-23T15:37:31Z via Identi.ca Web To: Public CC: Followers

    LAIV: Lab for AI and Verification vacancies http://laiv.uk/index.php/vacancies/ #jobs

  • 2020-03-23T15:37:18Z via Identi.ca Web To: Public CC: Followers

    ChemRxiv: The preprint server for Chemistry https://chemrxiv.org/

  • 2020-03-23T15:37:04Z via Identi.ca Web To: Public CC: Followers

    A solver for Opam packages using 0install's solver engine https://github.com/talex5/opam-0install-solver #OCaml

  • 2020-03-23T15:36:51Z via Identi.ca Web To: Public CC: Followers

    World's fastest supercomputer finds 77 potential COVID-19 treatments https://futurism.com/neoscope/fastest-supercomputer-finds-potential-covid-treatments

    Here's hoping for one to be good 😅

    JanKusanagi at 2020-03-23T15:46:41Z

  • 2020-03-23T15:36:34Z via Identi.ca Web To: Public CC: Followers

    The 18th International Symposium on Database Programming https://dbpl.vldb2020.org/ #database

  • 2020-03-23T15:36:10Z via Identi.ca Web To: Public CC: Followers

    Why outbreaks like coronavirus spread exponentially, and how to "flatten the curve" https://www.washingtonpost.com/graphics/2020/world/corona-simulator/ #UI #design

  • 2020-03-20T16:54:09Z via Identi.ca Web To: Public CC: Followers

    DockerCon May 28, 2020 will be online! https://www.docker.com/dockercon/ #docker

  • 2020-03-20T16:53:15Z via Identi.ca Web To: Public CC: Followers

    The 36th International Conference on Logic Programming, Rende, September 18-24, 2020 https://iclp2020.unical.it/

  • 2020-03-17T06:33:48Z via Identi.ca Web To: Public CC: Followers

    watched "IITM Then, Now and Beyond" https://www.youtube.com/watch?v=weWTj0AO8DI Part 1-4 (~ 43m) #iitmadras

  • 2020-03-17T06:33:11Z via Identi.ca Web To: Public CC: Followers

    Announcing The Unicode Standard, Version 13.0 http://blog.unicode.org/2020/03/announcing-unicode-standard-version-130.html

  • 2020-03-14T17:51:24Z via Identi.ca Web To: Public CC: Followers

    VerifyThis Competition https://www.pm.inf.ethz.ch/research/verifythis.html