Shakthi Kannan shakthimaan@identi.ca

Chennai, India

Free/Libre Open Source Software Developer | Speaker | Writer | Emacser | Functional Programmer | Table Tennis player | Chennai Super Kings | தமிழன் (Tamilian)

  • 2024-07-17T16:56:09Z via Identi.ca Web To: Public CC: Followers

    Sixth International Conference on Soft Computing and its Engineering Applications, December 10-12, 2024 Bangkok, Thailand https://www.charusat.ac.in/icSoftComp2024/index.php #conference #research #computing
  • 2024-07-16T16:59:02Z via Identi.ca Web To: Public CC: Followers

    Acutis is a template language that features static typing, pattern matching and asynchronous template components https://johnridesa.bike/acutis/ #OCaml #Template #Language
  • 2024-07-15T15:01:53Z via Identi.ca Web To: Public CC: Followers

    A possible safer interface to the Ctypes FFI by Matt Walker https://fizzixnerd.com/blog/2024-07-11-a-possibly-safer-interface-to-the-ctypes-ffi/ #OCaml #FFI #Ctypes
  • 2024-07-14T13:39:08Z via Identi.ca Web To: Public CC: Followers

    Hazel https://hazel.org/ is a live functional-programming environment rooted in the principles of type theory https://github.com/hazelgrove/hazel #OCaml #Productivity #Tool
  • 2024-07-11T12:56:31Z via Identi.ca Web To: Public CC: Followers

    MirageOS and OCaml with Hannes Mehnert and Matthias Kirschner https://fsfe.org/news/podcast/episode-25.en.html #OCaml #MirageOS #Podcast
  • 2024-07-10T13:05:52Z via Identi.ca Web To: Public CC: Followers

    OCaml.org Newsletter: June 2024 https://discuss.ocaml.org/t/ocaml-org-newsletter-june-2024/14898 @tarides_ #OCaml #Community
  • 2024-07-08T13:31:53Z via Identi.ca Web To: Public CC: Followers

    The structure of Godotcaml by Matt Walker https://fizzixnerd.com/blog/2024-07-02-the-structure-of-godotcaml-as-of-today/ #OCaml
  • 2024-07-07T13:04:42Z via Identi.ca Web To: Public CC: Followers

    Wikimedia Technology Summit October 4-5, 2024 International Institute of Information Technology (IIIT-H), Hyderabad, India https://meta.wikimedia.org/wiki/3rd_Wikimedia_Technology_Summit_(WTS_2024) @Wikimedia @wikimediaindia @Wikipedia
  • 2024-07-05T14:12:45Z via Identi.ca Web To: Public CC: Followers

    Merlin and OCaml-LSP with support for project-wide occurrences https://discuss.ocaml.org/t/ann-project-wide-occurrences-in-merlin-and-lsp/14847 #OCaml #Merlin #Editor
  • 2024-07-05T14:08:39Z via Identi.ca Web To: Public CC: Followers

    OCaml.org Newsletter: May 2024 https://discuss.ocaml.org/t/ocaml-org-newsletter-may-2024/14767 @tarides_ #OCaml #Community
  • 2024-07-05T14:08:20Z via Identi.ca Web To: Public CC: Followers

    Introducing Olly: Providing Observability Tools for OCaml 5 https://tarides.com/blog/2024-07-03-introducing-olly-providing-observability-tools-for-ocaml-5/ #OCaml @tarides_ #Observability
  • 2024-07-05T14:08:00Z via Identi.ca Web To: Public CC: Followers

    Journées Francophones des Langages Applicatifs (Francophone Days on Functional Languages) January 31, 2025 lieu-dit Saint Hilaire, Roiffé, France http://jfla.inria.fr/jfla2025.html #FunctionalProgramming #OCaml #France
  • 2024-07-05T14:07:42Z via Identi.ca Web To: Public CC: Followers

    BINSEC is an OCaml toolset to help improve software security and code analysis at the binary level https://binsec.github.io/ #OCaml #binary #tool
  • 2024-07-05T14:07:22Z via Identi.ca Web To: Public CC: Followers

    Quick reference for the odoc language! https://ocaml.github.io/odoc/cheatsheet.html #OCaml #Odoc #reference
  • 2024-07-05T14:06:58Z via Identi.ca Web To: Public CC: Followers

    Enhancing the OCaml.org Community Page: Boosting UX and UI based on user research https://tarides.com/blog/2024-06-26-enhancing-the-ocaml-org-community-page-boosting-ux-and-ui-based-on-user-research/ @tarides_ #OCaml #Community
  • 2024-07-05T14:06:39Z via Identi.ca Web To: Public CC: Followers

    Keeping up with the compiler: How Tarides helps maintain the OCaml language https://tarides.com/blog/2024-06-19-keeping-up-with-the-compiler-how-we-help-maintain-the-ocaml-language/ @tarides_ #OCaml #Compiler
  • 2024-07-05T14:06:18Z via Identi.ca Web To: Public CC: Followers

    fun-sql is functional-style SQL queries for OCaml https://github.com/yawaramin/fun-sql #OCaml @yawaramin #SQL
  • 2024-06-22T12:54:36Z via Identi.ca Web To: Public CC: Followers

    Creating the SyntaxDocumentation Command - Part II: OCaml LSP https://tarides.com/blog/2024-06-12-creating-the-syntaxdocumentation-command-part-2-ocaml-lsp/ @tarides_ #productivity
  • 2024-06-11T13:21:54Z via Identi.ca Web To: Public CC: Followers

    Bonjour, Paris!
  • 2024-06-05T12:07:40Z via Identi.ca Web To: Public CC: Followers

    Secure from the Ground Up: Introducing the FIDES Project combining RISC-V and MirageOS https://tarides.com/blog/2024-06-05-secure-from-the-ground-up-introducing-the-fides-project-combining-risc-v-and-mirageos/ @ocaml_org @kc_srk @risc_v