CRDT[24] Sets as implemented in Riak[6] perform poorly for writes, both as cardinality grows, and for sets larger than 500KB [25]. Riak users wish to create high cardinality CRDT sets, and expect better than O(n) performance for individual insert and remove operations. By decomposing a CRDT set on disk, and employing delta-replication[2], we can achieve far better performance than just delta replication alone: relative to the size of causal metadata, not the cardinality of the set, and we can support sets that are 100s times the size of Riak sets, while still providing the same level of consistency. There is a trade-off in read performance but we expect it is mitigated by enabling queries on sets.

Polarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined computations (classified by negative types), with adjoint modalities mediating between them. Taking this separation as a starting point, we develop a semantic characterization of typing with step indexing to capture observation depth of recursive computations. This semantics justifies a rich set of subtyping rules for an equirecursive variant of call-by-push-value, including variant and lazy records. We further present a bidirectional syntactic typing system for both values and computations that elegantly and pragmatically circumvents difficulties of type inference in the presence of width and depth subtyping for variant and lazy records. We demonstrate the flexibility of our system by systematically deriving related systems of subtyping for (a) isorecursive types, (b) call-by-name, and (c) call-by-value, all using a structural rather than a nominal interpretation of types.

When programming network functions, changes within a packet tend to have consequences-side effects which must be accounted for by network programmers or administrators via arbitrary logic and an innate understanding of dependencies. Examples of this include updating checksums when a packet's contents has been modified or adjusting a payload length field of a IPv6 header if another header is added or updated within a packet. While static-typing captures interface specifications and how packet contents should behave, it does not enforce precise invariants around runtime dependencies like the examples above. Instead, during the design phase of network functions, programmers should be given an easier way to specify checks up front, all without having to account for and keep track of these consequences at each and every step during the development cycle. In keeping with this view, we present a unique approach for adding and generating both static checks and dynamic contracts for specifying and checking packet processing operations. We develop our technique within an existing framework called NetBricks and demonstrate how our approach simplifies and checks common dependent packet and header processing logic that other systems take for granted, all without adding much overhead during development.

Polarization of types in call-by-push-value naturally leads to the separation of inductively defined observable values (classified by positive types), and coinductively defined computations (classified by negative types), with adjoint modalities mediating between them. Taking this separation as a starting point, we develop a semantic characterization of typing with step indexing to capture observation depth of recursive computations. This semantics justifies a rich set of subtyping rules for an equirecursive variant of call-by-push-value, including variant and lazy records. We further present a bidirectional syntactic typing system for both values and computations that elegantly and pragmatically circumvents difficulties of type inference in the presence of width and depth subtyping for variant and lazy records. We demonstrate the flexibility of our system by systematically deriving related systems of subtyping for (a) isorecursive types, (b) call-by-name, and (c) call-by-value, all using a structural rather than a nominal interpretation of types.

Background: KONAR-MFO (multifunctional occluder) [Lifetech, Shenzhen, China] was first used in humans in 2013 and received the CE mark in May 2018.As name suggest, it can be use in various(multifunctional) situations in pediatric as well as adults. This is a versatile device with an improved delivery and flexibility which make this device a better option to be use with more comfort and minimum complications. In this paper, this paper is regarding few rare and complicated lesions, like anomalous origin of coronary artery from pulmonary artery (ALCAPA) device closure, device closure of ventricular septal rupture (VSR) post myocardial infarction in sick elderly and finally device closure of paravalvar leak (PVL)after mitral valve replacement which were treated with this device with excellent results. Methods: This study is a retrospective review from a tertiary level dedicated cardiac referral center in south India. Four cases we are reporting here in which Konar-multifunctional occluders were used in locations other than commoner and regular defects like patent ductus arteriosus, ventricular septal defect etc, over the span of one year between April 2022 and March 2023. Pre-procedure, all patients underwent detailed clinical evaluation followed by transthoracic echocardiography, 12-lead electrocardiogram, and Chest X-ray at the outpatient department. All patients were either symptomatic or had a hemodynamically significant lesion on echocardiography. The decision for transcatheter management was taken after discussing with surgical team in view of either high risk surgery or refusal from patients for surgical options. All patients were followed up post procedure at regular intervals with transthoracic echocardiograms and 12-lead electrocardiograms for a minimum period of 6 months. Results: All these three cases mentioned in our study underwent a complete closure of their respective lesions with no evidence of residual shunt. None of these patients had any major complications, prolonged stay, or any vascular injuries. All patients completed minimum 6-month follow-up and were doing well without any residual flows. First case of ALCAPA, after procedure showed improvement in IVCD, QTc duration and also no significant ischemic changes were noted. Myocardial perfusion scintigraphy was done after 6 months of procedure which showed improvement in contractile function and perfusion of left ventricle. Second case of VSR device closure patient showed immediate significant symptomatic improvement. He was transferred to the coronary care unit, and discharged seven days later. As of now the patient is alive and feeling well with no residual shunt detected by transthoracic echocardiography. No procedure -related complications have been recorded during last two years. Third case of PVL device closure had uneventful recovery from anaesthesia. Prosthetic valve functioned normally during the 5 days of post-procedure hospitalization. The transthoracic 2D- echocardiography performed during follow-up at the end of one month showed no mitral PVL.During follow-up after 1 year, the patient improved symptomatically. Normal prosthetic valve function and no leakage documented on transthoracic echocardiography Conclusions: Konar-MFO emerging as an important occluder with interesting attributes which makes it a very useful asset to have in catheterizations laboratory.