Abstract: Described herein are systems and methods for automatically building automations from desktop recordings using program synthesis. The problem of building automations for desktop applications can be lifted to a generalized concept of automations that operate on worlds whose “world state” can change asynchronously to the actions of the automation. Advantageously, in contrast with synthesis systems that take input-output demonstrations to synthesize a function that maps between them, the method presented here can synthesize from time-series traces of actions to automations that generalizes each step.

Abstract: Non-potable, utility water is circulated by a pump in a closed loop. The utility water is heated by a heat pump. Heat exchange from the utility water heats domestic hot water on demand, eliminating or reducing the need for domestic hot water storage tanks and storage of large quantities of water. In the present invention, fluctuations in condenser water temperature are dampened internally in a condenser water buffer and a control system.

Abstract: An instantaneous hot water appliance uses three loops. The first loop is an open loop that receives source water. Heat is extracted from the source water by a heat pump. The heat is supplied to a utility liquid, such as water, that is circulated within the closed loop. The resulting cooled source water may be used for other purposes. Heat exchange between the utility water in the closed loop and a second open loop heats domestic hot water within the second open loop. Domestic hot water is available on demand, eliminating or reducing the need for domestic hot water storage tanks and storage of large quantities of domestic hot water. In the present invention, fluctuations in condenser water temperature are dampened internally by a compressor control system as described herein that may be supplemented by a condenser water buffer.

Abstract: Non-potable, utility water is circulated by a pump in a closed loop. The utility water is heated by a heat pump. Heat exchange from the utility water heats domestic hot water on demand, eliminating or reducing the need for domestic hot water storage tanks and storage of large quantities of water. In the present invention, fluctuations in condenser water temperature are dampened internally in a condenser water buffer and a control system.

Abstract: A chain link tester and method of use is disclosed herein. The chain link tester may contain a tapered lever and may be adapted to operatively connect to a torque metering device. The chain link tester may be used to test chain links.

Abstract: A chain link tester and method of use is disclosed herein. The chain link tester may contain a tapered lever and may be adapted to operatively connect to a torque metering device. The chain link tester may be used to test chain links.