Identi.ca

Follow

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-09-07T13:25:47Z via Identi.ca Web To: Public CC: Followers

    26th International Symposium on Trends in Functional Programming 13-16 January 2025 Oxford, United Kingdom https://trendsfp.github.io/cfp.html #Functional #Programming #Conference

  • 2024-09-06T13:03:45Z via Identi.ca Web To: Public CC: Followers

    github-tui is a terminal user interface to GitHub by Dmitrii Kovanikov @chshersh https://github.com/chshersh/github-tui #OCaml @GitHub #TUI

  • 2024-09-05T14:44:31Z via Identi.ca Web To: Public CC: Followers

    RustConf September 10-13, 2024 Montreal and Online https://rustconf.com/ @rustlang #Conference #Montreal

  • 2024-09-04T13:02:03Z via Identi.ca Web To: Public CC: Followers

    Creusot is a deductive verifier for Rust code that translates to WhyML, the verification and specification language of Why3 https://github.com/creusot-rs/creusot @rustlang #Formal #Verification

  • 2024-08-29T14:31:28Z via Identi.ca Web To: Public CC: Followers

    Scheduling Model in LLVM Compiler https://myhsu.xyz/llvm-sched-model-1/ #LLVM #Compiler #Optimizations @risc_v

  • 2024-08-28T13:53:03Z via Identi.ca Web To: Public CC: Followers

    coq-of-rust is a formal verification tool for Rust that checks for execution cases of your programs https://github.com/formal-land/coq-of-rust #Coq @Rust #Formal #Verification

  • 2024-08-27T12:55:44Z via Identi.ca Web To: Public CC: Followers

    OCaml Outreachy Demo presentations on Friday, August 30, 2024 1730 IST https://discuss.ocaml.org/t/outreachy-demo-presentation/15189 @outreachy #internships #OCaml

  • 2024-08-26T14:46:35Z via Identi.ca Web To: Public CC: Followers

    Pragmatic Category Theory for Beginners by Dmitrii Kovanikov @chshersh https://dev.to/chshersh/pragmatic-category-theory-part-1-semigroup-intro-1ign #Category #Theory #OCaml

  • 2024-08-25T13:57:09Z via Identi.ca Web To: Public CC: Followers

    MlFront adds a Java-like package system to OCaml https://diskuv.com/mlfront/overview-1/ #OCaml #Package #Build

  • 2024-08-23T15:14:13Z via Identi.ca Web To: Public CC: Followers

    How TSan makes OCaml better: Data races caught and fixed https://tarides.com/blog/2024-08-21-how-tsan-makes-ocaml-better-data-races-caught-and-fixed/ #Multicore #OCaml #Tooling

  • 2024-08-20T14:02:34Z via Identi.ca Web To: Public CC: Followers

    hector is an OCaml library that offers dynamic or resizable arrays known as vectors in OCaml https://cambium.inria.fr/~fpottier/hector/doc/hector/ #OCaml #vectors #library

  • 2024-08-19T13:08:26Z via Identi.ca Web To: Public CC: Followers

    OCaml.org Newsletter: July 2024 https://discuss.ocaml.org/t/ocaml-org-newsletter-july-2024/15087 #OCaml #Community #News

  • 2024-08-16T15:16:56Z via Identi.ca Web To: Public CC: Followers

    ocaml-tar is a library for reading and writing tar archives in OCaml https://blog.robur.coop/articles/tar-release.html #OCaml #compression #tar

  • 2024-08-14T13:39:04Z via Identi.ca Web To: Public CC: Followers

    52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025) January 19-25, 2025 Denver, Colorado, United States https://popl25.sigplan.org/ @ACM #ProgrammingLanguage #Conference

  • 2024-08-13T15:15:38Z via Identi.ca Web To: Public CC: Followers

    rpmfile is a library to read metadata from RPM packages https://github.com/dx3mod/rpmfile #OCaml #RPM #Package

  • 2024-08-12T13:33:32Z via Identi.ca Web To: Public CC: Followers

    IEEE Latin-American Conference on Communications 6-8 November 2024 Medellin, Colombia https://latincom2024.ieee-latincom.org/ @IEEE #Communications #Conference

  • 2024-08-10T13:47:57Z via Identi.ca Web To: Public CC: Followers

    OCaml 5 Performance Part II by Thomas Leonard @talex5@mastodon.social https://roscidus.com/blog/blog/2024/07/22/performance-2/ #OCaml #Performance #Metrics

  • 2024-08-07T14:15:34Z via Identi.ca Web To: Public CC: Followers

    Efficient disk concurrency through Eio https://koonwen.github.io/2024/07/29/efficient-concurrency-through-eio.html #Multicore #OCaml #Concurrency

  • 2024-08-03T17:46:44Z via Identi.ca Web To: Public CC: Followers

    Grapholinguistics in the 21st Century, October 23-25, 2024 Università Ca' Foscari, Venice, Italy https://grafematik2024.sciencesconf.org/ #TeX #Typography #Writing