-
eXtreme Modelling in Practice - Jesse Davis, Max Hirschhorn, and Judah Schvimer
Hi, I’m Jesse, I work at MongoDB. My colleagues; Max Hirschhorn, Judah Schvimer, and I have done two case studies testing that our software conforms to its specification, and that’s what I’m going to describe to you today. This presentation is adapted from a paper that we presented at VLDB last month. Compared to our VLDB presentation, this one will give you a lot more detail, and particularly about how we used TLA+.
-
Checking safety in Exactly-once - Tomek Masternak, Szymon Pobiega
Hi, everyone. My name is Tomek Masternak, I’m an engineer on the particular software, when I build distributed systems and platform before building distributed systems. In this presentation, I will be talking about, checking safety in Exactly-Once, which is another library that I built together with my friend Szymon Pobiega. Let me start with describing the problem and the challenge distributed system builders face, when they use messaging infrastructure.
-
GNOME Desktop for our Parents (Feedback)
So it is kinda a common scenario people in Linux to also installing Linux to their parents. Or should I say it was used to be? You see, today with the 6” display phones, nobody needs really a PC for reading on internet. As a matter of fact I have forgotten when it was the last time I used my laptop to read something, or even watch a movie.
-
Bridge to Kubernetes
Don’t you wish you could just focus on one micro-service instead of having to drag in the whole set of micro-services, and all of those related dependencies in Kubernetes? Well, it turns out you can. So join me and Nick Greenfield on this episode of Visual Studio Toolbox. [MUSIC] Hey everyone. Welcome to Visual Studio Toolbox. I’m your host, Leslie Richardson. Today, I’m joined by Nick Greenfield, who is a Program Manager on the Bridge to Kubernetes team.
-
An Extension of PlusCal for Modeling Distributed Algorithms - Heba Alkayed et al.
Hello, my name is Heba and I’m presenting an extension of PlusCal for Modeling Distributed Algorithms. Lets start out by saying what is TLA+? TLA+ is a formal specification language. It is mainly used to model concurrent and distributed algorithms. The TLA+ Toolbox is an IDE that provides many tools such as a model checker and an interactive proof assistant for example. Since TLA+ is more of a specification formalism rather than a programming language, it can be challenging for programmers to use it initially.
-
Introducing Hypergraph (Beta)
Paywalls, selective publishing, p-hacking. You might’ve heard of some of the issues in scientific research. Hypergraph is a piece of software for researchers to control what they share and when they share it, without third parties. It’s about sharing research step by step, as you go along, instead of after the fact and in hindsight. Let me show you how it works. When you’ve completed a step in your research, you can add it to Hypergraph.
-
SAMBA 2 Hands-On: Using Attachment Clips | MED-EL
To use a hair or clothes attachment clip, position the bracket of the attachment clip over the bracket groove. Push until the bracket snaps into place. Clip to hair or clothes as appropriate. To remove the attachment clip, hold the battery compartment door closed while placing your finger under the edge of the bracket. Pull the bracket gently away from the audio processor. .
-
SAMBA 2 Hands-On: Cleaning and Storing SAMBA 2 | MED-EL
MED-EL recommends cleaning SAMBA 2 weekly for hygienic reasons. Only clean the outside of the device. Do not clean SAMBA 2 in or under water. Use a damp cloth to gently clean your audio processor. If necessary, use non-abrasive household soap together with a damp cloth. Prevent water from running into SAMBA 2 via the microphone openings or the battery compartment. Do not use aggressive cleaning agents. When not in use, SAMBA 2 should be kept in the case provided.
-
SAMBA 2 Hands-On: Using WaterWear with SAMBA 2 | MED-EL
WaterWear is a cover for the SAMBA 2 Audio Processor that provides complete water protection for activities such as swimming. It consists of a skin and an adhesive seal tape. You can use each skin up to three times, but the adhesive seal tape needs to be replaced after each use. Only use alkaline or silver-oxide batteries with WaterWear. Make sure your hands are clean and dry before handling WaterWear.
-
SAMBA 2 Hands-On: Changing the Batteries | MED-EL
To change the battery, pull on the raised lip to swing the battery compartment open sideways. Turn the audio processor upside down to let the old battery fall out. Remove the protective film from the new battery. It is recommended to remove the protective film one to two minutes before inserting the battery. This allows the zinc-air battery to charge up completely.
00:31 - Place the new battery in the compartment, with the positive pole facing upwards.