KC Sivaramakrishnan · CTO @ Tarides
KC Srk. to build systems that are ...
Read Kcsrk.info news digest here: view the latest KC Srk articles and content updates right away or get to their most visited pages. Kcsrk.info is not yet rated by Alexa and its traffic estimate is unavailable. It seems that KC Srk content is notably popular in USA. We haven’t detected security issues or inappropriate content on Kcsrk.info and thus you can safely use it. Kcsrk.info is hosted with GitHub, INC. (Netherlands) and its basic language is English.
- Content verdict: Safe
- Website availability: Live
- Language: English
- Last check:
-
N/A
Visitors daily -
N/A
Pageviews daily -
N/A
Google PR -
N/A
Alexa rank
Best pages on Kcsrk.info
-
KC Sivaramakrishnan · CTO @ Tarides
to build systems that are functional, and functional programming in OCaml turns out to be a fine choice for this. I serve as an advisor to Tarides. I was an Assistant Professor in the Computer Scienc...
-
bytes let copy : let of_string : let to_string : let sub : len, containing the subsequence of s that starts at position start and has length s. let extend : s, with right uninitialize...
Kcsrk.info news digest
-
2 months
Getting Started with GDB on OCaml
A number of folks who regularly use OCaml were surprised to learn that you canreasonably debug OCaml programs using gdb. The aim of the post is to show thefirst steps in using gdb on OCaml programs.
Let’s consider the following program:
Let’s compile this program. I’m using OCaml version 5.1.1.... -
4 years
Teaching OCaml and Prolog through Jupyter Notebooks
Last semester at IIT Madras, I taught a revamped core course CS3100 Paradigmsof Programming, which introduces 3rd-yearstudents to functional and logic programming paradigms. While the course hadbeen traditionally offered in Lisp and Prolog, I introduced...
-
4 years
Multiple Research Software Engineer positions are available in theDepartment of Computer Science and Engineering atthe Indian Institute of Technology, Madras to developMulticore OCaml and enableTezos ecosystem to benefit from Multicore OCaml.
Background... -
4 years
Deterministically debugging concurrent GC bugs with rr
Multicore OCaml comes witha concurrent garbagecollector, wherethe garbage collector and the mutator threads run concurrently. Debuggingconcurrent GC bugs has been the most frustrating / satisfying (when fixed) partof Multicore OCaml development. rr,...
Domain history
Web host: | GitHub, INC. |
Registrar: | Afilias Global Registry Services |
Registrant: | REDACTED FOR PRIVACY (Segfault Systems Private Limited) |
Updated: | November 29, 2022 |
Expires: | December 12, 2023 |
Created: | December 12, 2013 |
Whois record
Safety scores
Trustworthiness
N/AChild safety
N/A